{"entities":{"Q5326338":{"pageid":7355912,"ns":120,"title":"Item:Q5326338","lastrevid":51790463,"modified":"2026-01-20T01:30:20Z","type":"item","id":"Q5326338","labels":{"en":{"language":"en","value":"Synthesis of circular compositional program proofs via abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194847"}},"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":"Q5326338$B1F55277-7423-43D5-A525-4D2A1E28F08D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19c1603882c9ab03a7decb8380e95d7384b9bff2","datavalue":{"value":{"text":"Synthesis of Circular Compositional Program Proofs via Abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326338$30ABE2F8-80A5-48C8-93EC-B40E5FA44582","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"082dfa9f5854f25c7a0cc51c96b2ab17d846fb43","datavalue":{"value":"1381.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326338$7F9A33C8-A435-4EE5-9028-0462FED1617D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33e860e74c7cd130ad9239a68d64ded477f750c1","datavalue":{"value":"10.1007/978-3-642-36742-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326338$AA06141A-B8DE-4D4D-AF8A-CCA6C65B1808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad514a0e10a6887a8793cb3a75493048983b46ea","datavalue":{"value":{"entity-type":"item","numeric-id":2071868,"id":"Q2071868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326338$FA703975-98F8-4C27-86D1-BFEDEBA0D7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca20e34a5ab58eea56fd5acd872992151f6d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":453502,"id":"Q453502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326338$F33AFBC3-9CF9-4308-865B-993C9F8BFE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a3b3006fba52cd27cb32ea799071b012133083","datavalue":{"value":{"entity-type":"item","numeric-id":453503,"id":"Q453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326338$2B29DE4F-4D7C-4770-8601-3D549270D6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326338$17D94FDD-76D7-4715-9232-A59EB51CF218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326338$455D6706-1A04-4824-8106-6A428922AB30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326338$F0444378-992E-4873-9898-EA1B778C5511","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326338$6DB0D93A-7663-49F5-AE5F-47DF2F58F0F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326338$4D239765-2A90-44F3-968A-83206F4DBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326338$F8A06733-963F-4EC6-9363-7EA2075B43AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"466e4f53bed45229fd3f004b3c8f525a17975f87","datavalue":{"value":"6194847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326338$B263A9D5-4616-4582-880B-6E768EA53A52","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":"Q5326338$196C1E19-1685-4909-95F5-274355275577","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d33cc0c1b82dfaf93b5752fe7bf7fbf516826372","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326338$7223AA48-5C2B-4855-B16C-EA0505F753A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1121858ccc6a48122c510d4ba84f383a7a4bb26","datavalue":{"value":"W176283517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326338$2F080FF8-25BD-4655-ABE6-03690BAA268A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f21a4bce8b5aad8b2c77731db6e587ec6150e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164214,"id":"Q2164214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9552f8d0e18d87b35949ef0810adee2fcc43a2f0","datavalue":{"value":{"amount":"+0.7450529336929321","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":"Q5326338$83C3A50A-2B97-4E63-AE35-D63BAC32C9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fc3ea45bad42b0140da905d23689c87b87d336","datavalue":{"value":{"amount":"+0.7343390583992004","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":"Q5326338$3946D7A3-CB28-4E53-8366-39583C80232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fbe0c3a904012905f68cb18aef92644939783","datavalue":{"value":{"entity-type":"item","numeric-id":5206947,"id":"Q5206947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fd65f773db9547a72fd7c1ec2fe9752d489cbb","datavalue":{"value":{"amount":"+0.730060875415802","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":"Q5326338$9F867665-2B67-448F-BD6A-B85C27F333E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b63caf5f28b762bf948547dcc600d322ce5750","datavalue":{"value":{"entity-type":"item","numeric-id":2180218,"id":"Q2180218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4b1c5e9f7037f15ac58436d0b7a70f0c6d6e05","datavalue":{"value":{"amount":"+0.7206677794456482","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":"Q5326338$6D0090D7-0DF5-40DD-96F6-725C97E49597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f623b73620b349fec83390955fc30f7d32aeb195","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc21bcdeda887b5ba755f2e3014509572a13703","datavalue":{"value":{"amount":"+0.7131983041763306","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":"Q5326338$C61DE4DE-691F-4C4F-85B5-EC516A77F643","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326338"}}}}}