{"entities":{"Q5009454":{"pageid":7039031,"ns":120,"title":"Item:Q5009454","lastrevid":55891228,"modified":"2026-02-20T21:33:04Z","type":"item","id":"Q5009454","labels":{"en":{"language":"en","value":"Separable GPL: decidable model checking with more non-determinism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378580"}},"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":"Q5009454$16E2326E-9B7D-48F7-B970-A693CC48A8EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a900c49431a163726a3db04ba015001214c2a382","datavalue":{"value":{"entity-type":"item","numeric-id":4911142,"id":"Q4911142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$AB65562F-038B-45E3-85D4-41C7B90759DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146e445b9711515e2eed962a2cd51e384ac471c2","datavalue":{"value":{"entity-type":"item","numeric-id":655413,"id":"Q655413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$9F8326C5-D517-4391-B584-9A6596E1F176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-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":"Q5009454$DEF2C4B2-5440-4649-869D-C544A246198E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009454$B03B6A76-7460-44B4-8E36-22CBFBC42962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c9d543c663bfa0e5cd2ab134e730d530c8b30bf","datavalue":{"value":"7378580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009454$4A854AD5-5A79-41B0-9115-3DB91503BEA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009454$81F99432-7FBF-4AE6-8BB1-F8AEB67F67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6119e7186c29579a628e010bec9283ea82623e","datavalue":{"value":"probabilistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009454$9C0C3A01-67E5-4C53-9B2B-5B1156D4ED18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009454$0D873566-8EA7-4D37-9761-A2E6BFD46870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da39c3973a7427338e6c962cc745a52b6782833d","datavalue":{"value":"branching systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009454$73AE6F2A-EE00-4807-8677-03D44C36DDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009454$CC7BFE1E-27BE-40B1-BFC6-9133C7A1A874","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$4D79C337-28A1-44DF-BBCE-EDCF76E1F369","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":"Q5009454$3652F031-2E46-4E4C-A86B-61705A45FBC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c321453b0f983f90188afe93371af650492014ce","datavalue":{"value":{"entity-type":"item","numeric-id":2583540,"id":"Q2583540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$DEA0D6AB-D54B-4CC4-A95C-B7A1396711FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562af175a9291967f80a9a9ed86273026e2c95cf","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$8B42B6EC-2936-40EA-9AF4-391B9BC591C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49998da2ad8861f557cc42d1a7c5c9ffbe849560","datavalue":{"value":{"entity-type":"item","numeric-id":2912726,"id":"Q2912726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$42BDEFC0-A865-4FED-AF09-D549FE6D0664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9881e1945ac268858c30e7240eea3b4e31398ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$E32275C3-3D51-40FE-9E81-7F68B6CB2895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$7B68CA4E-95F1-4285-A911-9F8FE4CDC5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$7EF83A7B-4E42-451B-BD96-1158494A9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c12169a284170885cf111dad4c0fd7f7dcb1c4a","datavalue":{"value":{"entity-type":"item","numeric-id":2843258,"id":"Q2843258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$FF086008-0810-47E0-9E15-163AD699840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d23fb9879aff05d2b546a64b65dff59d9801479","datavalue":{"value":{"entity-type":"item","numeric-id":5415502,"id":"Q5415502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$D77E5860-D3E9-4826-AD16-1967D57CACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7618dba3c858d60e577e7b915b9ef7225ee18f34","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$B1A922C9-ADE0-4D6B-BBBF-02122496B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54d3221a6f7507dfd063ec193f239916eabeba7","datavalue":{"value":{"entity-type":"item","numeric-id":2796398,"id":"Q2796398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$68DD7BAD-D62F-445F-B851-1528E58E226C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5277c9fd9b9d53af68cbc49f4685c9f7c49a0fac","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$D5065F5A-DF8E-4290-9789-431E5BE04044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f895c04d3f137cde3bd716b504fbe118225c000","datavalue":{"value":{"entity-type":"item","numeric-id":2407093,"id":"Q2407093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$75C750E6-6CA1-4138-B045-95717EE35857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5f0338dc37b0feea2bacdf348dff83eb0b9b01","datavalue":{"value":{"entity-type":"item","numeric-id":4911143,"id":"Q4911143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$8E0365CF-2BDF-4760-B03D-A2BFFC594193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c1684f85b15799d6e7e0fbb8ee8dc35bf41e3","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$BDF71727-32C2-41C8-BB57-E82FDB09813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544c69d1aed745da8f17e863040a96a9039ec343","datavalue":{"value":{"entity-type":"item","numeric-id":5275391,"id":"Q5275391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$66B2E905-FB63-4507-A2C4-8BCEBC957E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b846d13800611269a7c57eec4ac171491564b808","datavalue":{"value":{"entity-type":"item","numeric-id":2888508,"id":"Q2888508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$D8834D1A-FC4F-4A4C-BD59-BC8973881F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219cf5c5831d1372270308a9b5d6708ccfc7dada","datavalue":{"value":{"entity-type":"item","numeric-id":4899118,"id":"Q4899118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$6E911DB1-8A51-4C5A-9FC4-437B97FB6EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303b1abbd4ea24e173052e3ce10a404318bd898","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$50B62789-4D4E-4B25-BC28-6462CB15AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60df755d2e4975d84019817f200faea274d2f193","datavalue":{"value":{"entity-type":"item","numeric-id":4608641,"id":"Q4608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$1CE66EDA-6A8B-4890-BEB1-86C7B9D40419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009454$0AEC45E5-C58F-4CB7-B40A-664FE1825EC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26fe3a6302230cbab368e5f6206a5617896b34a0","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009454$0B6D95E1-E874-42CF-98B6-305C3E6F499F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd96849f712113a17f3f8f4297dc3a93a7690a14","datavalue":{"value":{"entity-type":"item","numeric-id":4411831,"id":"Q4411831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f083fd098cd93165f07243a48336f4a12af67ba","datavalue":{"value":{"amount":"+0.7652736902236938","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":"Q5009454$D09F3BFA-292C-465F-9DF0-03BA92510356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc31577efd565c6e2695a9eb346b73bd2263c45","datavalue":{"value":{"amount":"+0.7614205479621887","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":"Q5009454$215B9213-EDE2-4600-B300-29CBA500A72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00eb0f6a6e4fefaeacc5130df740812569cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07ab370fa3663d2b970786ceaaed2ba7b24bfd3","datavalue":{"value":{"amount":"+0.7613137364387512","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":"Q5009454$E408F68B-86CE-402F-BF7C-19C97C975709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea77b4c1bb55e0624ce32a2460de260e69a4395d","datavalue":{"value":{"entity-type":"item","numeric-id":5034220,"id":"Q5034220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b332be67fc82621e4899351f534e15ed65052fb","datavalue":{"value":{"amount":"+0.7478424906730652","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":"Q5009454$335AAA8F-372B-4799-9EAA-514BD77BEEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da88f1253fdb67fff95e2b857e74ac4fd8f9abd","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afde815747b0bda0cdafa1f051f582aea746cfd1","datavalue":{"value":{"amount":"+0.7458827495574951","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":"Q5009454$C8F7A560-E4C9-4713-82E1-BBE753043032","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009454"}}}}}