{"entities":{"Q953529":{"pageid":955377,"ns":120,"title":"Item:Q953529","lastrevid":65634795,"modified":"2026-04-12T03:56:52Z","type":"item","id":"Q953529","labels":{"en":{"language":"en","value":"Comparing disjunctive modal transition systems with an one-selecting variant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5362185"}},"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":"Q953529$B3B37B2F-2625-459A-B938-61B7C4EDE5A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91ef9cd6e8e3f3bebba1b43c81a043274501a060","datavalue":{"value":{"text":"Comparing disjunctive modal transition systems with an one-selecting variant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953529$E880B98B-412A-4379-90C7-A30CAF2F8BAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2656d1283c7adfed3bf06826480b557ced9e27fd","datavalue":{"value":"1151.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953529$DD709DD8-A054-4B02-BD40-166BA84CC983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$935E9B2A-D1F0-4C00-8416-6C1719354AE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e676b345923800624f916d2a2c8d52ef91c50b4","datavalue":{"value":{"time":"+2008-11-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":"Q953529$D8D0E44B-AE6C-4B65-A433-3D62921F06A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953529$26231F2A-64A8-4062-A3A3-C3A7A3D1E208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32d22236317cb7cab2c841281e0ab6c845f70b16","datavalue":{"value":"5362185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953529$88E6E140-71C4-451B-807E-F9DAE48E2818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f64cbd338339f5fc3530946bf2c3680f97de4c","datavalue":{"value":"underspecification","type":"string"},"datatype":"string"},"type":"statement","id":"Q953529$A2F44627-ACD5-40EE-939F-EB3D241F591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q953529$464BC1C1-BE72-4FBA-9C17-22E6E1EEFC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q953529$E0108247-1F4D-4C7F-BCDC-B9CB5F15685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q953529$8D80B9A7-1669-4A12-B86E-C693E2A52FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q953529$806161C9-B543-4C2D-8545-AE7E7F136ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fc089f2173d2cca71cedf816da15f5be891974","datavalue":{"value":{"entity-type":"item","numeric-id":1029092,"id":"Q1029092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$64901D83-EC8D-4803-8CDE-201E3990BCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ffd9f9d935cc6b86f0480ec49fc5c623611399","datavalue":{"value":{"entity-type":"item","numeric-id":407771,"id":"Q407771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$421A9C29-A53A-4A19-936B-D2D6AC873506","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":"Q953529$DEDD03A9-7322-4A63-BE7C-FDFD11B5D30D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23ad6f652887c05e0d392568656ba0a3c3b0ead2","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q953529$E7188EA4-E59B-46E5-A2D9-1F51A7274BCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed788876429ab6ede08a24cbeff6942ec862aabd","datavalue":{"value":"W2062964969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953529$19024283-A5C5-4F02-9346-B885E709086A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$A74E0661-CF7B-47B9-AF2E-B0F22A6CB179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$1909709D-462E-47DB-8162-C6E04860B3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$60FBEC69-5440-44C8-A294-57990C6DD6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$14C53467-5188-4F4E-B6A3-7C3D128CD211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$BFCE11CC-CA11-466B-AEDF-AC4C9408E537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$0588F376-5674-4FAB-8EC0-84451C5D0500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$6C6F5F13-6DD2-4F5D-AA1A-169B9208A968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$44EFA1B8-55BF-495F-8603-54544A1EBBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f488ca0bee76ae556527d1ce554b7c31a7e653","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$A0F3E797-838A-47CC-AC23-8F1D715FDA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5854c5d3aaee6bf0dc703d8cc0f9b880f20f1682","datavalue":{"value":{"entity-type":"item","numeric-id":3522918,"id":"Q3522918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$D88103CF-CDAB-4BF0-93D1-4A12F705C79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb532d48683048e0838e92e15d633cee8ec095","datavalue":{"value":{"entity-type":"item","numeric-id":5452605,"id":"Q5452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$B31F7403-D8E1-4147-8941-AC6B2433374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b318c737543e817dd636cbcf5a8b44b613f9a563","datavalue":{"value":{"entity-type":"item","numeric-id":4799358,"id":"Q4799358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$FED7094A-DEAC-4F3A-A3E7-27651834BF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$80592828-7B06-4AAF-B934-84EAF105E0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$880A5E4D-7757-4707-8B31-A77E88623D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a096d11e47f0b3983b8ad53ce1650ad91a3578d3","datavalue":{"value":{"entity-type":"item","numeric-id":2848138,"id":"Q2848138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953529$5BE80FC0-DF7E-47F3-AA81-8864F1AC609F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cdea41a49bdcb48e969570beb417de645f4122d","datavalue":{"value":"10.1016/J.JLAP.2008.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953529$5FE62AED-088D-4C4F-90AF-1F888D1DFA73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b74cb62caa3b5e88c3ca23b2bc82773261d0c30","datavalue":{"value":{"entity-type":"item","numeric-id":2917271,"id":"Q2917271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03eba2aa019a89638b36141e2244729163d7f91b","datavalue":{"value":{"amount":"+0.735758900642395","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":"Q953529$0E452973-00CC-4A11-A683-C645CFFB5C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f504f28226a77744271ba572881082cd8a5d76","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8dfe81ef559fcdc81d5226c31d5e16d4fed8f31","datavalue":{"value":{"amount":"+0.7269953489303589","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":"Q953529$608A6369-CD9D-43B8-A390-69E1DAF60135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0701d2423ed34a20f0dbec3fbc09f50fe11c37","datavalue":{"value":{"entity-type":"item","numeric-id":1990514,"id":"Q1990514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d38c3d4832cd168ac39226ad64573985cd00465","datavalue":{"value":{"amount":"+0.7222814559936523","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":"Q953529$A24652ED-0925-435E-BDD1-7685E3B02EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d381af53f9b673ce8cec10acd3b43e16f36bf4","datavalue":{"value":{"entity-type":"item","numeric-id":3172920,"id":"Q3172920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4acbf50626d453221a211bb2d6f1fe983a9082","datavalue":{"value":{"amount":"+0.7221875190734863","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":"Q953529$0A99E8D7-1063-4140-A68B-4E2BED630A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fae32948e303594a9a93df512dc2263f347b0b","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49fd130bf2bd9c727ef6dc845b796749d077ce6","datavalue":{"value":{"amount":"+0.7163046598434448","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":"Q953529$5E6D8D13-EF1E-4F69-B7A6-EABF687848B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing disjunctive modal transition systems with an one-selecting variant","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_disjunctive_modal_transition_systems_with_an_one-selecting_variant"}}}}}