{"entities":{"Q2398505":{"pageid":2409248,"ns":120,"title":"Item:Q2398505","lastrevid":52877882,"modified":"2026-01-23T17:12:39Z","type":"item","id":"Q2398505","labels":{"en":{"language":"en","value":"The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760804"}},"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":"Q2398505$95B13F00-3052-4D99-8DE6-EEB9260C0CE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e081fc7054df6a4f1cda602ec239ff32b37db3e","datavalue":{"value":{"text":"The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398505$611D391C-8397-4523-A465-89E45D4D9F74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009d0315b31fc75292dbe9bf1e20c9c6ea188ce5","datavalue":{"value":"1409.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398505$438DD42A-4C7B-422F-BD17-6FE0010F3199","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c107885d2125030e57934d97d36b1d4ed30a2ea6","datavalue":{"value":{"entity-type":"item","numeric-id":479810,"id":"Q479810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$862BBF4E-D273-4554-92E9-025CE0E4C9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1e9d1afb50bb50a42229c9a97c1d3116256705","datavalue":{"value":{"entity-type":"item","numeric-id":413310,"id":"Q413310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$A7746334-BBE5-4DD3-9FBE-7237B9B95114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e82f1f7e489efdd42f3340e820dbf5a057ba86","datavalue":{"value":{"entity-type":"item","numeric-id":1707349,"id":"Q1707349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$B543E238-8AC6-4B0A-9F16-D26637681FDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$C2BB6598-8824-458B-9EE0-A6A047ED01D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d7c0d25932e6c783b5452f9f0c5ca5bd63b788","datavalue":{"value":{"time":"+2017-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2398505$8BEF9E7B-1868-4EBE-8D1C-17BA91717659","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398505$111B9B60-E105-4E2E-B567-5CF633CE8F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398505$E95152C3-5909-4827-89FC-9D52C5A3EF0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b312f9b45bf94cc12776136edacdcbb69fba15","datavalue":{"value":"6760804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398505$57BB3FCB-4448-412F-9934-3BB2CDA9BE1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398505$B20385B2-2E0F-4574-B1A7-58AAC312F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2983c18830b8f2a1c15512015659cda8056a64","datavalue":{"value":"deterministic finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398505$9C7D4B18-A072-4E07-A3BA-CC99294A29FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac6cb568aaaf720223f3937424f32a458b02125f","datavalue":{"value":"adaptive sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398505$64D235F7-95FE-49BF-9BD1-F2D55BDBCABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60086cf17a3e8090767d5b28ff677e4988600b22","datavalue":{"value":"synchronizing experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398505$FDCBD663-2845-40BB-92A8-C7DC20E62C9F","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":"Q2398505$BC9DA77B-CAD0-4443-AA04-12DF99A529AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83d212769b1f271ba44aec0e20daef5c1e588013","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2017.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398505$55CDB499-5B62-4067-A4F5-A896F7495AF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b6080f6c9deaa63562220e0675d6643e12915b4","datavalue":{"value":"W2729254191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398505$D49DDB5A-9C62-4679-AB9F-3B482CD36C8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5e05723445f234814cdfcb14015aab2e4d445e","datavalue":{"value":{"entity-type":"item","numeric-id":5535949,"id":"Q5535949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$7A80CF08-9473-48CB-B00A-29227DD21F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce3fdb25869b2331ba7a9099e1dd155ad2fca1d","datavalue":{"value":{"entity-type":"item","numeric-id":5606985,"id":"Q5606985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$4CB0448D-E3A3-4A0F-BAE4-3136D0E2E7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$70AE876E-5201-4BB2-8F5A-8F73A1642D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbd0246ccd92887228ae4f6364f614170f1de35","datavalue":{"value":{"entity-type":"item","numeric-id":3434606,"id":"Q3434606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398505$C0E89AA2-724D-44EE-8756-C5E6F7B88E33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"513e65a63f6f746935ed371b9b4461211c111470","datavalue":{"value":"10.1016/J.IPL.2017.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398505$E1521E69-BD97-479D-B2EB-D99C84493490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de55f5c36c3eae4d0cd0b07e111cd0ec9f4eeb15","datavalue":{"value":{"entity-type":"item","numeric-id":1183455,"id":"Q1183455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c744ed9c0e77389df8e9a5d254cc1a1594f7ce0c","datavalue":{"value":{"amount":"+0.7916325926780701","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":"Q2398505$D8130686-DF72-4607-AE26-CC9F87F92885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734a2a5036f58034c3b6f167172ca680727e520","datavalue":{"value":{"entity-type":"item","numeric-id":300305,"id":"Q300305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc60102babb4c909be401c79002cd863a414cc9","datavalue":{"value":{"amount":"+0.7897024154663086","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":"Q2398505$81069071-B2C9-43EB-BD24-5EB93C907604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf887b0386cf2a6cd39793b50c9181ddff0674a3","datavalue":{"value":{"entity-type":"item","numeric-id":4245976,"id":"Q4245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60206c14e7b8c2062ffe93d1aca74f3d070496c","datavalue":{"value":{"amount":"+0.7689381837844849","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":"Q2398505$2A670203-6481-4242-B883-A43AF96CB551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e23ca42f725b2883f77440d54d3ca5812f4ec4","datavalue":{"value":{"entity-type":"item","numeric-id":2947421,"id":"Q2947421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307a7b918d01579cd29814286e6d0d0e4f1c58fb","datavalue":{"value":{"amount":"+0.7666460275650024","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":"Q2398505$9BFB5D19-BBE7-4551-B992-25BE513428BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee357d1a1ce90a69ecf62add3c3d69bbb115202","datavalue":{"value":{"entity-type":"item","numeric-id":736851,"id":"Q736851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91d6143eab21a9ad249d93ec20cd53143c91421","datavalue":{"value":{"amount":"+0.7528418898582458","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":"Q2398505$78AC6727-C217-4FF4-80EC-6ADF0D3C7E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2398505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2398505"}}}}}