{"entities":{"Q5261525":{"pageid":7291093,"ns":120,"title":"Item:Q5261525","lastrevid":52300778,"modified":"2026-01-21T09:36:02Z","type":"item","id":"Q5261525","labels":{"en":{"language":"en","value":"Compositional shape analysis by means of bi-abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455620"}},"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":"Q5261525$6B63B10C-81D5-4E7D-8224-D50B933A2418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23782ede51959bce941d645d4ba52d32fd565373","datavalue":{"value":{"text":"Compositional shape analysis by means of bi-abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261525$510CB1B4-64C4-4C52-9734-FAC8DBEA810D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f82722548e88548f9ebf2127805489e438d8447","datavalue":{"value":"1315.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261525$6B9F1878-1859-4DFF-8C22-FF403E273C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b287ae49f2fb542b1e537b4df0c0054b8d11870","datavalue":{"value":"10.1145/1480881.1480917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261525$A7358EF3-94D4-474A-9BE9-816ABB872886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261525$5F630707-ADE3-4B12-8822-0A6EB97F2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a934115107c80a08190abc99377349337d8bd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2852077,"id":"Q2852077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261525$21DE26B2-C59C-4539-AB09-0233EB5AC381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261525$8DAC3AB6-C34B-4461-AE6A-EE122F4DC3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261525$A74D94E4-042A-411B-BB60-CB019788CDC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261525$B720EF46-B75B-4266-93F1-329609BC5EE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261525$E22CF7FF-C755-4FD1-B2B8-229D33CCC306","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35ab661a64bbd4e008362e8f6493d56bc6b957ee","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:bcfefe74-a79c-4155-8160-c51f92f05466","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261525$A3B76720-956B-4C9C-A400-0FF24EAF998B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261525$B34BFE16-C594-40FC-869F-42C1AC75D8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261525$CD6FD234-0FAB-4B6B-A771-45176FCF6F5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd8d9e81fec45f429e738a4efd415d799e88f3ec","datavalue":{"value":"6455620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261525$FC887E7A-442C-43D4-A0CA-3C66F65C25EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261525$1129419C-72BD-467E-9778-F6D7D7B4DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261525$71A310AB-5822-454B-A569-4A1770E8EB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261525$E72476E6-6F78-4E09-9114-76D2EC82DF39","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":"Q5261525$5A0DA35B-0A96-471D-89CA-7F329D627D78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3133bedd80e78204d15ab27ded3486d42ed16b05","datavalue":{"value":"W2154985136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261525$A3FD9F7E-7897-4615-982D-EB28A6B2E3CE","rank":"normal"}],"P1643":[{"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":"7868cc939da9d793df29f716a1e1a89ca4c6bfef","datavalue":{"value":{"amount":"+0.9460239410400392","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":"Q5261525$71E573B2-DCD4-4FE1-9814-39262683FDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aab67790d08fcac72227496b500bc0dacb915d4","datavalue":{"value":{"entity-type":"item","numeric-id":3392926,"id":"Q3392926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7e64778ce3145f18cab279c8b3c6df5f4478d9","datavalue":{"value":{"amount":"+0.8599028587341309","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":"Q5261525$0A2C808C-88E5-422F-95AF-C4542336FEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb02f0a24675c54434074c784cabe08a4106de74","datavalue":{"value":{"amount":"+0.77701735496521","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":"Q5261525$84C77433-597E-46FF-B2FA-AE4BD6F2E8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8502b740cef29306e7c0e37d24f04f3dd267c6","datavalue":{"value":{"amount":"+0.7750626802444458","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":"Q5261525$1805BEAA-B822-4FC4-8C7D-DF9B3690BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4598224ae51aa60636ba3a4d893329afda85778","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5191bec7f6edcd3746d971bfefc3cfe9615e03c","datavalue":{"value":{"amount":"+0.7625369429588318","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":"Q5261525$EDA9E92A-E4EF-421C-BDB2-42D1D9BEDE92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261525"}}}}}