{"entities":{"Q2409725":{"pageid":2420468,"ns":120,"title":"Item:Q2409725","lastrevid":57902682,"modified":"2026-04-03T00:43:52Z","type":"item","id":"Q2409725","labels":{"en":{"language":"en","value":"Verification of time-aware business processes using constrained Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791218"}},"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":"Q2409725$732D6712-2F3E-42E2-875D-8BC75ED77A22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cb4deded4ee8ecdb1fed069f3747359a14614d9","datavalue":{"value":{"text":"Verification of time-aware business processes using constrained Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409725$48340B92-8744-4DE2-A2BD-15B074D7A3B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02e79322d16144da5e0bac149dd32155260f84ad","datavalue":{"value":"1485.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409725$1459E521-A639-4A3F-945E-26687BC531E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff0ee6a268f5eabf5314e28f8a08241bed592c6a","datavalue":{"value":"10.1007/978-3-319-63139-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409725$2CF0752B-2E6D-48AE-AB89-823736EACAA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$FDB05C2D-6F0D-4479-A107-69B7FFA84F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$65B15EB8-0A7E-4115-9D53-A911EB78E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$970E5C63-AE95-4FD0-B420-925D094A2517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$117BF5AE-7A3F-4EFD-A29C-884296B0EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$31E52C9C-FAC5-4F2C-943B-30D23E16F12D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409725$6379AAC0-A37B-48FC-9895-5FBC330AD4BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"337d6f51612e0397bd4537fa7cfbe2da3d92ac45","datavalue":{"value":"https://arxiv.org/abs/1608.02807","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409725$66E5DD88-25B8-4D47-80C5-F7B3964BFF01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409725$7394D2E0-2D53-4B60-AF18-025528C5F810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73be4a2b64d5a856e83636503c351f900ffaec9a","datavalue":{"value":"6791218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409725$20D688F2-E2DD-496D-B173-505CD414A939","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$ADC99EB5-58B7-4C45-B4A1-7C73CF583424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7edebecfea0d1be076050d73b49d0bc3b1453ace","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409725$B72A6215-DB25-4A96-928A-87D385F7BF6D","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":"Q2409725$63F8C7D0-4D05-48B7-AA19-AD075DAD9295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a46d2569e3eab5bb81ecf53e29abe26360a83c3f","datavalue":{"value":"W2530759037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409725$CCF12235-32F2-438B-BC4A-EF5850074D7D","rank":"normal"}],"P1643":[{"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":"2a5b29710816ad692dba2e06ba13030b928e2b94","datavalue":{"value":{"amount":"+0.8174881339073181","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":"Q2409725$0377816A-E23F-405B-A181-429AD7237C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34597eb9369f44e4e37cfc1c984d4cc68e586909","datavalue":{"value":{"entity-type":"item","numeric-id":5377319,"id":"Q5377319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0149b16066fefdf46e1d257775323135dfd4eb","datavalue":{"value":{"amount":"+0.8082801699638367","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":"Q2409725$CB1ED3ED-FA16-4DC0-A4F0-B09291479861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dc2b1c5be19a0c09819b38e5d02e9d5c24b63b","datavalue":{"value":{"entity-type":"item","numeric-id":5015366,"id":"Q5015366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c697d96de7e407f035c2b4649e95105899ac02","datavalue":{"value":{"amount":"+0.8046584725379944","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":"Q2409725$970511B3-1664-4852-AC86-7B46B5ACC0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002f34baf511a695769164a5c25c118c43573f22","datavalue":{"value":{"entity-type":"item","numeric-id":5348540,"id":"Q5348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b9940ab9436d4b37b30d42ba8fa06e8034e654","datavalue":{"value":{"amount":"+0.7537391185760498","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":"Q2409725$A4842E2D-DBE1-46BC-BA3B-C52E70CA636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12005d63df9c42cd752cf03370cc79e0d7b6b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":6164536,"id":"Q6164536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0eae53dea092b0e53753b77c5b87d2825c89060","datavalue":{"value":{"amount":"+0.7412331700325012","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":"Q2409725$FF1A02CB-89C6-4DE9-AA4A-9242CBCDE9F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409725"}}}}}