{"entities":{"Q57733753":{"pageid":57647645,"ns":0,"title":"Q57733753","lastrevid":1977574428,"modified":"2023-09-19T12:08:11Z","type":"item","id":"Q57733753","labels":{"en":{"language":"en","value":"Formal methods"},"nl":{"language":"nl","value":"Formal methods"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0436\u043e\u0432\u0442\u043d\u0456 2009"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2009"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"1ef0f39756b5aa19d023bbb0ee64c30d9a09ae18","datavalue":{"value":"10.1145/1592434.1592436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57733753$133BD1CB-CB3D-44A6-9E8C-31C50C0D9265","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57733753$F921BB58-B608-4739-AFE2-3EBC632017A8","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"cb4895e3f852f309058363ff839ed7306c413db4","datavalue":{"value":{"text":"Formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57733753$8C92D0F6-041B-4B03-B094-FF063F633B42","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"185b1ffb37513a089fc3a779d6838b5e7f5330c6","datavalue":{"value":"4","type":"string"},"datatype":"string"},"type":"statement","id":"Q57733753$C88E721E-9127-4319-89AA-63CE67ECD633","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"0fc434d9d385e84f13648bd56a5f62d4fa751156","datavalue":{"value":"1-36","type":"string"},"datatype":"string"},"type":"statement","id":"Q57733753$5F8ED257-3A57-41F2-A115-D49B7031D624","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"43ab760db001ee7ed06b27b40c976ebf3d9d89b6","datavalue":{"value":"41","type":"string"},"datatype":"string"},"type":"statement","id":"Q57733753$CB982166-51F1-4E75-B9A4-7F7D1E0E211F","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"226d56ea576565bf8c78b9c851f4bd5a9381fcc6","datavalue":{"value":{"time":"+2009-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q57733753$3210B6B6-121B-47D7-BE3C-C33D1A5B2270","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"302dd41bd7301245c757e5dfc70510c326b63992","datavalue":{"value":{"entity-type":"item","numeric-id":3295299,"id":"Q3295299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57733753$9EDE8F0B-03CE-4FF3-8632-5863E63000E0","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"3918364ab5013036fa1de931d73cd4e5ddd17c2e","datavalue":{"value":{"entity-type":"item","numeric-id":59101572,"id":"Q59101572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"0ef601d78e4e1187f96c7f97935fa4ac47f127b1","datavalue":{"value":"Juan Bicarregui","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57733753$CD27629C-6E36-4427-A63C-027F93625987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"439f1fb918ae8ba8ea44fc366e0c919fd73d06ff","datavalue":{"value":{"entity-type":"item","numeric-id":6233314,"id":"Q6233314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"87885f4155e319db4b08afbf57ab40a99e2eea96","datavalue":{"value":"John Fitzgerald","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57733753$75D669B9-5E4C-42BC-AF6D-DBF2E04D68D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"d67d75b11d113001efdf1c3d316da689acfeb1c1","datavalue":{"value":{"entity-type":"item","numeric-id":57419905,"id":"Q57419905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"b087ba3513fe36717e1795086a6739de045ddc18","datavalue":{"value":"Peter Gorm Larsen","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57733753$6A838411-04B6-4AE9-B69C-C2A079A69793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"f0e3ef630cb9d9534fd18c8fdd711aba1c51f3e3","datavalue":{"value":{"entity-type":"item","numeric-id":6199027,"id":"Q6199027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"164aac2b8ad87bcb596228a9df3b3324178d998d","datavalue":{"value":"Jim Woodcock","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57733753$F18EF56F-E0F3-47F5-B6CD-CA85429DBF1B","rank":"normal","references":[{"hash":"c295c2300451432c281cb24585d9c1877810d6ce","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"b942eebaa09b7876ab16d18aedadd92df4f81cbc","datavalue":{"value":{"entity-type":"item","numeric-id":110411020,"id":"Q110411020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"7420e3c5867c50ff4b1e3bd904fe1033fe08ec7a","datavalue":{"value":"journals/csur/WoodcockLBF09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57733753$F18698ED-4737-4B23-9773-D961A0201D94","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}