{"entities":{"Q4700388":{"pageid":6729965,"ns":120,"title":"Item:Q4700388","lastrevid":46789599,"modified":"2025-12-25T14:37:54Z","type":"item","id":"Q4700388","labels":{"en":{"language":"en","value":"Verification of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356273"}},"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":"Q4700388$CDF68346-1C03-42FD-AAEF-72EC9F062FA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7df4f1f6e0de8ec17370f9a1657b4dd7f48007cc","datavalue":{"value":{"text":"Verification of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700388$68795D6A-9772-4D92-AEA4-2244FCF602BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52676e30ee31f35e200cbdf44c4468f3bfee575f","datavalue":{"value":"0947.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700388$887F2ED9-64D5-44DA-8E64-CC7C6F039037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61324a22ae23f21a6768e02dc91875cc7c4af0cf","datavalue":{"value":"10.1016/S0743-1066(98)10035-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700388$E505A8B3-D073-4CFD-A8AB-82AB5D723151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700388$D3EF35E8-A760-486C-B89F-A920098A987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700388$8539D618-771C-4079-87C3-0FEC5F7037E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700388$243733D8-5B87-45CD-9D44-8E29B6396BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a4d6512efa0fa89e17e38eada884c6f32c9ae33","datavalue":{"value":{"time":"+1999-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700388$1128E18D-5ED5-4F31-97B0-A8E5A63D69DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700388$14101900-CE3C-4AC7-B560-E45BFEB70BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700388$B21EDA68-8913-4D15-86FB-D19BB6960E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4013bf6aa92248f698a90ab676ad93387dba8559","datavalue":{"value":"1356273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700388$B9DDF292-F0F1-42CA-9C0D-919E3A91416B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700388$5DEFD056-A1FF-4CB6-BFE1-ADAA12C4A452","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":"Q4700388$B19D1218-89D6-4D47-8A37-58AD39579964","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf76bee7810f7a74a8a8469296b26d8a9055d94","datavalue":{"value":{"amount":"+0.8850157856941223","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":"Q4700388$E245762B-56EC-4D04-8644-4B2B42565D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de54630154f82e133e0556ccf2837a1ec2248f54","datavalue":{"value":{"amount":"+0.8508791327476501","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":"Q4700388$895C2723-4F46-460A-9428-3447FF2171F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4abcf24570f23be032e6757a30a3c0dafa89c4f","datavalue":{"value":{"amount":"+0.8353373408317566","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":"Q4700388$46107E86-A285-4AFE-BB5E-3761FB0A41DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fa35f6556ff12fcb137ab6d3c5f990ee6d58fa","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1f065fa69bb5401c22a1071993f1998e8a976c","datavalue":{"value":{"amount":"+0.8305753469467163","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":"Q4700388$DDB513B6-69AE-4DD5-9C54-8ED62A73B92D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700388"}}}}}