{"entities":{"Q1905170":{"pageid":1915912,"ns":120,"title":"Item:Q1905170","lastrevid":73269414,"modified":"2026-04-14T15:13:12Z","type":"item","id":"Q1905170","labels":{"en":{"language":"en","value":"Automaton synthesis from a nonformal specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 830627"}},"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":"Q1905170$B5BEB69A-F974-444F-B750-820E06784803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e2bc2a0390c604a33026efede6e464155df352","datavalue":{"value":{"text":"Automaton synthesis from a nonformal specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905170$4F92CA26-727D-485B-886D-9DFEBA1EADE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6d81966fabe88eb5d86f858b8741ca1f9232242","datavalue":{"value":"0836.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905170$771168DC-4DE9-4D85-BB2E-8F5F60281306","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5a21f4fa9cb1b46c145d5c9ec2a32b02325f09","datavalue":{"value":"10.1007/BF02366559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905170$B2B037B8-6E2F-4E69-9466-6E8DAC8194D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cad620a9641d187f2b29351046b6c8c2327039","datavalue":{"value":{"entity-type":"item","numeric-id":1905169,"id":"Q1905169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905170$7F2C6C1D-7DB6-4C3F-BC2C-E1243293B927","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":"Q1905170$579900E9-B06F-4E21-B319-8E87B077C74E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23538f1860075d0767b907c88ed715c00085d18b","datavalue":{"value":{"time":"+1996-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905170$2A127BD8-28B6-440E-AD08-69BFE6CCEDF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905170$3925501E-AFF2-410C-AE9C-2DB1A1E534E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905170$27A30697-F71E-4F75-9C1D-3BD24C1ACA27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec375b0f27cd2a3637a14e75241c0d37624b128c","datavalue":{"value":"830627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905170$305B66C8-506D-4AB0-9350-42746FBFF55E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea003b6bd81d994d3e3efa2769bd73d320c6c","datavalue":{"value":"Huffman method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905170$464E3675-C93E-42B9-AE79-32B2115F27DD","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":"Q1905170$B4CEB98E-6126-45F8-BDB0-3AB2D633B90E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905170$96E7A37E-5AB8-4424-B08C-14F844987731","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bfa8c9ebdf628a628c6aac22687fa2aacc32238","datavalue":{"value":"https://doi.org/10.1007/bf02366559","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905170$F619AF56-8C46-4824-9392-41231B724E53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b16aaa365e00510f74d6c9c1cd8c52fb624fbd7c","datavalue":{"value":"W2048372204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905170$284088DF-DEED-4974-9EB9-C7D9CD25A8B0","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":"29ddc9db36aca30f71176076ec1a22a7a1009aaa","datavalue":{"value":{"amount":"+0.7959184646606445","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":"Q1905170$BA719CC7-2624-48AB-BC5B-816913C6AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437cf940a43eeae9bcac7eb6eb1379d45b0f36f4","datavalue":{"value":{"entity-type":"item","numeric-id":3976966,"id":"Q3976966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf1ba52430ad8581af1851f7c8c846ec7dae276","datavalue":{"value":{"amount":"+0.7949963212013245","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":"Q1905170$2D9EED5D-E0FF-4459-9680-80D2D212EB91","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":"04e8d2b7fbb4cc31885d188f7c41c08f46d5f52b","datavalue":{"value":{"amount":"+0.781359076499939","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":"Q1905170$B6E36699-F204-4D06-BC7F-06A761064D0A","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":"1b0a62f6a4df85847b5aff46cf331c49204f3043","datavalue":{"value":{"amount":"+0.7798625826835632","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":"Q1905170$BA69E80E-C44F-417D-AF7B-23F31B5F423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764fe60bc9e13bd78710079d7a9492478a26ba28","datavalue":{"value":{"entity-type":"item","numeric-id":3809280,"id":"Q3809280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0dce35e461f3ee266bb290b93a87379b1941dc","datavalue":{"value":{"amount":"+0.753826379776001","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":"Q1905170$C3F600C8-5179-4F5C-984D-314D5C425FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automaton synthesis from a nonformal specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automaton_synthesis_from_a_nonformal_specification"}}}}}