{"entities":{"Q2851908":{"pageid":2862628,"ns":120,"title":"Item:Q2851908","lastrevid":58041120,"modified":"2026-04-03T13:56:59Z","type":"item","id":"Q2851908","labels":{"en":{"language":"en","value":"On refinements of Boolean and parametric modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213546"}},"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":"Q2851908$1E8A02B7-5569-42D0-BF2B-CB9C26DA74CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"121d7494128efb260543f895b73ffaaeed41df58","datavalue":{"value":{"text":"On Refinements of Boolean and Parametric Modal Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851908$56D5BA1F-C491-471B-9211-E0FADA8F4D24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12ea54fc141657b5576451affe94ad380e9cb3b6","datavalue":{"value":"1405.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851908$C7E13611-3FBC-42CA-AF5A-275CACE09D85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323f3a6cd383fd292ef2413555fef6e7afa2ae91","datavalue":{"value":"10.1007/978-3-642-39718-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851908$99936EE6-23BA-4A43-AD0D-980BFF43717F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851908$0FEFD0D1-DDFB-4480-8CDC-59E913E38C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851908$A50DBAF8-4520-4EE7-89F5-BFDF628B8512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"427e8eb9fd32bb5d57a5a57855d39d1b11cc9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2851896,"id":"Q2851896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851908$256BF761-2D3F-4CE3-B6DC-D4FA8340436E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851908$92D484D3-DA07-456F-9CDF-F8CB05406659","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faf89c54431150c09da3a3c2b0f86e0019648531","datavalue":{"value":"https://arxiv.org/abs/1304.5278","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851908$1F6ACFE1-7B33-4078-9FE9-B26217FA8DA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851908$7BF71F60-9F17-4343-8FB3-A55CC87DBFF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"063c0e36c5862bf17f3249600d7068f5c837fea5","datavalue":{"value":"6213546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851908$26A92F98-A079-4E69-B931-37725FDF1B21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851908$1FF7C069-324F-4C85-8A9B-AAA60192B901","rank":"normal"},{"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":"Q2851908$54B688E5-DE89-4A02-89BD-5E0CBC13884F","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":"Q2851908$E8911FF4-7929-43FF-B893-C3EDC6BD2C38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b2a15be8016b9ebb6ba0b1b2e078248c6cf1205","datavalue":{"value":"W2120347988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851908$8ED8F240-0FE2-4786-A155-3C84C0F3178C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ec441c3d44fca65d57104a393f9283143df5c7","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d3286f7356bf7d08822c5e56cd7d74915ee6bf","datavalue":{"value":{"amount":"+0.879945695400238","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":"Q2851908$C1F408C2-DD23-492C-8A93-CD3B0D5FE0C7","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":"062960067feaa15bb7e0e3aaf791dd43a8aade4b","datavalue":{"value":{"amount":"+0.8515782356262207","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":"Q2851908$CFD96A4E-BD37-4126-8194-274044A3AB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fedac2374420c26f94c6d0c4142bf94246149e","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5895e9fd0c694a1e043ff40ab2405e08dcbc78d","datavalue":{"value":{"amount":"+0.8138933181762695","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":"Q2851908$DA18B2B7-1FC5-480F-AAEC-5C2643C719B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787ffef6b585ebdab1454c5bf702b9b1531216ad","datavalue":{"value":{"entity-type":"item","numeric-id":3393402,"id":"Q3393402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d74497239e28b92a09672671dfab1239ef7d97","datavalue":{"value":{"amount":"+0.8074491024017334","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":"Q2851908$DF7E7916-9C03-4133-AEDD-176A405DC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003dd4cb71b5558dcaf499217255d392a166a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":690504,"id":"Q690504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7999fdb70de98b998f4785c8844bc77d8aa05984","datavalue":{"value":{"amount":"+0.8003350496292114","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":"Q2851908$9381D384-37A9-4687-BE35-1F94A0A352EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851908"}}}}}