{"entities":{"Q2019685":{"pageid":2030427,"ns":120,"title":"Item:Q2019685","lastrevid":43478730,"modified":"2025-07-28T11:46:29Z","type":"item","id":"Q2019685","labels":{"en":{"language":"en","value":"Optimized SAT encoding of conformance checking artefacts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7336266"}},"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":"Q2019685$331EF207-9FE5-4B68-8E00-E6550CC3C615","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e495b236e72da96781a49f05860311b3db678232","datavalue":{"value":{"text":"Optimized SAT encoding of conformance checking artefacts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2019685$5204FDF5-6A99-4FC0-A155-91724161327A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9327f651f12b3ddfdb38eb89c28e99d3d9095b68","datavalue":{"value":"1473.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$CC5DFBC0-62B3-4027-804D-08F32413F430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81cb2b567e5b88bf7dbe7e197fdd91b4535e99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2019684,"id":"Q2019684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$FEEE10AA-6785-4369-AA6F-19791B5C1F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$A2ACB9BC-264D-433C-ABD7-47044CF90104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e841d2d404aa8b85941ed221fd766a9528d70a61","datavalue":{"value":{"entity-type":"item","numeric-id":383352,"id":"Q383352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$B8A82D83-B965-4433-8983-B28B287A73C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$83655AED-5ECB-41FD-9B56-18D043B763EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"365f22abe782bc48de73b19fe6ad02697291bbf3","datavalue":{"value":{"time":"+2021-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2019685$422CCCEA-CF1F-439A-ACAD-D9ED19818D69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"773502a781202bdcb091e732af0992189dec5b68","datavalue":{"value":"http://hdl.handle.net/2117/331252","type":"string"},"datatype":"url"},"type":"statement","id":"Q2019685$EEF1A254-B112-4E49-9F0D-08DB124B6BEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$600538E3-485A-445D-84E6-CDAE8603FC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$BD3FEF38-7986-4F3F-BC2B-C3A42913047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f922ed572c459d541a1cb2edbcb542f34d01a074","datavalue":{"value":"90B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$9FB740AC-AF3F-4960-BC2F-887880A811CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3befc7239aa816216deba597bcddb9fddc361bb8","datavalue":{"value":"7336266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$DEBB1DE8-3DDB-49C6-8C7C-3D295B8323A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16bdb030d6f0cff9e74ba7873b938427a368e545","datavalue":{"value":"process mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019685$A5DA8A49-CAB6-4C24-A25E-171900F9D4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4430fc28aaa8d9d1a133a2f8ff5d8174264a66db","datavalue":{"value":"conformance checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019685$252FB19E-4FAF-4EEC-B067-FF726F66A0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019685$2F56F415-50D0-4C0D-9C91-73D4A5021960","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$7AFC45D5-EFAA-4F03-A463-20E0AA58D002","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":"Q2019685$8F36A708-FA7D-4A19-8B1F-98FD2C2FD7A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48fb9b1d3e201bec471315992d9d75c4b4e049c4","datavalue":{"value":"W3042145815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$13E22B55-2E54-4913-B096-9BD74332DF2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52fa7fd27124acec7f37226ed3641e8ce081efe","datavalue":{"value":{"entity-type":"item","numeric-id":2941488,"id":"Q2941488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$C6C2BF2B-199E-4731-A3FD-F38D5BB09216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232ea97fb5f7ce00b2fd0253ebf8ddb50acf6b28","datavalue":{"value":{"entity-type":"item","numeric-id":2822655,"id":"Q2822655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$FF34D51D-1A22-41FC-8329-57FE773C6B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$7DC3360F-4F6A-43F8-A9BE-C51B4FB04E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564de107244abf2e8662a52e7084a6b9972f9952","datavalue":{"value":{"entity-type":"item","numeric-id":1708257,"id":"Q1708257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019685$6053B415-83BD-416B-98F5-E4CBEF224C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2a6202b32ddaa9fec44bc5db663a2765394b441","datavalue":{"value":"10.1007/S00607-020-00831-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019685$766AF88D-5230-4B1B-B6BF-A2482D80D57E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2850ed93b9300f9fa6dfcd630fc70b3e6cd1a60a","datavalue":{"value":{"entity-type":"item","numeric-id":4735931,"id":"Q4735931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bad76819f01aca7546bf71855899d3c36f25b17","datavalue":{"value":{"amount":"+0.8899443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$8EC19AF0-B745-4CEE-8738-334E8FDC8F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825c9aaa727f79c201debbf710b791dcfdd806b0","datavalue":{"value":{"entity-type":"item","numeric-id":4736997,"id":"Q4736997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf386f4b67d23cc68f646d9fb9c9efbb6c647649","datavalue":{"value":{"amount":"+0.8705809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$DAD99245-6904-4FCD-87B8-EB1C26E6B95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d47001d388616676746d4877f00d336c2fb12","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8de11d81b04b2697ab875d1121c67ec9c622b4","datavalue":{"value":{"amount":"+0.8570292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$7D7AB1F3-2FFF-4DE9-BC7B-80E980DCAFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798ec38f92cdb2ae4bc6a635ac2a9096d7d11a15","datavalue":{"value":{"amount":"+0.8539045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$6A672972-52C9-4E55-A97B-828847B094D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36507e46db48e8cfff447a7772d823351b8e8a2","datavalue":{"value":{"entity-type":"item","numeric-id":5493242,"id":"Q5493242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e094491a582394ef6090ef57f5a0189aba97a815","datavalue":{"value":{"amount":"+0.85365915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$28B36F65-8DD8-4DD6-A445-3AF0262004BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924c21b3e1db909f6e707e1b3e87cbaad5402014","datavalue":{"value":{"amount":"+0.8535546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$12B350FF-232E-44A2-B5D7-DB9FE708D4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6cf94a941e73c549de5f3f28639ca1516bdd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5386252,"id":"Q5386252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f80f95b61ffb137cc786c4fea2c0811b36d422","datavalue":{"value":{"amount":"+0.8532235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$19B081C8-87BE-4097-BCCA-3C0E7F896ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d92b07740549b8054f4af1b5fe918c626068d2","datavalue":{"value":{"entity-type":"item","numeric-id":4933300,"id":"Q4933300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426ee3e1c038d9f3dfb9898405e611f8c89b076f","datavalue":{"value":{"amount":"+0.8531506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2019685$A2E5C816-447E-4E88-9E23-B7C3A46CD24B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2019685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2019685"}}}}}