{"entities":{"Q328681":{"pageid":330448,"ns":120,"title":"Item:Q328681","lastrevid":61001388,"modified":"2026-04-10T20:31:54Z","type":"item","id":"Q328681","labels":{"en":{"language":"en","value":"Algorithms for the workflow satisfiability problem engineered for counting constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641524"}},"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":"Q328681$856DD2FF-C3AD-436A-90E9-D2CE9AC19B8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83cd15e2aa9ea940ec8ad06f713512c23b4dd352","datavalue":{"value":{"text":"Algorithms for the workflow satisfiability problem engineered for counting constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q328681$D123CE4C-0C76-48D7-94FE-5E97AB69CBD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e35b099510b0a711e4e6973c97b2e156e47cd9e5","datavalue":{"value":"1354.90105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q328681$3CED65E2-2BEC-4B4D-BD8B-2364C9F9BAE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$2DC810F1-1431-488D-B045-413167A73198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5702c77775a0294f70ce79fb40b36e4014bf6c55","datavalue":{"value":{"time":"+2016-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q328681$E3EA6516-49A1-4CD1-870A-E356807A6B84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46a039e91fc61dbb35e924f3d0802fcdfa3357b4","datavalue":{"value":"https://arxiv.org/abs/1504.02420","type":"string"},"datatype":"url"},"type":"statement","id":"Q328681$D50A65C6-86D1-4FE5-952D-289B525EDA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1ad6cc2d443e64950f0ac8acd3227d2c7142e23","datavalue":{"value":"http://orca.cf.ac.uk/93397/1/1504.02420v1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q328681$C68BB7D7-1795-4684-A71F-033A1B4ED71B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q328681$5E707E2A-B9DA-413A-86BA-F447E7913296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ed82f36b0128fc7444efcb1f1faf01fa24967c7","datavalue":{"value":"6641524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q328681$0CE3D9F7-DBAC-4572-AD5D-17E635B92E16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbeaa83544f1487950a3324528f751021e7e974","datavalue":{"value":"workflow satisfiability problem (WSP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q328681$0019954B-60E9-4B9F-A3EA-1AF55E020BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ad766a7a80a04930d46acc5abead67ad116c232","datavalue":{"value":"fixed-parameter tractability (FPT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q328681$7DE7F270-6D88-4933-BB31-077915C95916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3318a8a5564cdcdf8771603173452660fa04ccac","datavalue":{"value":"algorithm engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q328681$81134C24-21C5-4383-9336-9721E587CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305460627ed51c70a625c4cea25977dbb977a02c","datavalue":{"value":"reduction to the pseudo-Boolean SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q328681$BFB3D2AD-58CF-4A9F-80F7-CE287B9BFD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ddd64bcfdac373dae30476ef2fe1fdf47f78b6b","datavalue":{"value":"user-independent constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q328681$A834430C-C762-437D-8461-43004755C92E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66a9401f6c8df8208f80f5f3c8dc3d0ab03b4dc3","datavalue":{"value":{"entity-type":"item","numeric-id":18474,"id":"Q18474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$56F1E446-4D99-48D4-A12E-37B72EAEE75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$C732DF4A-F46D-4FCD-9DAB-9A4B8FA48E27","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":"Q328681$D8FDD602-AD92-40C9-86C6-6E7AF230B5C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6449aeca56ffc88d86125011d3a46abffe2a1f2","datavalue":{"value":"W2037376972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q328681$275AD04D-C5AA-4F73-B43D-244B4DBD4E21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c43ccdc56ef5810d591b6bbf6159ff37313d08","datavalue":{"value":{"entity-type":"item","numeric-id":3003675,"id":"Q3003675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$DFB3FE9D-703F-48ED-B442-DA4A3E525AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddfe7e4d325c1b5ea6b4908aa05a9a82403ed53","datavalue":{"value":{"entity-type":"item","numeric-id":3064518,"id":"Q3064518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$C15FB8DB-C2CF-4BA6-AD75-D46A23003C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729dd7567f67b4aef348a8ca02ad6f0fdf68b6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3188832,"id":"Q3188832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$F6F0979E-6D10-45CC-8ADB-9237067C2C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0738392b847a889a53648c3c01213186874d88","datavalue":{"value":{"entity-type":"item","numeric-id":2938473,"id":"Q2938473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$0DC9A2FE-1DD5-4F1C-AF30-36589E91F4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$07A55D7E-4B28-4143-BBB8-4F2670AF7B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fb4789649ece0ba3b17ddbbe4de7b89ff6e367","datavalue":{"value":{"entity-type":"item","numeric-id":5786662,"id":"Q5786662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$9708249F-2675-4C4D-8595-88647FF029AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$293FA49F-8549-4BA4-9671-EA21F766CC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ecc9914eb8b0af8d7438a304bab7ee69705213","datavalue":{"value":{"entity-type":"item","numeric-id":3452559,"id":"Q3452559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$D0000506-5E3F-4658-A635-DF94497C7D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ea71e391e6113b6cc81a08387bcac59836246c","datavalue":{"value":{"entity-type":"item","numeric-id":632808,"id":"Q632808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$0717F36A-A95D-4936-AC2A-851502EB1E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$A9F94DBB-6D58-477F-9838-444F558C2D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e16d1dc4052e71d6b4ce452bdd1e1e49e7dff8b","datavalue":{"value":{"entity-type":"item","numeric-id":4144192,"id":"Q4144192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$5FDC5AF9-8782-424F-BFAB-ECE89FDDE243","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11e00a35c390065b88e524cd507342ca8085164d","datavalue":{"value":"10.1007/S10878-015-9877-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q328681$1A06082A-AA8A-40F6-8161-4516F34A759C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de09776702927f0271cc650f9a070750b3469813","datavalue":{"value":{"entity-type":"item","numeric-id":6260274,"id":"Q6260274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$E296B659-1545-4F50-86C8-5BEF9B2D22E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce003f8c4fdf6c4df852b61402da82644cfd3979","datavalue":{"value":{"entity-type":"item","numeric-id":1035674,"id":"Q1035674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$952687DB-4902-43D8-A9D8-6879480E7E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e99b856e6f4c809e04ac4e411e49f8194de007d","datavalue":{"value":{"entity-type":"item","numeric-id":385370,"id":"Q385370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$F998B6E9-4A59-4892-B209-E3E97C5C3519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d62d1b98a8e47330bd8d09b4c364147d7b3d1f6","datavalue":{"value":{"entity-type":"item","numeric-id":168084,"id":"Q168084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$9A1C1AB3-9FAE-4F03-AC52-457ED0C260DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24e52d2986e0fdf75325832e7ee5841b8c1c8058","datavalue":{"value":{"entity-type":"item","numeric-id":4218183,"id":"Q4218183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q328681$35CA6487-C37E-46EC-937F-5F453CD32BD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27830086f244deb1ff45b5df3f106d34997d26b3","datavalue":{"value":{"entity-type":"item","numeric-id":3188832,"id":"Q3188832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd885b8e1773d84a3c16bd121327d85032187437","datavalue":{"value":{"amount":"+0.9117107391357422","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":"Q328681$B0A84B97-F126-45E3-BBA2-9CE514C0F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cec44c384dd03a4271a0438d49d3f15a1a40c1","datavalue":{"value":{"entity-type":"item","numeric-id":3452559,"id":"Q3452559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b76b327b8d93c05d499507fdd1c62601477e927","datavalue":{"value":{"amount":"+0.8904710412025452","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":"Q328681$C13745D8-49EF-443C-AAD9-5A69E2435599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6434c83c3668b750a2420b1c5c1fbacbc0eb27f9","datavalue":{"value":{"entity-type":"item","numeric-id":5363761,"id":"Q5363761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2594fda6715576132422b3d0496f3fd18793c9","datavalue":{"value":{"amount":"+0.8667060732841492","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":"Q328681$AF2C439A-57F2-4044-9994-9AF91260922A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42774b1ae8c57febb24c804d844dbc5dc0041c56","datavalue":{"value":{"entity-type":"item","numeric-id":2938473,"id":"Q2938473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c815c8ec9c442d3e436eaad880057e427f09862","datavalue":{"value":{"amount":"+0.8586689829826355","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":"Q328681$96956ED3-9276-44AF-858C-A5921F115FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34891d813d8fee0bbf49f8e1baecd244c644106","datavalue":{"value":{"entity-type":"item","numeric-id":5232784,"id":"Q5232784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b6729f6f617dc515d0742c22c82f17b7f8231a","datavalue":{"value":{"amount":"+0.8317927122116089","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":"Q328681$9A14C448-6BB7-4B24-80C4-F5FB863FD41F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for the workflow satisfiability problem engineered for counting constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_the_workflow_satisfiability_problem_engineered_for_counting_constraints"}}}}}