{"entities":{"Q2629098":{"pageid":2639841,"ns":120,"title":"Item:Q2629098","lastrevid":52577078,"modified":"2026-01-23T00:40:08Z","type":"item","id":"Q2629098","labels":{"en":{"language":"en","value":"Nondeterministic modal interfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6604550"}},"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":"Q2629098$D1A2CE81-B020-48F0-B0DB-7F2333BDDF85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efc3c0756e1a4a0cd03dcf17b22847f4ae8bdd3","datavalue":{"value":{"text":"Nondeterministic modal interfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2629098$FD0DF592-4086-4CF1-8883-04CD1DBCB374","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a243cbb119cfb778924a318fe9a0f2872fc54941","datavalue":{"value":"1345.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$383788DC-42E8-4ACE-A8A5-0FB631CC4E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c10aaf9737015a42aa795d49fcf35d32365a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2404072,"id":"Q2404072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$D93B9600-B027-4DB3-9FA5-340613AE0498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e936efb7af8f792830035718d70ba0973ff4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2350490,"id":"Q2350490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$97F3CD3E-68EA-4E21-A69B-A858129B3C2B","rank":"normal"},{"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":"Q2629098$84634805-5C11-4619-B9C4-107ACFB263A4","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":"Q2629098$4D623060-933D-4310-A0C0-CA9ED3FC7940","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$FB980DCD-DAF5-4057-9D29-234DDBBA8240","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65b71113645b30f727dbb3f058c09e51e4656d25","datavalue":{"value":{"time":"+2016-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2629098$39C37865-AFC1-4067-8F38-E959FD5A7812","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$F218B823-F885-46E6-9D51-3A82D888B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$B7FF2537-9D4A-4E55-BB75-E366D16E13F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$3736B49E-C9CA-467C-9F11-9F97B94F9AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61efc68d95fc3e8c748a3a516ecbb74118e03f25","datavalue":{"value":"6604550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$353D6C3F-78CD-4610-89C9-19C722DFD10F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279c46330d86a84c47b0afcab051877ab408acda","datavalue":{"value":"interface theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629098$53429503-E6E7-486D-B55D-F3E2DB31DF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d9f3f54081f5dac1abf3e0acf4f3f6e374bab9","datavalue":{"value":"modal interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629098$5795DE1D-0842-4F1E-95E5-67952EB6C3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b2b2a4b57c15395da9b8c5c0526eb684f6072","datavalue":{"value":"component based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629098$0EF07925-52F4-407C-AD01-E8443F30B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629098$39DBC81E-9B2E-48FF-8E81-4BA36195911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4b526bb9c7faa130b7f8f02ad4ea9f48e85f5d","datavalue":{"value":"disjunctive must-transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629098$CBBC1141-67A9-442D-9FBB-DB85652D5D74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$7871B0EF-E51F-449C-82FA-577641EF076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69a6cdd50aa1b254a34e32e1cecf25951df27d2d","datavalue":{"value":{"entity-type":"item","numeric-id":21227,"id":"Q21227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$2CD87F2F-8914-4A35-AF49-120EEBC42202","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":"Q2629098$53092FC6-B71C-435F-BF9D-4B74CC08E20E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3e6f0c9812f0dba9e8363c3b8d8cc824b49c482","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2629098$B65EBA3F-4AE5-405F-BAB6-03E660B1A8F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3912bfd2ea79974719b51b13f0c5c7ed1a425edd","datavalue":{"value":"W2442527218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$E920540E-A1C0-4C3F-AF29-A8F49F0E0B78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d758fbb2281a49a6a690e6af0ecd4c7dc85ed14","datavalue":{"value":{"entity-type":"item","numeric-id":5175101,"id":"Q5175101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$947333F9-BB1A-4555-8B12-1E380FFD30E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9025c5e5cd65e45de7ef9a05b354bfa439bf450e","datavalue":{"value":{"entity-type":"item","numeric-id":3557076,"id":"Q3557076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$25DD3AAC-FC93-4B99-A906-5568248E1CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c470ea603e08a2f52a7be3c0ad3a7d1fa995e83","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$21693F71-E853-4976-9E30-71C69495D1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$13B1FE71-4E7D-41E2-9D8C-07DC21863EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691c632cba378f8895b57cf95f014d3ff93df847","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$596D62FB-662E-4987-9397-EC56E65E4C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$7D794679-DA00-449B-918A-7A36062CC83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e20c7e2689e4f3b63711f4c7e65e528931a1603","datavalue":{"value":{"entity-type":"item","numeric-id":2350491,"id":"Q2350491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$25ABE1D6-894C-4715-A970-3C1A0229A3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$F8987189-9DF2-4173-8E4F-15FB816D0E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$3DD2FEAB-3151-4582-8F7F-FA0F3008CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$019BE9C9-5188-4368-8DEF-6144EB5751E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de6702ef2786d3f23033008a62b6e461ea0cfce","datavalue":{"value":{"entity-type":"item","numeric-id":2842098,"id":"Q2842098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$47049B2C-3926-4448-B962-EB854C418EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900bc7997e7deaa287902f2ad93d9def7be50e2","datavalue":{"value":{"entity-type":"item","numeric-id":953529,"id":"Q953529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$4EC41F4B-5067-4A1F-8742-5BA29272727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$40955235-AA1D-4F69-A98B-7DAC9216F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede216087bffa9129b0ef49187735891f01b9ea0","datavalue":{"value":{"entity-type":"item","numeric-id":2938099,"id":"Q2938099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$4E7F5442-D070-4F18-9DA7-AE7EAA911E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a9b9c38c4de3e79a7eb89f1e9152294e70b8c7","datavalue":{"value":{"entity-type":"item","numeric-id":674195,"id":"Q674195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$787E5A8A-5C2C-40EF-AD1D-AD1DD50ACA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a018764f0b9350fc40ac73cf6c173817a8d205","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$2A0638DC-450D-470E-B83C-A5FB8B036E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd9a489dfff724df860478fcab30813fd9df0d4","datavalue":{"value":{"entity-type":"item","numeric-id":2842099,"id":"Q2842099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$667F5687-3F3A-47EA-BC2B-87A1ABB2A66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16259c2036a38d4629490c6dc10818752ded7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$AAAB023D-1810-49D9-AA84-BAFCD98093BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf184b2b10083e857039ebc2c822568a0c412fb5","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629098$DC089469-5F9D-42BA-A884-06085CDF03C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"face5fa4a666122711baa54ba4fb0a11a2ac2112","datavalue":{"value":"10.1016/J.TCS.2016.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629098$6619548A-1267-4C6C-8CDD-805846F94EB3","rank":"normal"}],"P1643":[{"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":"363b488fdeac698a99a4dcfad7a2d3941db526d3","datavalue":{"value":{"amount":"+0.9906764626502992","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":"Q2629098$D169F62B-8597-4310-BF7E-C4CB7FEDE69D","rank":"normal"},{"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":"2314ae53a6032d210441d58be4c507569ee3c891","datavalue":{"value":{"amount":"+0.8704550862312317","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":"Q2629098$EFCE50D0-D1F4-4DFC-917A-00DE2AD41DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434a4458627648def9563ea8a1af79385bfed551","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fb321442b70d6146384e1802c78622e3eaa39f","datavalue":{"value":{"amount":"+0.8686947822570801","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":"Q2629098$64E47921-E9A5-4061-A9E9-EFA86C8F8FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bd156948e76c52ccd2d75fbdeaa531657c5fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e1fa39aed5c64398e5f040cb9b82efd87efb60","datavalue":{"value":{"amount":"+0.8308959603309631","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":"Q2629098$E1782FBE-C730-4A47-9FDA-204751861F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5340d4dbaf76b13484a441928b7df2c35b8ca25d","datavalue":{"value":{"entity-type":"item","numeric-id":549177,"id":"Q549177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506eede964c22b472c5a93fbd39ffe2960d9872b","datavalue":{"value":{"amount":"+0.8103668689727783","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":"Q2629098$7AE36D06-E00F-4934-942A-F15C0F2C85FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2629098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2629098"}}}}}