{"entities":{"Q1623146":{"pageid":1633886,"ns":120,"title":"Item:Q1623146","lastrevid":77917127,"modified":"2026-05-06T10:21:37Z","type":"item","id":"Q1623146","labels":{"en":{"language":"en","value":"Checking sequence generation for symbolic input/output FSMs by constraint solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983516"}},"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":"Q1623146$B3E31B64-05F6-4125-8F34-3130630806EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8da539afba69faa268ed0d321035ba30f47f2fc","datavalue":{"value":{"text":"Checking sequence generation for symbolic input/output FSMs by constraint solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1623146$13C786BC-684F-473F-9CE6-BC2DE9DD045F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9da53fb992fa4d9e3057eb3cfea404d78e38f06d","datavalue":{"value":"10.1007/978-3-030-02508-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623146$0F9DD47B-1112-4B93-9BD1-64F4E6553005","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e53255bd22b5553843b3b4c1a51d83b6732157f4","datavalue":{"value":{"entity-type":"item","numeric-id":1621571,"id":"Q1621571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623146$71EBB5E2-C9C3-4565-AAA6-723B512BDAFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1623146$E192B722-9FB8-4F05-97AC-E4998B521B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623146$93F6CF17-D741-4FA9-98B0-5EF1EBAFED81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"804c4809dfd996f558dcfa181a19e61216077a83","datavalue":{"value":"6983516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623146$AF3B4C0A-76E4-4738-8440-3AE39F94DF41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ca474f98277d31226ef390bf5e2c7f3c6d7e6","datavalue":{"value":"extended FSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623146$4B0CD9E1-5765-4B34-8C84-31B09B0B0855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3913ff5cd89c60b6fd5136e2b1315b497f948071","datavalue":{"value":"symbolic input/output FSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623146$593BD56B-9D31-458E-96FD-2261A9392D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d296fa7080f3171aea91103ceba48c5760784a1a","datavalue":{"value":"checking sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623146$586BFC04-BC6F-4CF5-86FF-28BF9A97517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e6ba74d16627b4ab1458b4df91bcfb3663daeb","datavalue":{"value":"fault modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623146$CB960109-B90E-4C0A-A26E-2EF323FFD1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d34714f77793805512ad857105cc08b42ce3a","datavalue":{"value":"fault detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623146$FCF5A8B4-F09C-4F8E-9B8A-47C58D3E47F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623146$ABDF54A6-B708-4AC6-ABF7-182985D1B7FA","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":"Q1623146$6B52204F-7B69-4848-B2DC-7EF8D626AE83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0be9c9593cf17336ab5ac14457c00ef3ce34cf9d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02508-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623146$9A9E8042-9235-4C7C-B8FA-DB50B6E31396","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4ef09757912ac164f990df7668cb6bffdfbdde7","datavalue":{"value":"W2896953452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623146$A84094E6-658F-4CF0-BC52-7B2E7861B8F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631076df81a4b7030f14b7df8084ffafdfb20f97","datavalue":{"value":{"entity-type":"item","numeric-id":2339596,"id":"Q2339596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428d6296f2ea34df446cb7b339996356f2eb4e13","datavalue":{"value":{"amount":"+0.7747388482093811","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":"Q1623146$E204A885-F4A1-42EA-90E7-A0F171BACA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ac12ce08a2bd24f304321baacc22fa885dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5423870,"id":"Q5423870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd675b06642ea59fdc9fb8b4ede18d3c0be9ce2a","datavalue":{"value":{"amount":"+0.7215558886528015","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":"Q1623146$692CC413-86A0-4B54-A1D8-5ABCDCB3FE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4eab450fdb3157623c892fa8d7cb2e6191846d","datavalue":{"value":{"entity-type":"item","numeric-id":2432224,"id":"Q2432224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f30a27dd45e2f0f0bd853625ea9c6a4148f5ab","datavalue":{"value":{"amount":"+0.7177190184593201","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":"Q1623146$0AD00C06-8D5C-43D4-AE74-F817F7A9CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16a8ac9a4854de54a997cfc821bfb6148a0f535","datavalue":{"value":{"amount":"+0.7121859192848206","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":"Q1623146$D6D4BA6D-B92B-4452-8868-36F8D82D318F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1820e2167fe1d279be50fb5fa024930bdbe035d","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7d1ab7ee60ae6be023dbc7bd41f14cabb1e09e","datavalue":{"value":{"amount":"+0.7020638585090637","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":"Q1623146$219D95B1-09D4-4BEF-82AF-F4EC3B6A918E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking sequence generation for symbolic input/output FSMs by constraint solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_sequence_generation_for_symbolic_input/output_FSMs_by_constraint_solving"}}}}}