{"entities":{"Q1280979":{"pageid":1291729,"ns":120,"title":"Item:Q1280979","lastrevid":46575594,"modified":"2025-12-25T01:43:34Z","type":"item","id":"Q1280979","labels":{"en":{"language":"en","value":"Synthesis of a procedural representation of an automaton specified in the logical language \\({\\mathfrak L}^*\\). II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1263013"}},"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":"Q1280979$9407A22E-92D9-4293-98AF-274A93805D1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03d99c82adfb6153214a15caf74bf7242a67f40d","datavalue":{"value":{"text":"Synthesis of a procedural representation of an automaton specified in the logical language \\({\\mathfrak L}^*\\). II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280979$F5E6AC13-7CF7-4D42-9483-B128A9EB8E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0fcefc5d27457f4542b3ea16a87b9db3a83f30d","datavalue":{"value":"0919.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280979$01C77283-2D6D-4590-9CA5-16398CC5B948","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b61b831b2e28e647a3ef5f082cb78856cea3b4c","datavalue":{"value":"10.1007/BF02733224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280979$96E25EDE-BDA0-4FC5-BDC0-DC67A37FA204","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":"Q1280979$42775BDB-562B-4641-B1D1-B8B38E5FE861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280979$F723BC3B-56E4-40FF-9E63-1C91F62283A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280979$0D355EA1-FC10-4C1E-8677-2FD46F759957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280979$D476B765-78BE-4118-A78D-4D6EFC8ACBDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c360ea2ec6b3dfa23c168240a22d4e1fd8a3f6e4","datavalue":{"value":"1263013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280979$0C50ACA9-6C4D-4269-AD63-669082D41FFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f25c4a863fa88b83032529cb2fa89cfb08acafd","datavalue":{"value":"\\(n\\)-state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280979$30F24239-1370-4F41-A630-9E6F4E4A96FF","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":"Q1280979$26E03344-A0DB-4BC8-A394-E59C50FBA6F1","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":"Q1280979$6DA3DEC6-BBF5-44CC-A0BF-52ED78057FB2","rank":"normal"}],"P223":[{"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":"Q1280979$E99AB3F4-D049-46BB-AE53-042825D4CB4F","rank":"normal"},{"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":"Q1280979$AE844D88-5A88-4C5A-881C-A3F33BB2E2EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f16b7f890059439cb9c5ef16b7974ced6221d76","datavalue":{"value":"https://doi.org/10.1007/bf02733224","type":"string"},"datatype":"url"},"type":"statement","id":"Q1280979$42AEA243-3CD0-439C-A57D-ECB4C3EE38CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6db0cfbc4dd9d5459746bc42c496d4b5de5118dd","datavalue":{"value":"W3162609728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280979$32D317BF-C1F2-4E31-BCF5-124A4C752219","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":"ccf5daad08803863c414e402267795d72e39e04a","datavalue":{"value":{"amount":"+0.836342990398407","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":"Q1280979$1AC63255-F076-47E4-8C79-5C8AE596644E","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":"4108a9a0bc4077f41e7fc95dbc1fc8bb2747f7fc","datavalue":{"value":{"amount":"+0.8326674103736877","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":"Q1280979$AEE0D6F4-DED1-4569-8F07-DE9FA3B7B5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783ec81882c221c08696f25b2d5c48773eded02d","datavalue":{"value":{"entity-type":"item","numeric-id":465906,"id":"Q465906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9e04d4688e51130cca763445a88c206f29624e","datavalue":{"value":{"amount":"+0.829580545425415","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":"Q1280979$5C974ED3-08D5-403A-85E6-E30E48566267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1280979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1280979"}}}}}