{"entities":{"Q2926642":{"pageid":2937362,"ns":120,"title":"Item:Q2926642","lastrevid":52122305,"modified":"2026-01-20T23:51:12Z","type":"item","id":"Q2926642","labels":{"en":{"language":"en","value":"Towards efficient parameterized synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363630"}},"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":"Q2926642$48D2789A-484B-4238-B0FA-5AB08E76F5DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b6183d7631053f8114fe1f8a6b378b9cce7cef4","datavalue":{"value":{"text":"Towards Efficient Parameterized Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926642$51177DE4-6968-4CE9-8574-168B614A1304","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed4c4669eb09bc4a320a1ec1ee086a1616fdaca5","datavalue":{"value":"1426.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926642$EC50BD25-2ECD-4C12-81FC-2C6BE958C36F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74804a75b7da5b36f841c2ce80cee39056ae8be4","datavalue":{"value":"10.1007/978-3-642-35873-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926642$3AEC0431-32B2-4431-83E8-81D90269D7B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d343b46ad0ad98ffe679ec47c4c8f1396503fbb2","datavalue":{"value":{"entity-type":"item","numeric-id":2164232,"id":"Q2164232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926642$866115E5-3C1C-48AC-A816-F763955D32CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926642$CA7B162B-B45C-4811-9F97-A8A967F161BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926642$1BB04C7D-413D-47EE-BAD4-8921E242E954","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926642$116F8C5D-79B6-432D-98B1-1BEF2D2538FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926642$05878E21-714C-49E1-B089-ABA1C4274562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926642$830BF805-88A4-44C0-A25A-FC5B238E2AED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"202138e552449e89b679cd3dfa1988fc574aa171","datavalue":{"value":"6363630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926642$8D9D23F4-8CDD-4A21-9B3C-EAFD4C8B9DC4","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":"Q2926642$D606048C-3D6E-4000-A99E-824EE8CC6EBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1636294027b61da1dad39008c5383a0658c126d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35873-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926642$D625D2A3-D744-4C97-A9F6-F59CB20A758E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcc41459ec51960e6a39cc168efffc2441df0072","datavalue":{"value":"W2195048259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926642$8ABC043D-A5BD-4936-B07C-0FDF0602C732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deafc2c712f7a0987b5378bb41eadefc977083e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9958a61d60844fc66c6c8ffa91a1bc173c6f74ad","datavalue":{"value":{"amount":"+0.9121201634407043","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":"Q2926642$EDACC9D3-6AC6-4A8C-9F37-09AF1B4FE09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37474885ca9d99d70337c353791a0088ed4cd98","datavalue":{"value":{"amount":"+0.9088155627250672","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":"Q2926642$2DE841EB-3D60-4D6D-800B-16B6EE622D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76997d519f32b54cbe96eb309be9412deae0e99e","datavalue":{"value":{"entity-type":"item","numeric-id":2038085,"id":"Q2038085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5149abfa2475596c8b11f3cc5010ddfe8bec2bd7","datavalue":{"value":{"amount":"+0.780921995639801","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":"Q2926642$5BBD1E9F-6AC6-47C3-BF7C-6300BFEBE293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa48d0c472ce49b18d59ef63f604850f01a212a","datavalue":{"value":{"entity-type":"item","numeric-id":2281626,"id":"Q2281626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4074e78e6e589fe45dc289e42270efcf9e42f5f2","datavalue":{"value":{"amount":"+0.7662114500999451","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":"Q2926642$9138866A-671E-4009-A7A5-BCB782092B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe26b08379d103fcf1f3fde0ef880390778b35c","datavalue":{"value":{"entity-type":"item","numeric-id":1784965,"id":"Q1784965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88479954a1a4543f89066ff1936cf58ebf7b9662","datavalue":{"value":{"amount":"+0.76396644115448","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":"Q2926642$43E455E7-880D-4F23-8543-77C820D3BCE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2926642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2926642"}}}}}