{"entities":{"Q3005894":{"pageid":3016618,"ns":120,"title":"Item:Q3005894","lastrevid":51265445,"modified":"2026-01-17T12:42:18Z","type":"item","id":"Q3005894","labels":{"en":{"language":"en","value":"Abductive logic programming as an effective technology for the static verification of declarative business processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5906474"}},"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":"Q3005894$B901C33C-6521-4F27-88C2-EE6B436FEC4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2750ccbdee0a1ad083adc310b17e42c2519fda1","datavalue":{"value":"1214.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005894$788216E9-8609-45C5-AD77-032BB0FA12B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2438f2b6b194cb9371720fd634318f5f271f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":315289,"id":"Q315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$8C7F2BEF-FCF7-4991-9941-D4D7CC2E7D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24fe719894250e24cc104bdd22699639c5f039fc","datavalue":{"value":{"entity-type":"item","numeric-id":702113,"id":"Q702113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$0F34ED36-1DA9-4F16-A10E-F81F1F4C7BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2aecda123e52412d7ba195e2fd5ef5568a8e345","datavalue":{"value":{"entity-type":"item","numeric-id":2694615,"id":"Q2694615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$B4A5D7C5-42B1-46DB-8189-79C222FDA6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$F3FF61C9-54C1-46EC-A1B1-DBB6D9F9F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79522d80875e707d0dab6f28d9451bb243141953","datavalue":{"value":{"entity-type":"item","numeric-id":421473,"id":"Q421473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$BDED4241-02CD-4DFA-8CE5-C2D8ADFB996E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$EEB7291D-58D5-4FB9-A296-221C06F2B5AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3005894$7A74BD58-2B94-43C5-AB04-28A6B0678AA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e90756424cd207a10e8439aa774abb049088f5d1","datavalue":{"value":"http://iospress.metapress.com/content/y534x3367487x8g5/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3005894$2267C1AF-65C2-47AE-9036-77FFDE6C45E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005894$026DABF0-8128-488E-8D3B-E9FBD734CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005894$61F54DE3-668A-4857-8348-E92CE03B6263","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b148cd3692d921ee8783dceaa4d3f645c1c70a9a","datavalue":{"value":"5906474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005894$60CD8932-479B-4B0D-9901-3DB79B925875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429b1bb2880597c2344753195d527743940fb5f0","datavalue":{"value":"static verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005894$BB0C6576-F762-45B7-AFDA-D777474CB8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fccb5035ee6e6548673a974eb188eb943ecb086d","datavalue":{"value":"business process management","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005894$91D61BD9-B526-4BBA-A091-B9A562CBDBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aba4d8665d302d0ffa4e6baa859fb3d80464a34","datavalue":{"value":"declarative business process modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005894$9C278597-8EAB-4823-8E27-6F2887325C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f80e1f7a7440635e5ad49202f2216bd8ea398d","datavalue":{"value":"abductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005894$14954FFE-9621-4C5C-943F-5E557FDBE146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005894$31F90E44-F1CD-4592-AABA-7654C89CCBD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53b3bbc449b1f5ebf2553dc0b5b68320213b2ee9","datavalue":{"value":{"entity-type":"item","numeric-id":15282,"id":"Q15282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005894$D30F9401-AE65-4A15-94A6-D8EC45059DC4","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":"Q3005894$DF118514-F547-476F-91AE-4C542825DE38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37159249d26633301ff8166c62dbf7c2f2715b9","datavalue":{"value":{"entity-type":"item","numeric-id":5504672,"id":"Q5504672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4843bb63fbc010343711a8f53d49d27130dfd8b0","datavalue":{"value":{"amount":"+0.8300106525421143","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":"Q3005894$FEA9E914-101C-4EEA-8ED0-D7A83445EF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64441e37c591489ff597922ddec7efc1e1755537","datavalue":{"value":{"entity-type":"item","numeric-id":5398302,"id":"Q5398302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7e69cbae2ea8d53fc2f96ee97148818550746b","datavalue":{"value":{"amount":"+0.7920327186584473","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":"Q3005894$4F224BBE-ED36-43FC-AB75-634FEB5852F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eebbc1eb1627b83815818a100216a166568605","datavalue":{"value":{"entity-type":"item","numeric-id":5191488,"id":"Q5191488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138faf760c47a81c0558bc42e3cf257487b49d6b","datavalue":{"value":{"amount":"+0.7604383230209351","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":"Q3005894$3B8A4D03-8434-4164-B2DA-E978865AAA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732e06a74d62d67c6b5935baeb1083c3127177d3","datavalue":{"value":{"entity-type":"item","numeric-id":2409725,"id":"Q2409725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b10405c245e080d9a9dbe639368b089b2b6069","datavalue":{"value":{"amount":"+0.7133233547210693","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":"Q3005894$55DA16D7-E08D-47C7-BFB6-2CD1A9DDD771","rank":"normal"},{"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":"5ebb8e1c03b4976b3ea121a62cadadc2ec5039a6","datavalue":{"value":{"amount":"+0.7036483287811279","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":"Q3005894$94DD8BFB-CB60-4D28-860F-34AC435BA8BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3005894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3005894"}}}}}