{"entities":{"Q6560924":{"pageid":14172079,"ns":120,"title":"Item:Q6560924","lastrevid":99881570,"modified":"2026-06-05T20:55:15Z","type":"item","id":"Q6560924","labels":{"en":{"language":"en","value":"A generic solution to register-bounded synthesis with an application to discrete orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870332"}},"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":"Q6560924$6F63DC8F-1DE4-4944-A787-97A2BBD0F800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ca7d4a98215ace342510e1865261f616a3b5cf4","datavalue":{"value":{"text":"A generic solution to register-bounded synthesis with an application to discrete orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560924$62D6942C-4693-4675-AF66-3612E34D2F8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f20dcf6d7a6582faf23d532c21a25d4059d249","datavalue":{"value":{"entity-type":"item","numeric-id":2200822,"id":"Q2200822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560924$5CE85512-A560-4832-A095-258CB4D3D434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560924$F97CD6F3-8864-4786-B6AB-5B9E2BA01026","rank":"normal"},{"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":"Q6560924$CF615D4E-FD59-4614-A30C-AA908562BBC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560924$38B6AA2F-7D8A-4B11-94D9-16AAD4D2D4BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560924$7BDDFBA0-D05A-4FCE-81B7-7BF461F27077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560924$5BEB0588-B768-479E-B811-E9223A9B9346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c181bca7c9e57d29c9ca6cb8368eb786f4390feb","datavalue":{"value":"7870332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560924$FD8EE482-1E09-44B0-BA43-037B56AB227D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560924$2F0EC00E-0840-4845-AAD9-86CADB76FC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560924$12770893-C67E-4B79-9B04-2FC631551387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560924$2FCCC25A-C57C-4AFC-9521-6B5453717D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b8b50df173ad4876f24f6b9f1f753e1d4718d5","datavalue":{"value":"ordered data domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560924$6EB25734-A816-489A-B73A-7D42D1A45FDF","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":"Q6560924$4CDCA836-093E-4CA3-8260-FF340B44D86D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b2b43c39539e2c02a33a7f13b7c98e13dbf0413","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560924$86C4E3E7-B9F7-4F3F-8323-612286E1F444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3620b8992fc501a1afaddecf6403c3ae15be4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5875386,"id":"Q5875386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e2feb11c8fdae6f519c81c08c1dc520a2036c3","datavalue":{"value":{"amount":"+0.8482071757316589","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":"Q6560924$F1B42B74-6DC1-42D3-9187-CE1CE75B06A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76873cf6c412d0c30ddc41128002ee5caf5d6b29","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8af5ae531029752c9654b474ae06d6a0a3ea6c","datavalue":{"value":{"amount":"+0.8441566824913025","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":"Q6560924$D9C0CB7F-5D4B-4C79-8250-DE476BD153B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825a849e04d96eb1cf23e21aaf6043dfb755a1ff","datavalue":{"value":{"entity-type":"item","numeric-id":6151760,"id":"Q6151760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d8c0df0cbf6eca982a4a5e20e7adb2ba8fb148","datavalue":{"value":{"amount":"+0.8070880174636841","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":"Q6560924$FB9CBD3C-308C-4C6A-9911-7636EB5A8BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ae1c0f5785c71d17f86633fc5976110c44621e","datavalue":{"value":{"entity-type":"item","numeric-id":5875385,"id":"Q5875385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbdcbf876562797a7c59466e4f6913c9cf88d8d","datavalue":{"value":{"amount":"+0.7908585071563721","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":"Q6560924$8ACE1BB6-5B90-4642-910D-2C6E806B5301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7664ea195b09da5412a1afb3ca2159dbcd6316","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b8fb514d09cde3722068237ffd3a51576628b9","datavalue":{"value":{"amount":"+0.7815940380096436","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":"Q6560924$8477475F-AA05-4DAA-8651-CCC4CD9B72AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generic solution to register-bounded synthesis with an application to discrete orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generic_solution_to_register-bounded_synthesis_with_an_application_to_discrete_orders"}}}}}