{"entities":{"Q4245935":{"pageid":6275536,"ns":120,"title":"Item:Q4245935","lastrevid":89199941,"modified":"2026-06-04T16:37:31Z","type":"item","id":"Q4245935","labels":{"en":{"language":"en","value":"CLP(\u03c7) for automatically proving program properties1An earlier version of this paper was presented at the workshop \u201cFrontiers of Combining Systems\u201d, Munich, March 1996.1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1293682"}},"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":"Q4245935$30626A49-4ADB-4202-BB2C-6A6C9160A309","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52bd4da0267fcd0c9460800e4303730426efaebe","datavalue":{"value":{"text":"CLP(\u03c7) for automatically proving program properties1An earlier version of this paper was presented at the workshop \u201cFrontiers of Combining Systems\u201d, Munich, March 1996.1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4245935$E3B2B9ED-3FEA-4FAF-AAAC-ABFE7BB42BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16cbe8b440b4c1e210ccf689d8bf1f0aef12423f","datavalue":{"value":"0920.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245935$21979092-540B-44A1-BC18-AF115F6237AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fad29db28bd0d882751dd866348ddbc9e03e792e","datavalue":{"value":"10.1016/S0743-1066(98)10004-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245935$AB9769BA-81DA-4F7E-863C-07DC96126902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4245935$C04886F7-BD65-4B73-B866-F1C6F840C2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aae9483e5e4ab881a0aa3ff9c65043ca3f25939","datavalue":{"value":{"entity-type":"item","numeric-id":4218864,"id":"Q4218864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4245935$ACB7AC30-CB80-4DDB-B30F-89D6AE1D05B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94846f98c0af4a46827f75bad269e01dc04c99a","datavalue":{"value":{"entity-type":"item","numeric-id":4245934,"id":"Q4245934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4245935$4421B20C-781D-410E-8D7C-A1976B6A7AA4","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":"Q4245935$CACB8272-6FAB-4DAD-8A7A-87FCEEEF1CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e627d8745f0fb7826ead45cdb0f7dd63b223564","datavalue":{"value":{"time":"+1999-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4245935$E959CED6-9660-4C54-B3A3-1429B570B887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245935$AE96AF2E-CB0A-4719-A05C-72B5DA9D3372","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78257d7c7344a499321a1c3e91c364943a7fc14b","datavalue":{"value":"1293682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245935$86B87CD9-AEE6-4DAD-8091-D26782ADB026","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827e7c0f0181e595eb86c37c22f4c6cc2152484d","datavalue":{"value":"implication problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4245935$719427D4-F100-4612-AD1F-70072298D2F3","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":"Q4245935$47602F94-D1D7-406D-89EC-4F5A75ADFB31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbaf149280ddd0521d9f96e3a9026b27529fb8b8","datavalue":{"value":{"entity-type":"item","numeric-id":4385452,"id":"Q4385452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4ada8cfb3871a6b9e7635427a2f6068f40a4ab","datavalue":{"value":{"amount":"+0.9911863803863524","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":"Q4245935$20333AE8-5702-4845-9EDE-4B7C3F3BC8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706976812f0a640546b1284aaabda239b722b38b","datavalue":{"value":{"entity-type":"item","numeric-id":4812966,"id":"Q4812966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb88bd44fb83561ae18d3849ccacbc8d0bd8569","datavalue":{"value":{"amount":"+0.8005562424659729","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":"Q4245935$B6142070-D7FF-45D3-9470-0A24F8F955E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfbaf3527eb36d5656104867ee957404413cc71","datavalue":{"value":{"entity-type":"item","numeric-id":5267429,"id":"Q5267429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29687bc3d913245d533d60afb0e480c8339ed52","datavalue":{"value":{"amount":"+0.7985227108001709","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":"Q4245935$7A0FEAAC-06F7-4908-977C-D9F6A7EB596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e417d6611cd016bbfce1318e15454e3fa2e31ddb","datavalue":{"value":{"amount":"+0.7876867651939392","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":"Q4245935$A1CFC333-A441-46AB-AE7F-7B9860AFDC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603f5ece477cdaaab932e777d8ff95568d9a8b99","datavalue":{"value":{"entity-type":"item","numeric-id":5449600,"id":"Q5449600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab66d422c23bbf83e42d75bfcee331d785c59a39","datavalue":{"value":{"amount":"+0.7858818769454956","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":"Q4245935$59340357-78C5-4421-924D-4E83AE7F5454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CLP(\u03c7) for automatically proving program properties1An earlier version of this paper was presented at the workshop \u201cFrontiers of Combining Systems\u201d, Munich, March 1996.1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CLP(%CF%87)_for_automatically_proving_program_properties1An_earlier_version_of_this_paper_was_presented_at_the_workshop_%E2%80%9CFrontiers_of_Combining_Systems%E2%80%9D,_Munich,_March_1996.1"}}}}}