{"entities":{"Q293340":{"pageid":295107,"ns":120,"title":"Item:Q293340","lastrevid":52549808,"modified":"2026-01-22T22:50:20Z","type":"item","id":"Q293340","labels":{"en":{"language":"en","value":"Weakest preconditions for pure Prolog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590741"}},"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":"Q293340$B163A2F8-09C3-4B54-B4BC-5618460D4D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b2dbc696d49b96fce0c853fb3dd4e2b8dbdb5bb","datavalue":{"value":{"text":"Weakest preconditions for pure Prolog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293340$34F70B29-190B-4B97-8513-BF1CFB6323F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed8aef429efcb3d0e20fa09a09bee6e4e3c83b9f","datavalue":{"value":"1339.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293340$8C38E382-3AA0-4D22-8BA2-5969A117903D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03d3dc66be4e3579a879ece4ae5bdbf1cf7efd7e","datavalue":{"value":"10.1016/S0020-0190(98)00098-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293340$1B1540FB-FE0D-4686-B242-982F0F4E2365","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":"Q293340$A70B44F0-9C9E-4E6B-8AA1-88BF50C05243","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":"Q293340$98D7FCEB-C982-494B-AA6D-91827A89AAE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$AC49381E-7310-4536-9844-6A8A1D63EE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293340$21ED38FF-1681-4C33-9879-C398F1AD9CE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06c1be2e5f257996cbe1c86b23bf48fafa148f5b","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098000982?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293340$0CBB83D8-30DC-462C-91DF-4CBA629E0312","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293340$F9678F27-17BB-4CBE-A836-B50F5BC3BCF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93907685963308f028ab4b7dc3dba7df2f7b5840","datavalue":{"value":"6590741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293340$76C51665-5977-41DE-A416-DD3062B9DE47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q293340$3FDA577B-82AD-48E8-987E-0831729AB39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q293340$F687CA86-D860-4350-8FE0-5C6F8008FA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q293340$185C95AE-4623-4716-9351-EA5456C4CAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q293340$BC126ACC-2761-4586-955D-D48B3FE01764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed95c6dd085af9f0edd4522f77d79d466151ea32","datavalue":{"value":"weakest liberal preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q293340$0CFD98D7-9CEE-438E-BE60-4F646A8C611A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q293340$9C5DEC14-7A8C-4A0E-B02A-D21E9E6F0A89","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":"Q293340$FF41145F-DD5B-4E88-B6B2-D878691DA6D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$CF5E0E34-62D6-4A29-8816-5AFE2E8B72A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e3cc676e4dabc1544eb68647a51c5ff1ec3938","datavalue":{"value":{"entity-type":"item","numeric-id":4868062,"id":"Q4868062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$51F78C4F-2BA3-4AA5-A961-05C38419F0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$2FDFE2FA-81EC-458F-BB78-CB55926EBEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$B9829C4C-EA27-4442-A6D4-02CDFBE3483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$721F3F57-FE7A-44FC-B45A-DA3134A107C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd38fe69edbe355b40165941e34e66317c8714","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$646502C3-0E04-41CE-8167-4107B7CA67DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$73638863-C85F-4E79-926F-26F2CF131561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1381cc986ff31afaae0ad26643808031718586e","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$1BFB4D27-5E31-4A0F-8C19-202FD5E81E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$6EB47AC7-83C4-41C9-8C67-FCC32A44229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8241458991078cb95a3d2ca7464856d7629ac","datavalue":{"value":{"entity-type":"item","numeric-id":4340422,"id":"Q4340422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$D2DE15B6-4B26-4A03-8B01-D1E7215D6EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293340$A61E62BE-15A3-4179-A2C2-17D3E95557ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d21cfdb65d2f5716fba2859bf4087652860be44","datavalue":{"value":"W1964777477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293340$F696EE49-A1F3-49BB-9F6F-E43DCD3B6025","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559767141003304d4d46434d3ab270f16aed32","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a1f5653890892999e785d78c690995f2f0a96e","datavalue":{"value":{"amount":"+0.7794334292411804","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":"Q293340$0238F9AB-57C1-4DE6-BDF1-0889C5950BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88e7fc444b61b2c5fd045c40ec97d8427b63ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e07311a6530623e37f1f9e4d27b584f1695a79e","datavalue":{"value":{"amount":"+0.7662520408630371","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":"Q293340$5659F3F9-4E01-421E-A643-A131CAA9B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25ec6b4aa330c9adf2f3ce4c1155d4b952dce02","datavalue":{"value":{"entity-type":"item","numeric-id":4513575,"id":"Q4513575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14487e00aadef7ebae2b759d4db0787c8519ac46","datavalue":{"value":{"amount":"+0.7659075856208801","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":"Q293340$BC907806-5B49-4DC2-92B9-6BCB4AA17487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e729418c484f788f970df01f3f07c7735aff7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3692832,"id":"Q3692832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ad860ae00514a946b6d8e0e1282a740684f50f","datavalue":{"value":{"amount":"+0.7524142265319824","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":"Q293340$734D13FD-C022-47DF-8F22-9C82229A805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f07842b546a0e135fdaa863471afa17aa28fc8","datavalue":{"value":{"entity-type":"item","numeric-id":1189258,"id":"Q1189258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7cbdd1c823cfac0138a60cdd248b17cca1727c","datavalue":{"value":{"amount":"+0.7515744566917419","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":"Q293340$F0D094D3-178E-4E2E-A31C-74565E4A22E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:293340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:293340"}}}}}