{"entities":{"Q6164536":{"pageid":13299417,"ns":120,"title":"Item:Q6164536","lastrevid":47881612,"modified":"2026-01-02T23:32:07Z","type":"item","id":"Q6164536","labels":{"en":{"language":"en","value":"Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719885"}},"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":"Q6164536$FD46D63A-3865-4766-ADC1-D99D741D6049","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"220bc3043a918d5ed82b4817aae6fadf6fefecf5","datavalue":{"value":{"text":"Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164536$D3362A71-F14F-4D6B-8329-D32CAD45924C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df930949face6ec6c889248d8df9ad7cba72646f","datavalue":{"value":"1517.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$7B8D4B8C-9728-41EB-9E21-0BBF55901743","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee3e25ce86a72089f18a61c27dec55c3214185b2","datavalue":{"value":"10.1007/978-3-319-99840-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$3193323A-8E32-4681-AD03-CCB7559DA15C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164536$A34EF94B-77FC-459F-9A71-C1412CC7C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164536$3E1C8845-C0D4-4D21-9D93-CB98D81A8D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164536$8783883B-8220-4BCA-88D8-5B25F893BD37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164536$2F261003-04EE-4776-B28C-3E67DA18D6AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164536$D7E49FEB-1CD5-4AD6-8E16-925DE48E5A2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$699B3BFE-C781-4FD5-A947-8C54D3D909D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$9FDACBD3-3DF1-42A5-9FF9-7E09D2906419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$447EB57E-EB1A-41D5-8280-916401FF7B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f922ed572c459d541a1cb2edbcb542f34d01a074","datavalue":{"value":"90B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$416794C2-0A5A-4823-A9CD-E92D4A7C21C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16dc9bfa7697fffb36211bea397236a5bfeb76cf","datavalue":{"value":"7719885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$48AEDAFF-6D79-4EFA-B4AD-7EBDDB5D1947","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":"Q6164536$4807E622-3C00-437E-9A97-87E44776853C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bb224dbf482dfd78e134fcfbf794b1f2f25818a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99840-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164536$A2DD1231-BB95-4AB0-AD2E-21D14A815BDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4afe5a749c8a1a672ac5ae3fbd5800b8a747835a","datavalue":{"value":"W2892218186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164536$E98A1EAC-EC8B-43A7-AA13-7D92DF8FE908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c793024332f128650a12dc21cc4ecb0389e82a","datavalue":{"value":{"entity-type":"item","numeric-id":2292988,"id":"Q2292988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19360cbc3ef71c83a73920b1ebc73f6ba6313378","datavalue":{"value":{"amount":"+0.8097137212753296","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":"Q6164536$A4A16066-CA1F-4927-9A12-C241F6E6244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183448899cef1b1fc4872979fa6f30e10ba511f8","datavalue":{"value":{"entity-type":"item","numeric-id":2902368,"id":"Q2902368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d282c1f5536fc0f513711aa3ca036d8c8bbd830","datavalue":{"value":{"amount":"+0.7839424014091492","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":"Q6164536$DC55AA02-0F8C-4B1E-B33B-9C52146A74E6","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":"fd28871b49e5ef7006139a7596d70d4ab65852ab","datavalue":{"value":{"amount":"+0.7824270129203796","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":"Q6164536$82752D3A-F210-4D73-9141-2A3E2910B4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b116d364dedffac9dfb81e8e244b663a9652e5d8","datavalue":{"value":{"entity-type":"item","numeric-id":541678,"id":"Q541678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b613c35702cdf8104b4caead5e757dc282e2ff","datavalue":{"value":{"amount":"+0.7783686518669128","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":"Q6164536$A32A2CDF-4361-446C-BFD3-05465F448038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f7ec23a2997fb364e72166cc374462b86336e9","datavalue":{"value":{"entity-type":"item","numeric-id":549695,"id":"Q549695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09223bf88cb2e26193a1b1f57cccdb69afa4929","datavalue":{"value":{"amount":"+0.7702046632766724","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":"Q6164536$BCCE720A-A0E8-4B9B-8611-3C917D5F2B6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164536"}}}}}