{"entities":{"Q3917476":{"pageid":5947381,"ns":120,"title":"Item:Q3917476","lastrevid":54988618,"modified":"2026-02-02T14:17:40Z","type":"item","id":"Q3917476","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3729429"}},"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":"Q3917476$CC2976E4-1D44-47B4-9AE1-7FD9E8469B13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3175aca050f96b8cd6ab1ddefdab87b0102b699d","datavalue":{"value":"0465.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917476$41FE8A5E-15ED-49CC-A78F-B20FA1F7952C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3917476$0B0A8C1D-CE82-4D8F-9B26-8DE5C5F4A087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3917476$4485ADA2-BBD2-4405-8461-5090A2EB9CF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3917476$F83D3CB3-A9F9-41C8-8767-CBF068B63CCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917476$8A06F10F-8FB6-42AF-9A7D-2A5F686BA3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917476$40234740-6115-48E2-8B8D-930EB8E31020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917476$CB63B2C9-6483-4506-ACDE-20A2A4BEED6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7465760e0040ef1bd1357918525f3bc9dfea2149","datavalue":{"value":"3729429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917476$6C52FFCB-64D3-4C5D-9268-F35415E197E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16625961388feed0a5f559be4db1f47d18b1e40a","datavalue":{"value":"small programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$F8A515DC-C67F-4047-89D0-0B9A2082570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c179f8c203fc5bae4a5efa6ac2691005add7690","datavalue":{"value":"weakest precondition semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$5C81816A-9A6E-4606-AED8-D6ABCB82E0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef8bb6f2da1ba50c52e3f61c056e0938ed90132","datavalue":{"value":"Hoare-like proof system for total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$FC5C5E62-0707-4760-AF78-C3C990CB5015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$EADA33FC-EB7F-4FED-8E37-F01DB9ABB280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$77D5BD07-01C6-49F5-B48D-2D4017F41197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85590dc38564ecfb5109c68e55aa1c2c4da9d75f","datavalue":{"value":"parallel program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$D9263FA2-A7AD-4529-819C-BE2D76D58CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$F13895F1-716C-4E10-96F8-01A434D326B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917476$C45208A3-0F8E-4D5A-BBF0-AB5CAB966E5E","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":"Q3917476$8F599F17-AA71-4A81-A5EE-09720BA18276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3917476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3917476"}}}}}