{"entities":{"Q2090217":{"pageid":2100959,"ns":120,"title":"Item:Q2090217","lastrevid":54427436,"modified":"2026-01-26T19:31:17Z","type":"item","id":"Q2090217","labels":{"en":{"language":"en","value":"Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7606542"}},"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":"Q2090217$3E4EFD32-4488-4E29-BF5F-A5E9CAB5900D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e58bfae16730df46f6b88943c3c2c662638f6c","datavalue":{"value":{"text":"Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2090217$AFC8C44F-AB98-4667-AAD6-D4F261EDABC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95b7d19b2061fd03cce95ea4ad921e68fb684e57","datavalue":{"value":"10.1007/978-981-16-7443-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090217$B33CDCC0-35DB-40C5-A42C-B30947C6EE1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$23971B91-1F6F-4CEE-9930-336C371642E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc0a7c25255bdd57f0ebb42eaef0456a66df744e","datavalue":{"value":{"time":"+2022-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2090217$653AF376-9279-4B29-8523-D2D3A4F0BA94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090217$8098E945-1CD2-40AE-BB1A-ED725B8715A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090217$351FEB73-1BD3-4E6D-9335-31AD62FC7EEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d851dc5ad924861f88465a570222e15ddf6afe6","datavalue":{"value":"7606542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090217$05B0B5C0-F9CC-452A-B559-F30455D8FD96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dc7f489ff683717316319679d8dea0ef4a77213","datavalue":{"value":"possibilistic decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090217$40C869CA-B1DA-4E3C-90FC-84E9FA402892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cac232caba93ed607cc88ea205efaea2da74a8a","datavalue":{"value":"generalized possibilistic computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090217$4B9A9BD2-14EF-4F82-A22D-A453B8D03FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84749d67db2debdc116dae43b669221ae544b21","datavalue":{"value":"finite-memory schedulers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090217$C2F5F684-0821-4C23-84C9-5E8FB5978003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819caf4c6a6828dec4341be834516ff3afd0c210","datavalue":{"value":"optimal schedulers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090217$29AC8D2B-33CC-43BE-AB37-D347A2F70F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090217$AB2544CD-804B-4377-9ECC-23C494EB7AA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d524ebfb58b086d377dfe9baf200ae52198527b","datavalue":{"value":{"entity-type":"item","numeric-id":18588,"id":"Q18588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$3CB0ABB1-A211-425B-8155-B969086BB1FD","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":"Q2090217$332A2581-D017-4AC6-9BB2-0667009CA0E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3da312b55f023ca3f29d0acd008be19d83fb36b","datavalue":{"value":"https://doi.org/10.1007/978-981-16-7443-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2090217$12DAAF07-EBD9-47B9-9D16-84913A1D09C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cd2a8506c5be37561c8ad1eed8c3a8214fd6af5","datavalue":{"value":"W3213779030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090217$F35BCA2E-7CE0-429D-A3EA-E0E3D4C0C2DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$3973C5FA-17DA-43F1-B19F-391D235AC6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$4EB09890-27C1-48ED-8AFB-EC1A51F348FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5b732cabd3e553e9a37bcbac4e443e60ee100b","datavalue":{"value":{"entity-type":"item","numeric-id":1920300,"id":"Q1920300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$F2EFA36E-6AA4-457D-BE5E-837D4C885E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f9aeb4fceb64ce8c385f1573a74fd0c52d6959","datavalue":{"value":{"entity-type":"item","numeric-id":1010346,"id":"Q1010346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$03881079-6C2B-45CB-9549-DBAC28B267EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461c74e2dbd81f9cf68d4b4535b126e0125a0ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2349793,"id":"Q2349793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$323DF9CA-099F-46A6-8B01-2986AFD8C9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de355ba6b2d21ffac91ef3253be91c11286eb59","datavalue":{"value":{"entity-type":"item","numeric-id":2014416,"id":"Q2014416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$1DB9632E-9378-4ED0-BCDE-CB6184686687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6098ada005648c58ca208626e400cd85636e999a","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$50E4B4D0-C1FE-4F44-B740-D26D1FE4CC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc907f5b8e756fa7912187d0586f4a6cebc2f56b","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$149FE2F8-8814-4866-AFFD-F967F4A935FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c665279d7e5b45c3e1b50e2b8d2dac4d92cbfdd2","datavalue":{"value":{"entity-type":"item","numeric-id":529055,"id":"Q529055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$80DC0445-8B47-499B-8C8B-BA8475F60601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96999696306f354a4d5eae2e096ab483e8d71c8b","datavalue":{"value":{"entity-type":"item","numeric-id":529056,"id":"Q529056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$2BE02448-5A09-4463-BC33-D730DA646F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$44AA330C-52EA-4F6B-8F35-678DBEF243BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090217$4C37924A-D199-4A56-9D6A-1528A10378BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1c753c7a970c5d88f3a49c4d2b82b0e18de48d","datavalue":{"value":{"entity-type":"item","numeric-id":529055,"id":"Q529055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5132161d937418e93f0ccbdbb9c89b48715bdeeb","datavalue":{"value":{"amount":"+0.7763058543205261","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":"Q2090217$873AC4DE-E3B1-47A6-A1C3-0593E2C88B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4ddabed42e129b7118a7efb54b9a6e945e883c","datavalue":{"value":{"entity-type":"item","numeric-id":5260751,"id":"Q5260751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e07563485b565d14984941b37fabed1db6fa7c","datavalue":{"value":{"amount":"+0.7540650367736816","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":"Q2090217$CD1ACE50-4C0D-4606-8D56-75E6A23FD5B6","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":"1805070793259f9384a603ce87a349ba742a1f83","datavalue":{"value":{"amount":"+0.7363823652267456","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":"Q2090217$B2EBD675-0F05-4683-9937-A00446D9E0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf6a462b16c96796aee5f5202a53cabdde97774","datavalue":{"value":{"entity-type":"item","numeric-id":3461727,"id":"Q3461727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381bcffd5f8a65913006d41d4852b31df2a3f9c9","datavalue":{"value":{"amount":"+0.7303574681282043","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":"Q2090217$F6E96BC7-FB9D-4EBB-A999-C5A5D6A237EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ec98f1e549b0421bcdbfa7555159040865db59","datavalue":{"value":{"entity-type":"item","numeric-id":3194065,"id":"Q3194065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94d25af125af3e0ecbec934eb791c2fc881da63","datavalue":{"value":{"amount":"+0.7237251400947571","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":"Q2090217$883C4A17-6535-4909-A3D0-49D3DED78D2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2090217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2090217"}}}}}