{"entities":{"Q1816006":{"pageid":1826748,"ns":120,"title":"Item:Q1816006","lastrevid":70903404,"modified":"2026-04-13T18:07:40Z","type":"item","id":"Q1816006","labels":{"en":{"language":"en","value":"Synthesis of a nondeterministic automaton from its logical specification. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 948634"}},"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":"Q1816006$8636B259-BAE4-4F0B-BD78-5F3493773692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"529243d3779144b9eeb854ceb8c33c0d367d9173","datavalue":{"value":{"text":"Synthesis of a nondeterministic automaton from its logical specification. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816006$711C5DCE-2034-4F4E-9186-8A0CDA70DD80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eafd35d62272789dfdbfc2b7b44b584f94a429f","datavalue":{"value":"0868.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816006$0686E918-6CF6-47D8-B612-FB835AAECCF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6270a0e5cd2f1755bacc5236b7035efcb8bed4","datavalue":{"value":"10.1007/BF02366616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816006$CE10E020-48FF-4605-BA22-686F437CC9F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816006$B87FABF0-EFF2-40E6-B2DF-66FC8950BF26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c21bb8a47afe006c5b61751ccc120a6e4c2d84b","datavalue":{"value":{"time":"+1996-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816006$A0FB95CC-3FEC-429A-9838-3D820E609819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816006$7B8DB6BB-FC29-4B8E-93C8-FA4EF34491D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"761518156fbcfff6b20733fb95419433a649074a","datavalue":{"value":"948634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816006$A9DF5C55-EA38-42DF-9E61-B784CF71ADCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b9a3e1959a93c527b3644a5bed18aec005391e","datavalue":{"value":"synthesis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816006$DE56E065-8DB4-44A6-8BA2-90D0EC174518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f7e052692a7b2491990490f04275d68e9cd1c5","datavalue":{"value":"\\(k\\)-transition domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816006$E0B370E6-B8F9-4FA0-9988-B8AB7D38FB91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816006$3F072AB6-5517-4379-BEBE-A5BB099F25F3","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":"Q1816006$CA72DF82-E55E-42EA-B174-ADD6D3759B32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a3fcfd95db7acefbfc7f98ee249f08e1d2e413","datavalue":{"value":{"entity-type":"item","numeric-id":1922337,"id":"Q1922337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816006$C7CF37DB-6FBD-4154-8610-30CB803873EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36155adb2d2abe3dee965446f2f034a21406ce","datavalue":{"value":{"entity-type":"item","numeric-id":1905143,"id":"Q1905143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816006$D0DD48C1-65CE-4439-B8FD-C1F5E46FB329","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1142d5c9f31fe7cc985ab2c8613a4f54ca54b1f","datavalue":{"value":"https://doi.org/10.1007/bf02366616","type":"string"},"datatype":"url"},"type":"statement","id":"Q1816006$34661B57-3686-4AA0-BB81-6F3FF71D0B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e55a999dbd631c73938f3871ef1556f503a69d41","datavalue":{"value":"W4241120145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816006$1FBCA11E-2240-4F16-9863-50F5D01CB344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a2e4040f15fac9ba43303c781dd015c92a8aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1922337,"id":"Q1922337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d39ddb29cedfe218095bd437cac081fd3e7917","datavalue":{"value":{"amount":"+0.98120964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$561BD6B8-A236-4EF6-84D3-F66AA008013C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafcd81eaeedfad7d00eb6d142dc7be27df15e37","datavalue":{"value":{"entity-type":"item","numeric-id":1905170,"id":"Q1905170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e1e35da784cc3ee8267746db0e11a1090f54be","datavalue":{"value":{"amount":"+0.91148454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$ECFBA75E-7A0A-4A5B-BDF8-11D12016A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77368e874457c55f5c48a5973ca607b2bf095e83","datavalue":{"value":{"entity-type":"item","numeric-id":1280979,"id":"Q1280979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8c30824c05520f2a57394859eccb1f3b5a3d15","datavalue":{"value":{"amount":"+0.9009827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$A3834E58-E68A-4349-8138-6F3873655318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0fd8bd019a49b33e66a4557711c1aaff9ddacde","datavalue":{"value":{"entity-type":"item","numeric-id":5536642,"id":"Q5536642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac7a46ac3eb57604e3ca14c577fec4bf105b371","datavalue":{"value":{"amount":"+0.8980705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$CE098B1D-9F3E-4DE1-B971-60E788A41B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81b34f94dba38d3509e273a16a87718db3807de","datavalue":{"value":{"entity-type":"item","numeric-id":5942109,"id":"Q5942109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e4da865f75eda09f7ec032a5c2dff805a550f6","datavalue":{"value":{"amount":"+0.8905232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$FD638B5F-20FF-4BB1-9A91-CA36C7784E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc4d88409521836360905578bbb5faab017322","datavalue":{"value":{"entity-type":"item","numeric-id":1907766,"id":"Q1907766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b75a8703aea8bde770a8d00996b5ef2a4fe6d0","datavalue":{"value":{"amount":"+0.88241136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$FB12F071-4EC9-4F9A-A212-4FB2B087EA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f71d535bed8b60ee95dfdf72ae460d3ed2921b","datavalue":{"value":{"entity-type":"item","numeric-id":4288286,"id":"Q4288286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056ea9a3afc9fee4f2b316d4d7693c1cb19cb203","datavalue":{"value":{"amount":"+0.8820495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$E15331C6-227B-4CD6-BE65-C98E4E3B4DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d4d761e916559290cf9c477590f6214bdd0647","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c3d21eb558c746cfca552876ee442040605e33","datavalue":{"value":{"amount":"+0.8799523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$D0321A72-FEB0-49EE-BB98-8E61C26B08FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eabf1e4bb54ec3ffbbc2cfdd22f8f13bbca5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1280907,"id":"Q1280907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea4ff2dc0ba35905401628879aaa37522630cdf","datavalue":{"value":{"amount":"+0.8791412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$0FD1BEE6-A2F2-4CA3-AE52-CC6EEC8E3AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af252e8e12f7891c78f4ff11afd4fd76ea8bdc28","datavalue":{"value":{"entity-type":"item","numeric-id":3283892,"id":"Q3283892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48c43442153bbeae5b32ec4712437e6d533e702","datavalue":{"value":{"amount":"+0.8742421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1816006$1659451A-1380-418E-8D87-73A192515EE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of a nondeterministic automaton from its logical specification. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_a_nondeterministic_automaton_from_its_logical_specification._II"}}}}}