{"entities":{"Q3612935":{"pageid":5642841,"ns":120,"title":"Item:Q3612935","lastrevid":50602271,"modified":"2026-01-14T13:03:54Z","type":"item","id":"Q3612935","labels":{"en":{"language":"en","value":"Combining Decomposition and Unfolding for STG Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527715"}},"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":"Q3612935$2BE9A50A-C2BE-40B3-BB99-32D1B5E5CD2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0c0f724fd7f2c3a7c3604202a86c0b929ef665a","datavalue":{"value":{"text":"Combining Decomposition and Unfolding for STG Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612935$F96B5864-B0D9-4C86-BBC9-9C08EB2C6B14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf96de0801dfe9602fa66b0ea03a98c01f766de","datavalue":{"value":"1226.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612935$19860087-2D03-44D8-926E-815D2E4093C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17e777e9a40a1acb0dc2ffb16f9079d24da04ec8","datavalue":{"value":"10.1007/978-3-540-73094-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612935$AA9FA93D-E047-41FC-BD43-38B9A189DB05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8e94683a4b6c58358f4dd8e3a0aa19dc8c360e","datavalue":{"value":{"entity-type":"item","numeric-id":403019,"id":"Q403019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612935$9ABC7376-11D8-4DC6-9D58-AB04AD8CAA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28cea4a1d5fc43743aad59285c43653fbbea6d89","datavalue":{"value":{"entity-type":"item","numeric-id":1031865,"id":"Q1031865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612935$4AED79EE-6FAE-45F8-BFEE-D75979F3C8FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17b985b5307bae856705b80764fa68b931305ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3612924,"id":"Q3612924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612935$BE119B5F-E028-4436-91E4-3E564F4C0E7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612935$DB016628-9CE4-499E-AD38-5861583F3CA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba01cbb117c72c7e1b293fd3ab610a73a7004d97","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/464","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612935$68794B28-00A9-49E9-837B-993F3B97C6C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612935$B79C808E-5880-4F0A-AFA8-4690B5C602A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e3944a5f93c75c19178be9c10cc6f4b7e3ca013","datavalue":{"value":"5527715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612935$87552207-429A-46BF-85F0-E0A01C18E1A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9eb403beccd74acc4b251df31ba398fe55f4688","datavalue":{"value":"asynchronous circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612935$D6943998-7B1E-415F-9BFF-0A1733D524E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884f56f97287a90940a3e90b909c2eeb40f35071","datavalue":{"value":"STG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612935$6063766F-5064-44D9-BA42-F8FDABC329AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612935$9CC88580-CCDE-4A68-918F-63C22FDCD5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612935$6AB4628B-2F48-4AD4-8B3E-5F92F624DC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612935$5464A5EE-2F79-4CC3-A6B7-E2207E89346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b56d664759feaf523f20560e46308abc4f86bdd","datavalue":{"value":"state space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612935$F6B64961-962C-41FE-BDC0-A7D0369B21A9","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":"Q3612935$9F0EAEFE-F902-4E08-91B4-FCEAE0181CB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20a58f48629dfa22381c3e56e6d371a41a01452f","datavalue":{"value":"W87105067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612935$7AD0DD00-A2D3-45AC-8CB8-5A736C328CCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f799acaaea9d527807eaf285f14f87ad7d87a4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1031867,"id":"Q1031867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e50666bb1030b486ce2ac0147203d0ea606822d","datavalue":{"value":{"amount":"+0.9394092559814452","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":"Q3612935$8FBB22D7-9811-4E42-B9AB-78F0AED0280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0ae2cd08d8b178b88590e86f9f81778477bd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5480167,"id":"Q5480167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354a8a937fe1a049099745f17a85e7717f87b052","datavalue":{"value":{"amount":"+0.8267411589622498","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":"Q3612935$FCC8C1BC-D947-458E-A9FA-3441C82B50A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1cbfc2fa8fb60759721e3d2670a8285feef2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4415268,"id":"Q4415268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3320ad60e324d789137e7683c8c04a6704922f","datavalue":{"value":{"amount":"+0.8057262301445007","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":"Q3612935$A6AC4704-A9DB-4963-8DF8-4DBA18305027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82c7d7c405a3e1951ce8c6569b85a57dd3d390d","datavalue":{"value":{"entity-type":"item","numeric-id":5705893,"id":"Q5705893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84506da5ff9160efd796b788c907f66d148a6002","datavalue":{"value":{"amount":"+0.7944856286048889","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":"Q3612935$48C9E258-0451-464A-BA2D-9FD545A25D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37a417ac0f7653ee79e8520a0570faefb543e34","datavalue":{"value":{"entity-type":"item","numeric-id":2464945,"id":"Q2464945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0824206dfa89da49a59d9abf2c21a9d701c639","datavalue":{"value":{"amount":"+0.7940107583999634","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":"Q3612935$37D362E2-A110-44ED-B511-B765DC17C57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612935"}}}}}