{"entities":{"Q1922337":{"pageid":1933079,"ns":120,"title":"Item:Q1922337","lastrevid":78101744,"modified":"2026-05-06T10:47:15Z","type":"item","id":"Q1922337","labels":{"en":{"language":"en","value":"Synthesis of a nondeterministic automaton from its logical specification. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 921653"}},"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":"Q1922337$9375E696-800C-44C7-BE0D-16A53DDEED32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d91c41a7210acf7be5f452072bd03ad789732b15","datavalue":{"value":{"text":"Synthesis of a nondeterministic automaton from its logical specification. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922337$88C6AB62-9A61-42BD-A1BC-C9D784D7593F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f93ea1ba71451e33bc17dfc589f90e0ff3813713","datavalue":{"value":"0856.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922337$40DCD87E-A495-41A2-9DFA-8B7924EB1537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6795f3022d8eb1bfb8d03d05315a1e54642b3dcf","datavalue":{"value":"10.1007/BF02366311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922337$8B53794C-918B-42E7-ABDB-98C9EF631A9F","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":"Q1922337$FF1649F9-3BC3-42E4-99DC-A591C5A7B522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0a540be7c2b44ff860d37a7e59d2a0b3a500416","datavalue":{"value":{"time":"+1996-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922337$D89B5AF2-8B89-4A16-8E44-9CFE6948605C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922337$2F593B5B-5859-4443-8468-075F182CE357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922337$60F588DC-D6B0-43C2-A84F-BFF9FA19D6CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"275a1dd992ae806dd6109adbd5c56674a802ea2d","datavalue":{"value":"921653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922337$202C84F8-9256-4C7C-88C9-16AEFC810F14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa2b9a52187f126e91d4f8c67c57b7094d149b4","datavalue":{"value":"automaton synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922337$5B5B0F0F-1C7D-4E34-A64D-DC4433617376","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":"Q1922337$2FE417AC-7B33-4D3A-965A-F866A4CDD84C","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":"Q1922337$A60814E4-2D79-405B-B291-11B2FAD4110F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b9cd2a87b17ce925374773905a0ce1698e112d","datavalue":{"value":{"entity-type":"item","numeric-id":5541343,"id":"Q5541343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922337$0DBFBFEB-5FAC-4816-80BD-7C652A61701B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedbdb1d2f8b9693f9b3605b7afaf9aae39c463d","datavalue":{"value":{"entity-type":"item","numeric-id":1816006,"id":"Q1816006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763e7b2b857cdee00b4ae922f7d6602ea9ee086f","datavalue":{"value":{"amount":"+0.8976340293884277","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":"Q1922337$7E6AC56E-A38A-4264-8E9E-393D356B3E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f616de11a3c5610269ca01dfa82032d1ecc3e18e","datavalue":{"value":{"entity-type":"item","numeric-id":464896,"id":"Q464896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763e7b2b857cdee00b4ae922f7d6602ea9ee086f","datavalue":{"value":{"amount":"+0.8976340293884277","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":"Q1922337$2483AED8-20D2-4624-8E69-525BB46742C4","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":"6dad02391d9ba12d2138916a80d0d43b037e93b2","datavalue":{"value":{"amount":"+0.8467719554901123","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":"Q1922337$AA667B8D-6B03-4EEC-8243-8B4F2C125008","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":"6dad02391d9ba12d2138916a80d0d43b037e93b2","datavalue":{"value":{"amount":"+0.8467719554901123","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":"Q1922337$7EEDC55C-1F7C-4A64-867E-FB96A3EEC484","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":"2373035545fdc92cd796753af14ecfc6a9e8a86d","datavalue":{"value":{"amount":"+0.843330979347229","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":"Q1922337$B196DB3C-D773-48AC-9C94-C3FA846EC77A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of a nondeterministic automaton from its logical specification. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_a_nondeterministic_automaton_from_its_logical_specification._I"}}}}}