{"entities":{"Q3725529":{"pageid":5755435,"ns":120,"title":"Item:Q3725529","lastrevid":50761610,"modified":"2026-01-15T02:09:39Z","type":"item","id":"Q3725529","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956417"}},"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":"Q3725529$0042E9BF-D853-4B8B-A661-E0309BDD48E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed5954782dbff9c79aa91e764a0a63b2bf63f838","datavalue":{"value":"0594.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725529$8C55BB85-7B78-497C-A3A6-BC9743CF0D16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16ae202db5d10e14a5984a4689a6c2b95326aff","datavalue":{"value":{"entity-type":"item","numeric-id":3700809,"id":"Q3700809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725529$5DE73A15-904F-405E-92EC-66CD4DD2416A","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":"Q3725529$87DA1F05-46AC-4B6B-B1D7-3157DAA6C134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725529$6E0C6D42-0B15-428C-99CE-9D35929C684B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725529$EB6DE549-09C4-4D52-BAFB-C5B18F5D94A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12f8e264bdf2e95a5d0aed343e2687f2b4884b26","datavalue":{"value":"3956417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725529$153F47B7-39AB-4A08-B69A-8712C6819616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725529$DB13500D-5437-4917-A34C-39CE382C83A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27092c5c6a0146c9021211214372ba608676829d","datavalue":{"value":"Compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725529$D7143C27-DC84-44F4-80B4-6AEA9F6AEDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725529$98D0EF74-E4D0-4990-8CEC-06029FDE71BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e12df74673653669bc71ba4b2a86e9f9a1a0b61e","datavalue":{"value":"syntactic subprograms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725529$63A7294D-9342-49CF-B0CC-DAEF2D4F99BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec40dfe94f926784f2321e1bd06bf0842ed40bd","datavalue":{"value":"proof systems for sequential and concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725529$5ABC0264-A4DE-46D3-AFA6-4F4DE93C1ABF","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":"Q3725529$5C5DB5DB-E0BE-4563-8F72-DC23F0E143B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8af206a797d369070016a4a4b68b1b18e0bc444","datavalue":{"value":{"amount":"+0.8453993797302246","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":"Q3725529$1AB45535-2E81-4482-BFAA-AF9E6DEA5395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90852d0a876a54e7ebdf92f904e371b27fbc786","datavalue":{"value":{"amount":"+0.8367646336555481","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":"Q3725529$0A027AA9-4DC1-4A38-8953-D12C5F829E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d2a2744812815d9cbc403a20b77688c20447e0","datavalue":{"value":{"entity-type":"item","numeric-id":3000634,"id":"Q3000634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3459fb6ec69448ffda90d5bf5c21adaa77982386","datavalue":{"value":{"amount":"+0.8365356922149658","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":"Q3725529$66F6C772-5DEE-46A9-A456-52B6B48B45D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e296abe4c88cb213ab55539925a11592987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2883ac126d77f8e0484fb1f758b8102ac00420c7","datavalue":{"value":{"amount":"+0.828557550907135","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":"Q3725529$FC3BC951-A095-4444-B19F-DC6466F03AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea80dbcd78d7af99d23648578449ec85e6ffc27","datavalue":{"value":{"amount":"+0.8154832124710083","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":"Q3725529$C4B21814-44F6-4117-826F-A0C4B26F8210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725529"}}}}}