{"entities":{"Q465906":{"pageid":467673,"ns":120,"title":"Item:Q465906","lastrevid":62109696,"modified":"2026-04-11T03:49:30Z","type":"item","id":"Q465906","labels":{"en":{"language":"en","value":"Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \\(L^*\\) to the language \\(L\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361176"}},"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":"Q465906$8A2EFB85-A04F-4751-AA7E-DD434ACA82FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"349544d29d3b182d2dabd596cdfeb209f78d014e","datavalue":{"value":{"text":"Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \\(L^*\\) to the language \\(L\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q465906$66EC835C-E66E-43FF-ABB3-A94057DC0E17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02d0a5dfa4bd3c3d4a115584ed0e5e1d895816cd","datavalue":{"value":"1298.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$05424E9E-5B49-4C44-98C2-2AC5F88B1C0A","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":"Q465906$3B7D8111-7F57-4912-BC23-454F1B04CF9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fb6627267bf5062177e95d53922b6e4db33a25","datavalue":{"value":{"time":"+2014-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q465906$56237A26-B9F5-4BE7-85ED-3179EFB54B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$B8673F64-2072-46B1-B28C-888B97F14896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$072161B3-DF2A-47A4-9DB2-2B7AADCD80F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$C819BAE7-3272-479A-BB2F-28D833A3578D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"596c5a321e96d6584607f970da3866a9b03109f5","datavalue":{"value":"6361176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$8B75F3B3-0C9A-4828-9E7B-3B5A2DA83C1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d7215d2361c9c89fdfe54cefecd15ed3e8ae96","datavalue":{"value":"specification language \\(L^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q465906$BB55C6AA-7047-49CD-890A-BEF4AC550C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4609ff403451717ddecbd2d95b2998d05af50b","datavalue":{"value":"\\(\\exists\\)-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q465906$21D1F62B-0E93-4C6B-972A-3EFFE94AE473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaff3931ae2cf72f8197a85e799d3d1a26eba63","datavalue":{"value":"left-infinite word","type":"string"},"datatype":"string"},"type":"statement","id":"Q465906$946F6315-47A2-413C-86E0-6AB04A7A008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q465906$F3F4978F-2295-4347-A945-92A842CE84FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7718541da895f35bc08fc6770f87322e709b7987","datavalue":{"value":"synthesis of finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q465906$012AC4E2-2CB9-4507-9FE0-2E7033937FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef369efd353fdf3c3be59a0ebb5fd07c9ebc774a","datavalue":{"value":"fictitious state","type":"string"},"datatype":"string"},"type":"statement","id":"Q465906$9816974D-ECC9-488E-833A-F90063D7E8FB","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":"Q465906$F5EAD07A-5A2A-44A7-B8A2-FCEF7CB35CD9","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":"Q465906$61FA6841-2871-4835-8B98-B5AF461E6A7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2053cdafbdf59e9a1df07a2118f13b27def95f33","datavalue":{"value":"https://doi.org/10.1007/s10559-013-9478-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q465906$30783263-9D62-4CF4-BFB3-906C87E7931A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9c46143d388ad53df96b616a49645837781aff1","datavalue":{"value":"W2071915699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$C64B88DE-1D0E-4A3C-BB4B-5E958370A934","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"577dbf13f89c10b0c88989570c2cc91becfcfdda","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465906$DD5959FD-8A92-4615-BA8A-80883DCAB7CD","rank":"normal"},{"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":"Q465906$7C58B210-3558-4D54-8267-44EEB9DB7F85","rank":"normal"},{"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":"Q465906$8D334B91-15FD-4CB4-A3AD-FAAA4DB613E8","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":"Q465906$AB0D2885-BC31-4533-9241-F0489A5797BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920ae9c1df2f4c5124f15bdee5ec5fcf483cf47b","datavalue":{"value":{"entity-type":"item","numeric-id":1280979,"id":"Q1280979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465906$B2524F38-0A6C-4B28-B2D3-E9C7C7AF9E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d17410b6faed96fd9dd8970cfc5bb12173a64b","datavalue":{"value":{"entity-type":"item","numeric-id":2452755,"id":"Q2452755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465906$255B306B-61E7-40DA-8B09-24D0FB24F37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b5bd21b2b72d67501d5c133782c7cd0eeab849","datavalue":{"value":{"entity-type":"item","numeric-id":1956960,"id":"Q1956960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465906$BEEF07ED-8742-471E-A144-F6EAF0DEA2B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beffe2f1d10c91cee56761f1056c0342a78fe125","datavalue":{"value":"10.1007/S10559-013-9478-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465906$C13A830A-0FA6-4800-8BFB-C83778815C4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0605295cd4e50969b8340dd24ee32a12f6ef571","datavalue":{"value":{"entity-type":"item","numeric-id":2287411,"id":"Q2287411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5767ba8250bd8e68eee7311b67734b0a7460f4a","datavalue":{"value":{"amount":"+0.8425763845443726","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":"Q465906$DC033BE0-5028-4FF3-A41C-9CED1E08CFF8","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":"099f1889621c612a0f6def36ad5dc536008b09c8","datavalue":{"value":{"amount":"+0.8299434781074524","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":"Q465906$BC3C6DFC-F0D7-4A93-8420-E60795C5CD6D","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":"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":"Q465906$81458BE7-0B39-4038-9E71-20B5F423BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd192cb611f41fb09f6fd524e70b76dbabb31bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2452755,"id":"Q2452755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2f9528ab62e88ae6e485510ed0bc8fb97cd637","datavalue":{"value":{"amount":"+0.8123876452445984","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":"Q465906$DBDAA218-8A27-4480-A03E-74CEAC6558E2","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":"3c698175c614d4dc9c132697e81424a13bddb723","datavalue":{"value":{"amount":"+0.7721974849700928","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":"Q465906$4C731A7E-1044-4797-BF45-2714C868B824","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \\(L^*\\) to the language \\(L\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fictitiousness_analysis_of_states_of_a_finite-state_machine_synthesized_from_its_specification_transformed_from_the_language_%5C(L%5E*%5C)_to_the_language_%5C(L%5C)"}}}}}