{"entities":{"Q3939218":{"pageid":5969123,"ns":120,"title":"Item:Q3939218","lastrevid":55041649,"modified":"2026-02-03T02:39:04Z","type":"item","id":"Q3939218","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3755852"}},"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":"Q3939218$63DDCCA9-7F3D-47F6-B8C8-D6E4C2810E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"438811757053c36e9fe81d9c76e44abb60d39245","datavalue":{"value":"0481.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939218$79B175CB-E195-4EDF-ADB1-EC96B4012DE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939218$23514FA2-668E-4A5E-8535-F99768657887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939218$1B338136-1B63-4674-9BB9-026C8F4D42A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3939218$A0240660-DECD-44B6-B7DC-124200A110B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939218$EFF042EC-687C-431F-97DE-3E795DC123E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939218$11E4E0AB-8900-4770-BF18-9890F2AFDE41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbb5b57d627bf0f44d2cd7a96425891a643e0f0f","datavalue":{"value":"3755852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939218$43E39E6A-835F-4285-A4DE-A1A3A308DDCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c56a0596af44d998718efcfd071e1f242b05a4c","datavalue":{"value":"datatype specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$FC39448B-D757-4DD2-816E-5A99424EC475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f6ea46881a12d484c6f690dd0a1c7ba35dc4f1","datavalue":{"value":"schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$0E9BA5DB-242C-4FD4-85C0-ED7B9D6E3522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b04bd92da5fb7a945895b0280609ad156a7df0","datavalue":{"value":"first order specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$0EA27E57-E1D1-40D2-81B8-0D262EDBF9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$D7654988-B2EE-428A-BF1E-84C33D862E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$5D444F31-AFAF-4FF1-973B-073588BA75FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c0de96e8d0dd87ca8158fef92406196b37b5d53","datavalue":{"value":"termination assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$8B0EA6C9-3A9A-43CA-A397-B553CAE9AF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f894c760a64c40a831ba363ac02e237d75c510ec","datavalue":{"value":"second order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939218$46F530E5-1981-493B-80BD-837C817C5AB0","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":"Q3939218$F31D4751-AEC3-4C2B-AD3D-D43431E7D3A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3939218","badges":[]}}}}}