{"entities":{"Q5398302":{"pageid":7427876,"ns":120,"title":"Item:Q5398302","lastrevid":51935240,"modified":"2026-01-20T14:04:51Z","type":"item","id":"Q5398302","labels":{"en":{"language":"en","value":"Business process verification with constraint temporal answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262131"}},"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":"Q5398302$72847C9A-049A-488E-8520-9CCFF197D6A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4507a9174b06da0d45ffb37d27640d7049490af7","datavalue":{"value":{"text":"Business process verification with constraint temporal answer set programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398302$C83EE738-2AFF-4832-8F3D-AA30684C4729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a1d61ce94f318b9cbcfeed793c3a8e6c2b5995b","datavalue":{"value":"1298.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$62662D58-9426-4A97-8995-DE3DD294A399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a31555fffe5fb072d42ccaf2a33d5467e02c2046","datavalue":{"value":"10.1017/S1471068413000409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$A0C22596-8D42-4AB4-9870-8750190C4EC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a95c81b1b983e32ebe3edd662c771481c22c0947","datavalue":{"value":{"entity-type":"item","numeric-id":596472,"id":"Q596472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$2406FD81-D4DD-4BE5-B658-B18594E97CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cac172e4bf02f56868c8fecd40387c08a9427ad","datavalue":{"value":{"entity-type":"item","numeric-id":5398301,"id":"Q5398301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$D34EEF7A-9C2E-4D95-9C55-FA28BF054D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f7d38af674e7e9bd7cbfb771d0c5806ad8d76f1","datavalue":{"value":{"entity-type":"item","numeric-id":1274290,"id":"Q1274290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$A74DCB22-9E5D-4382-B92C-CD8CF57B01F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$92FE4ECE-11F5-4BC4-87C6-DDE89EB5C912","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$1A9C9441-84A6-4064-BE7A-1E31B6ADB7F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ad1819a6b25c30725bd1583db7084d2537ac828","datavalue":{"value":{"time":"+2014-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398302$C3A2DB08-1527-4E0A-BBF4-A82E5199B62D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$CB08D38C-0118-47B2-B289-9F378E12F763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$ECABF355-59F7-4B25-822F-B940405EB9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$F2F0DB8D-C1A4-4C4A-B626-EAAE32C508A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73b637ef88d2e15222b430dd314fd7aca260e222","datavalue":{"value":"6262131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$97367C68-95E8-4A12-80C3-4E385F5257D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086d78754182d4b3ed78019cd0c5b48cc2b5f0a9","datavalue":{"value":"business process verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398302$C370B5F5-80FC-498B-BBB2-C3CB327BA060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398302$D75811D1-87EB-4F4C-9EBF-8B29B489CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6783c72934f84c0bf886012e90f9cb4e6e5394d3","datavalue":{"value":"DLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398302$1F08E09F-5516-4798-AB7A-16EFA27F26AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398302$4C925D4F-BC6B-4029-9F5A-AA1D6994DD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e990ddcfd4945f62df40887cd4ef6736490e1579","datavalue":{"value":"workflow verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398302$E0782659-BBD0-4D2D-8FBE-D0C04DD14ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361e0a79836ad196c38ef01fa0e5d33f234b1143","datavalue":{"value":"temporal action models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398302$C76ADBBC-9CA3-4A8A-A073-83CF32EEDAD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02493497fd98f03aeb4592bfc77b1177e6dd49a9","datavalue":{"value":{"entity-type":"item","numeric-id":21871,"id":"Q21871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$C3B19E2F-0D59-4574-AEA5-B52FB409A916","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":"Q5398302$90087475-97CD-44DF-8A22-ECBC4080C2D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab609bda8b626fdb9a4743bc12924e44f52ee8ad","datavalue":{"value":"Q58207597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$71001247-8248-4B41-B5BE-18FB89D17106","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$DEF372D9-F9E0-42DE-BD5B-8143C70ECA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c087c749fac9e62b1f0f29ee6e8e1b8e2ba181","datavalue":{"value":{"entity-type":"item","numeric-id":1062045,"id":"Q1062045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$1E21636F-F68E-4108-BA63-1393332E97AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa4ad35b350df58a77769519b68556c4943f248","datavalue":{"value":{"entity-type":"item","numeric-id":2368986,"id":"Q2368986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$74E4A53E-AA8C-4BA2-9297-FE7AC76614D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82649038132d0a18a3b917676a15aa35bc25fa81","datavalue":{"value":{"entity-type":"item","numeric-id":5299584,"id":"Q5299584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$0C7D311F-BDC2-4181-BE09-BD73ABC3060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957503908f55f73b748e54c2cea9da988a808f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3184510,"id":"Q3184510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$5D7EBD56-FFD8-497C-BB29-3A559D91F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510d79e9ae71f181c050c6b8ef6152f261318fd","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398302$546B6741-DB77-49A5-BAF9-B69EC6659F72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ae27db12df737db13291496a4f46b682059734d","datavalue":{"value":"https://doi.org/10.1017/s1471068413000409","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398302$3E9BB872-956C-41B6-9005-73825B321835","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8864694436a259be720670104b6e2a20103fba5","datavalue":{"value":"W2165851159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$0EDE9CB2-EC72-48B9-A094-CDD7D63264D5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ecbbddb80676e180ea2dab2b4140064ba2b866e6","datavalue":{"value":"journals/tplp/GiordanoMSD13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398302$2C136D14-D649-469D-AFC0-2960FF5D169C","rank":"normal"}],"P1643":[{"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":"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":"Q5398302$DE2B96CE-E015-4E61-BE3F-EA28BFF41EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99a368899ec1f8dc73402d9c9ea742d3545d973","datavalue":{"value":{"entity-type":"item","numeric-id":3582738,"id":"Q3582738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b2109deefddcab3e89f12bbe29eb5d300b9173","datavalue":{"value":{"amount":"+0.7759836316108704","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":"Q5398302$EF001B21-C5B5-438F-8AE2-7CB029A24981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b513e0e1ca7acaf7bdea6994bf0698fb260955","datavalue":{"value":{"entity-type":"item","numeric-id":1037243,"id":"Q1037243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfdada5858ea3aa7a8ce0f9049a1e91fb55577c","datavalue":{"value":{"amount":"+0.7679590582847595","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":"Q5398302$77DA4474-5DB5-4685-997B-6DED51DC0736","rank":"normal"},{"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":"6345e0acdc5741b534ff90ab997b8449dbecb569","datavalue":{"value":{"amount":"+0.7651792168617249","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":"Q5398302$9C01460A-4CA1-4929-9C00-181CA53CFD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da6e9e953edf5db60d00603b28adef8db0ce2751","datavalue":{"value":{"entity-type":"item","numeric-id":3005894,"id":"Q3005894"},"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":"Q5398302$A809A177-6B1F-4A35-A604-D2419AE2A2A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398302"}}}}}