{"entities":{"Q4700385":{"pageid":6729962,"ns":120,"title":"Item:Q4700385","lastrevid":46791513,"modified":"2025-12-25T14:42:24Z","type":"item","id":"Q4700385","labels":{"en":{"language":"en","value":"Automated verification of Prolog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356270"}},"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":"Q4700385$E3539F4D-AC20-49A3-8DB7-2B63E613443C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f6249a3bc8bef2ba78373afa52c6ea1109cc18","datavalue":{"value":{"text":"Automated verification of Prolog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700385$4EC2133A-3E8A-4F63-A90C-D8AB7531959F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e36f5826cc61770c40340fa8df7091505c05fd4b","datavalue":{"value":"0947.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700385$6087A6AD-A6EC-4C67-819B-70600ABC3F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"387c5190e1655a60dbfafedcd1a74165395ad1c7","datavalue":{"value":"10.1016/S0743-1066(98)10032-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700385$F4FBAA20-32DB-4118-A299-107201423984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d580d5e989b5b82886bdcefab7b54e9c9a839b","datavalue":{"value":{"entity-type":"item","numeric-id":1581060,"id":"Q1581060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700385$D2AF629E-516D-450D-BBDE-1ECD9A214AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009de21330b55ca77baf06fe7b9351a83178386a","datavalue":{"value":{"entity-type":"item","numeric-id":4700384,"id":"Q4700384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700385$3CC1B9D5-5E89-4815-8FB2-461F8331C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700385$0FD2D0B1-A58F-4628-9D92-9AF98396619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700385$F2B642CD-3EED-42B2-BF9F-E6701048EDA7","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":"Q4700385$467DE598-56D7-4C3C-AA21-B2D0EE8CBC3A","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":"Q4700385$CE85DABB-53EF-4767-B684-93CD58F41ECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700385$B70D1FB9-1A8E-4140-99E8-D95EE2EB4165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700385$9480F712-C539-49F9-8FBD-E4255565CD00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81791a63de27f5c2e8c97db7e0e570dadba88eb3","datavalue":{"value":"1356270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700385$413AF872-66FB-4850-BA76-B51FBCE6B2A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700385$BF6FFBDA-8954-4428-95D2-6D98E2D3302D","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":"Q4700385$0C6BF5CA-CFF5-4B75-99CE-164073D3DF74","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":"4b7dbae22b3a8eed10f0b24e1f9f4c3b521f803a","datavalue":{"value":{"amount":"+0.8683475255966187","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":"Q4700385$58C15059-DAF9-4E8E-AC9C-740FE42F40D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652323ed4b9a2ac6dc470cefe32dfc44ceae902b","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ce940c2bd50b38a76a60211252f5c2f6f023c1","datavalue":{"value":{"amount":"+0.8087816834449768","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":"Q4700385$A5C7BCE7-2D36-418F-A294-BF73A720CE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729bbc3558f21fc5a7f12610da9b2ceb4ebaba91","datavalue":{"value":{"entity-type":"item","numeric-id":5030196,"id":"Q5030196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004418a26df6b4892d01727764ba9e57b7e2acfe","datavalue":{"value":{"amount":"+0.8029839396476746","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":"Q4700385$85F88A51-DF86-49FA-9A18-2D5527A9E232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970151f017da7c42540ad5c6818923a5f22fe28b","datavalue":{"value":{"amount":"+0.7986564040184021","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":"Q4700385$589CC9F4-C969-4880-A986-5133EC322BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4552f1b3b2ed3b6c18044fa95211d351963eb34","datavalue":{"value":{"entity-type":"item","numeric-id":3721796,"id":"Q3721796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9986962ff6307588eb1bc3c4a9fe70336d09d41","datavalue":{"value":{"amount":"+0.7921402454376221","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":"Q4700385$E6662FA5-B598-4093-9FF4-495F268194A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700385"}}}}}