{"entities":{"Q3557075":{"pageid":5586979,"ns":120,"title":"Item:Q3557075","lastrevid":50968979,"modified":"2026-01-16T00:02:27Z","type":"item","id":"Q3557075","labels":{"en":{"language":"en","value":"When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702239"}},"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":"Q3557075$130361A7-42A0-414C-AE5C-36EE92D7D0E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8ee2313dd61353c7dd1292809c88772a0caec75","datavalue":{"value":{"text":"When Simulation Meets Antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557075$2E03575F-12A0-4737-A271-CE6270F0D7CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bad9ac19aefbbfc74e696af3c73a2fa7c2074ec","datavalue":{"value":"1284.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557075$F0A1984A-C461-4331-B054-7298AD684BB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dce694f98e40ce661f249cde3ff7857221e9edfa","datavalue":{"value":"10.1007/978-3-642-12002-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557075$333E242E-F5B5-4F70-AD85-5C08ABE9CF7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557075$972F8D8D-1209-41BA-9D6A-8B732E121F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557075$693BE62A-9A4B-4BDB-95C5-CFE97C070DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557075$0EC232B1-BF3A-4B16-AC00-F874BB671F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557075$95BD5EDD-7F17-4014-87D8-F8EF2EA73782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557075$75DF11A3-F30D-482C-87D4-10857963D7CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557075$987484AA-F7AC-4AC1-A237-167D285002BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557075$E09406FD-E642-4C3A-A61A-2D1FCE4B83F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557075$8590E67A-ADC9-49D3-9AAB-A24E3887CF8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f893de2d1267036a37f9c04360a6212c55fece97","datavalue":{"value":"5702239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557075$AE253415-E52D-4512-8B4C-99D6A9494AAF","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":"Q3557075$6F399DB4-7CA7-423B-9B73-EC24D0A7E4F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"499e3ca5e0a704208235ba1c8ccc7ae496979a39","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557075$401609D5-61D6-4FB2-A284-EB5F11DB4B85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e64505f6ba356ccbe148a224561ad6fa49ba9a27","datavalue":{"value":"W1543741569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557075$30974623-13CA-42CC-83DA-B6DE0204E72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4061a8671d6a097ca5aed03088441dd24b8d4","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dca03e972fa838f8edd6daee1110490a279534","datavalue":{"value":{"amount":"+0.8640098571777344","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":"Q3557075$B215FAA8-6A56-4E50-9F8A-3E67756DA5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f6c391425d8f11bce11e35b4b5391d931587fe","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa6621d1060ba5fdefee7f618b89363aa064b64","datavalue":{"value":{"amount":"+0.8398482203483582","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":"Q3557075$EC71ADC2-5B62-421B-A9A5-CEBDB149C8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaed5d0e536b96ce6c020a1ee6128b87b76564f2","datavalue":{"value":{"entity-type":"item","numeric-id":3602801,"id":"Q3602801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9cfe0b34ee51a44e4758281e423cf9924878a7","datavalue":{"value":{"amount":"+0.82890784740448","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":"Q3557075$91D6A151-270A-40DD-A962-837F9CB3F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca69808ca49bbeecb759a32c5907eb7dcb7fc20","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c14790798fd07f0c843a8d78fbcceb06927f808","datavalue":{"value":{"amount":"+0.8098627328872681","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":"Q3557075$61FBE789-4DA9-44F4-871D-FDF6D901DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98bb21aba66f930305d84cba2363795bd25f074","datavalue":{"value":{"amount":"+0.8017462491989136","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":"Q3557075$142FDFDE-984F-4902-B923-6FE31E8D3663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557075"}}}}}