{"entities":{"Q3740200":{"pageid":5770106,"ns":120,"title":"Item:Q3740200","lastrevid":81034214,"modified":"2026-05-06T17:33:56Z","type":"item","id":"Q3740200","labels":{"en":{"language":"en","value":"Static checking of variable handling in Dijkstra's Guarded Commands language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974255"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740200$8E56939F-A972-4544-B1EA-75DC0C0794F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0568d625e5197ac6d1b5d9f95011dd86161063bf","datavalue":{"value":{"text":"Static checking of variable handling in Dijkstra's Guarded Commands language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3740200$383275F3-F896-4669-8E6A-E90685FF2297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02ec24677123f7df6469df35c81b1e5845d4023c","datavalue":{"value":"0603.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740200$10F8BE35-F268-4A8B-B912-6348A2328269","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f0780c665b4045859fba51358390f8185284509","datavalue":{"value":"10.1016/0096-0551(86)90006-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740200$48591934-AF26-4A22-8DCA-8222EFB5AFF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99199509e62451c02d12e377ea0a43532775a4bf","datavalue":{"value":{"entity-type":"item","numeric-id":3314956,"id":"Q3314956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740200$53D6B260-536F-4861-994C-63B1C497587D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740200$E16748ED-69A4-4B5A-B15A-852646287E7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3740200$F83D741B-1DA2-49D8-A53B-ADC267850F2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740200$39109FA5-4849-4B9E-A0C4-D769F08E1EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740200$86504F6D-179F-4E2D-B9C8-04F19B1BA08C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"843be84b4ab9cfecaae85698bdda0db1e4eaf7d3","datavalue":{"value":"3974255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740200$3FA96FA1-B429-4F2F-A1EF-8F9F383C7D6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816d4e8101745417602956260cc37d16d19e38cc","datavalue":{"value":"static analysis of program text","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740200$4B4F5E48-50D1-4E39-B22E-6D2CD4A157FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740200$2A209348-042E-4718-A118-7C4F3B5DD610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740200$364463AC-87A9-4082-A567-A302DF21A4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740200$A0A06DEE-AC4A-4D4D-8D63-35DDC3486ADA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740200$798DB02F-A821-48E0-9B65-090795DCAC40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"688133d3a54cc3826131c5da3f5e8db2d0be22ab","datavalue":{"value":"https://doi.org/10.1016/0096-0551(86)90006-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3740200$4F2C514B-EAAE-4ACC-A7D8-A6854CFCF4BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54035664b503b3c3e7b386445ad7a87b36b38346","datavalue":{"value":"W2084177701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740200$67FEFEEB-1F49-430E-8525-52E54AB1C1D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43108d8e5bb39f4471e2c9f576f6118a3c2b764","datavalue":{"value":{"entity-type":"item","numeric-id":2796228,"id":"Q2796228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764e0f854bf92cf72217f0bd063b203859cddc82","datavalue":{"value":{"amount":"+0.719896674156189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3740200$81A1F75D-0D26-4AC6-9C29-58429B48853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8efc8c7430246b76b9c5d04dac1dde5a944c611","datavalue":{"value":{"entity-type":"item","numeric-id":3347264,"id":"Q3347264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee12dcb3913bbb3337004cce824f6432c96512c","datavalue":{"value":{"amount":"+0.7134523987770081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3740200$5E1C1D0B-A96D-4F57-A1C9-2471BB9E3978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fffccf655f88c6fafe663938f5b7a1c65a641a","datavalue":{"value":{"entity-type":"item","numeric-id":1822931,"id":"Q1822931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c400397b16ff1e5ae40050833a16b3925c21de","datavalue":{"value":{"amount":"+0.7058062553405762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3740200$739662B9-A7DB-4621-B05A-F346089C2DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc7ba01dd0cea9048b91b9c2ebf54e3e3eaae76","datavalue":{"value":{"entity-type":"item","numeric-id":4778702,"id":"Q4778702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25e0f7cc645e93045923c1eec79f46606587eee","datavalue":{"value":{"amount":"+0.7049208879470825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3740200$A3BC27C5-E9F4-400C-B2B9-906448FD0350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b54879a8aba8c328424733d3a2c238d1f9f24c","datavalue":{"value":{"amount":"+0.6941165328025818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3740200$C3C366C2-E335-447B-96D5-2ABB7E5A37B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static checking of variable handling in Dijkstra's Guarded Commands language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_checking_of_variable_handling_in_Dijkstra%27s_Guarded_Commands_language"}}}}}