{"entities":{"Q464896":{"pageid":466663,"ns":120,"title":"Item:Q464896","lastrevid":52119935,"modified":"2026-01-20T23:43:29Z","type":"item","id":"Q464896","labels":{"en":{"language":"en","value":"Improved method of synthesis of an automaton from its specification in the language \\(L\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6362565"}},"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":"Q464896$A43F0F66-2C88-4CCD-AC7C-19C431AB5C5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5274ffccf5be1e5a6a040f84e566428fcdee829","datavalue":{"value":{"text":"Improved method of synthesis of an automaton from its specification in the language \\(L\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q464896$7A95BD12-FF4C-4FA3-B3D0-80DC939B07BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d1786f718773d8324a1fe4e3f090a860c17e6d6","datavalue":{"value":"1298.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464896$3DB493EB-21EB-4D14-9852-FEA72AE010AF","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":"Q464896$A175B431-5F45-48DF-B412-C7BADDE7A238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62774f41986194a073c70bf87650bc9fc27a2473","datavalue":{"value":{"time":"+2014-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q464896$29DB6ABD-1761-4143-906D-F95547ECDE3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464896$5AA505DC-CDC4-4E64-B807-B0E0CEB6F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464896$DF9F8EC4-1055-4A34-9AC2-823D04DC5CA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae64f80e2e37a9b12b562b7971683252ce114b18","datavalue":{"value":"6362565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464896$721FF95D-2DC3-431A-B619-C4FAE7063279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3de43f4aa2a81ea6e47068c643d4f02d676b3cb","datavalue":{"value":"synthesis of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q464896$1FE1C86F-F906-4100-9BB6-BD36F83D99D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e9f1a8544ca7679e1ec9c006edadea0c9deec8","datavalue":{"value":"disjunctive form","type":"string"},"datatype":"string"},"type":"statement","id":"Q464896$DDC75DC2-4647-4602-A6D0-E2C7D35A1DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q464896$0A250E5E-7778-4580-8FBE-F39CB49F7394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61db47b20ad18edd48e7d6dcd12fc22414a1a02a","datavalue":{"value":"orthogonalization of disjunctive forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q464896$553F3B14-D542-42FF-9033-40AB173708E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae25b944cd6a434be322baa86be950adff3d2747","datavalue":{"value":"splitting factor","type":"string"},"datatype":"string"},"type":"statement","id":"Q464896$217F02A9-1EDA-4E9E-AFDA-9EC4DEB8E021","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":"Q464896$DC09138C-063A-4D36-8499-1F423121E00A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d729407ed04d09103ed94650b3d6fea69e92f3c","datavalue":{"value":"https://doi.org/10.1007/s10559-011-9316-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q464896$02FC2ABD-DA0E-45B7-BE7A-135D0E3BD3B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae2d8bf089b50fed6c68f5e4d85137f7b4bf2d72","datavalue":{"value":"W2004495646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464896$D09000A3-3EB6-44BB-9886-3D5292B09F93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe682707527e51d1912b797be115404652a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1895045,"id":"Q1895045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464896$CF623EA1-7115-423E-BD34-A26397EDD39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebc4e7f674c996076637f93e48613f15308ebeb","datavalue":{"value":{"entity-type":"item","numeric-id":1280907,"id":"Q1280907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464896$EE0FEC0E-4119-4645-904D-BB3C35C9C9A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31211e8ca9d2a4b09994e32625e5e39ec08b6d6f","datavalue":{"value":"10.1007/S10559-011-9316-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464896$8E5BC3D0-AD6C-4FC8-BE30-E779A05A719B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a91a95415083bdeda149dc723e4834056066055","datavalue":{"value":{"entity-type":"item","numeric-id":1068968,"id":"Q1068968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464896$859625E4-A418-4840-B1A0-0CC3EB048EB9","rank":"normal"},{"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":"Q464896$C4CA2719-3DAC-4518-B892-E69215494362","rank":"normal"}],"P1643":[{"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":"5e2f95f0317dfc60c6fed147e5535cdd3e99e8dc","datavalue":{"value":{"amount":"+0.8604283928871155","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":"Q464896$E1F1375C-E368-49A4-9712-C64D72DEF508","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":"33d617590d187cf76d9aa670ee0ca43bc465d561","datavalue":{"value":{"amount":"+0.8227550983428955","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":"Q464896$9EAA9E63-E9C9-4529-A0CD-A6687FC26966","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":"33d617590d187cf76d9aa670ee0ca43bc465d561","datavalue":{"value":{"amount":"+0.8227550983428955","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":"Q464896$6FA7A42F-5788-4041-8465-02BA754B0550","rank":"normal"},{"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":"5fe12c1b1ac5e5d6f24313502b7a47e039b2b40a","datavalue":{"value":{"amount":"+0.8146795630455017","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":"Q464896$76DCC6B1-AF0F-45FC-8537-5CAAE8602624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4b1e86637c5c86900ae23da31def7ad8b417be","datavalue":{"value":{"entity-type":"item","numeric-id":1616245,"id":"Q1616245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce0834734d7474ba35bec9fba78700e834a1e46","datavalue":{"value":{"amount":"+0.8142309784889221","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":"Q464896$0AA5AB62-4E13-473D-A8A8-E11885481386","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:464896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:464896"}}}}}