{"entities":{"Q4018961":{"pageid":6048740,"ns":120,"title":"Item:Q4018961","lastrevid":55204135,"modified":"2026-02-04T18:50:34Z","type":"item","id":"Q4018961","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 90777"}},"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":"Q4018961$4ECD674B-AD8C-4D74-BA6F-FAE02F95A895","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac7502b659f4cac6e5e68c31e5bbdb0b6f9219a1","datavalue":{"value":"0761.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018961$69BAED02-4A45-4EA3-A886-74A13EEA52D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3555fb1d5c886ef9e84748df2b4173dd35f00692","datavalue":{"value":{"entity-type":"item","numeric-id":3998190,"id":"Q3998190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018961$B3EBAB17-DB10-4E2F-9427-0E812F1BD833","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4018961$09B3CBF3-3611-4848-BE63-C09E7E79E8F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018961$F359C9F1-E763-4FF8-881C-D5465A12624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018961$47A67C0E-1335-47CA-A591-C76FB46379E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e19d217f0da79526e2459e7859bda8f76f46bdd2","datavalue":{"value":"90777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018961$7C9F1EE2-EBEA-4DE0-AA0C-7F7646D703A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$152F0056-24BB-4148-B40F-2F652A738660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$540FBEDE-3667-4EC9-BA57-C036FC1C1A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9b5646dfd14bd37cbf3b239abbcf735c886fa1","datavalue":{"value":"coroutining","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$8269AEAA-4A41-409F-AC65-67A164038EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e085d6336dd6a3dd36e6e37a26b7bc7b89315b28","datavalue":{"value":"structural","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$64FAEDF5-FA6F-415E-A0DC-C8A0419E3C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$27BDC584-C07B-4F91-9447-273132DB4221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9472583b24e5ed67fb71263b8272138d6a29f6f","datavalue":{"value":"logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$42FEB3F3-5CF4-4DC8-8429-B496A160C4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75653c44e6bce51d80c3c3a8ae08ee14a231fcb","datavalue":{"value":"executable specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018961$ACDD128B-3768-40CE-821F-587EEC9F8D21","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":"Q4018961$C59EA96D-7030-40DA-A88D-0E235FC49803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71596f0b78d496e050c4c0a72b1609145b66b8d2","datavalue":{"value":{"amount":"+0.7766332030296326","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":"Q4018961$85263573-DF66-417D-93AD-6E7D088D25A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ca2c09a307dad10dc9a230dcf44e6e46d1b443","datavalue":{"value":{"entity-type":"item","numeric-id":855274,"id":"Q855274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2f50a130bf810f574af094584186d0eeafbdb8","datavalue":{"value":{"amount":"+0.7762315273284912","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":"Q4018961$AFFAE25A-5252-4C5B-AF08-145505CD1641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17dd83f86208610f13eb80e9de916ea8fc0d86f","datavalue":{"value":{"entity-type":"item","numeric-id":3341879,"id":"Q3341879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33c03fdd0bc83e960c50153e6695b945bc5d85","datavalue":{"value":{"amount":"+0.7721346020698547","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":"Q4018961$1DEA22FD-04AB-416A-ABE2-664C6F334D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9956d088cdcddb98fb6ca5aeea667c70584c8588","datavalue":{"value":{"amount":"+0.7675049304962158","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":"Q4018961$2ED24D4B-32B4-4B52-8048-8F41ACCAD029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3104f3067ca70e9cabc898d9342485c14466d8","datavalue":{"value":{"entity-type":"item","numeric-id":4823140,"id":"Q4823140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2d6c91e3007f4a1dcecfbbb48902a9546b31db","datavalue":{"value":{"amount":"+0.765712320804596","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":"Q4018961$4CFE533D-AF3A-4300-BD1C-DFA4074D5F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4018961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4018961"}}}}}