{"entities":{"Q5891133":{"pageid":7926928,"ns":120,"title":"Item:Q5891133","lastrevid":58617075,"modified":"2026-04-06T00:53:05Z","type":"item","id":"Q5891133","labels":{"en":{"language":"en","value":"Modal interface automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6206241"}},"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":"Q5891133$D00BF0FC-B7CE-4372-80F4-E9314949A44B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edd3d481d913a0e6fd2bf7afce42793b9f22a855","datavalue":{"value":"1272.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$23689F9C-2D50-4760-9ECC-44915314EEF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"140fd2a57e1a7ee09af9a2d26cf06b043a9e1e90","datavalue":{"value":"10.2168/LMCS-9(3:4)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$4A4BB3F4-51AB-4852-934A-438C37D8026A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891133$20567FB3-C9BB-417D-B9F1-E806DF662659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891133$C48C3D92-E07C-421E-BBFD-298F22BDAA32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891133$4D772C9D-372C-48F2-8090-56543D7356B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d35d411e4bf86722d143db6d6ffe35bf7949be","datavalue":{"value":{"time":"+2013-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891133$6F6733A5-D215-4167-80DE-392CCB468BA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f187971892d28a70100d67a26f06672fca9390","datavalue":{"value":"https://arxiv.org/abs/1306.3050","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891133$F5968358-56A3-48D3-B515-EBBB254FB6C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$964BFB4F-86F7-4354-9EF0-08A7DA16F1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$5DE34F7C-AA37-426C-8721-3DE19EE2B7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$0DA83B16-CA62-4B73-AE60-F0B4622ED1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$74505478-E2F1-4490-90C3-DFA96675C1F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"310aead3a055279b69dc13a31708afbc81171ff3","datavalue":{"value":"6206241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$C6883E13-1153-4FDA-A62C-991A08B5B615","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279c46330d86a84c47b0afcab051877ab408acda","datavalue":{"value":"interface theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$5C13DD8E-82CF-4FA2-A7A1-D0A37AF039CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$B4938521-87DB-4892-924F-D7598612EB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$21A41F52-0E23-428A-8FFA-DFB3CC8B3ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0113c883abdaded7ff94a24b1a7ee5bdbfe8188","datavalue":{"value":"disjunctive modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$5BA4670B-B635-40CB-9132-6BA436E332E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d9f3f54081f5dac1abf3e0acf4f3f6e374bab9","datavalue":{"value":"modal interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$392E6E9C-C122-4311-854F-C5DCE46E900D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$64406712-7A54-47EE-A40C-2674D0FA6D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a0c383a387b1f7bf6a0f5a1f896244b5448863","datavalue":{"value":"disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891133$593C169C-7EDC-4CC5-86EA-5C67386821C3","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":"Q5891133$9275F51A-0AF5-4D94-96E8-25A473A2A5E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"622a506adc292e43c01eedc1bddb370299c3f720","datavalue":{"value":"W2016228303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891133$531F2D99-0D66-4DC9-8DAE-C6D9E56A1207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9086ff309d2aee54a565e9c6d8c03e2a22c87413","datavalue":{"value":{"entity-type":"item","numeric-id":5891780,"id":"Q5891780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$6ED9458D-092F-4B27-A701-C98048EC21E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beee6077a99d1b76ffe058f44828fd53e153cc84","datavalue":{"value":{"entity-type":"item","numeric-id":2404073,"id":"Q2404073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c3167a277672b94062861bef53350b84a2fff2","datavalue":{"value":{"amount":"+0.90603364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$B14C3FD5-77C3-4917-BD0F-AA0DD3F8E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d596e8e33518efb1f00f68bbe93d6b0e275c4092","datavalue":{"value":{"entity-type":"item","numeric-id":5498744,"id":"Q5498744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbaeca9e4e5309cdd207bd0c30547e38c5665113","datavalue":{"value":{"amount":"+0.8811915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$6B8ADCBD-183A-4ABF-8EF7-6448F4317993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf26d946b5b67d3568a8de7b67aae20a3195c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767a857a94b89d411a205c3fe3f73f909710eb73","datavalue":{"value":{"amount":"+0.86803347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$CADF9549-2FFB-4696-99DE-5543F2C631AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baed800b2aae2f380a6d000fb723dd109b1c3179","datavalue":{"value":{"entity-type":"item","numeric-id":5491876,"id":"Q5491876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc49196cb96bcd56c4fbc3ffb107f4ea6d9352ad","datavalue":{"value":{"amount":"+0.8648375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$5872ADA5-1041-4843-8515-7B2732136B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a5d644e686f6ebfabc1055d61907a269a60f06","datavalue":{"value":{"entity-type":"item","numeric-id":5175101,"id":"Q5175101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74152c1e5f13113b8d9140d83efe6482ad826745","datavalue":{"value":{"amount":"+0.85512185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$092BA0ED-7201-4997-A31D-FDEEEC4B18C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1033b0771c2295c4f6ece0903fb6662c2287ca2","datavalue":{"value":{"entity-type":"item","numeric-id":2629098,"id":"Q2629098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5a480519569104f47d2c1eac66a375f378f171","datavalue":{"value":{"amount":"+0.8551215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$9C182530-AA8B-4DBD-B582-A75CCF9546BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22af2dc8ddab2f2ce054b7e8f30fc52de22d295c","datavalue":{"value":{"entity-type":"item","numeric-id":402131,"id":"Q402131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17638670f62847b17993329cd7f3ed74291eb64","datavalue":{"value":{"amount":"+0.846424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891133$C5FAC4C8-2680-43E5-AB21-3063D5A0896C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67d13e0d841cc34b4f2906a4ec9c69af4227f164","datavalue":{"value":{"text":"Modal interface automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891133$F9857FE2-1A23-4187-8F10-A13CED4DA649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891133"}}}}}