{"entities":{"Q529055":{"pageid":530822,"ns":120,"title":"Item:Q529055","lastrevid":62516595,"modified":"2026-04-11T06:37:50Z","type":"item","id":"Q529055","labels":{"en":{"language":"en","value":"Computation tree logic model checking based on possibility measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720060"}},"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":"Q529055$1C2EEDD6-A7B7-4DF4-BF97-694931B7E148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f598a13fedab29232bf4a96521aa90a36e665f88","datavalue":{"value":{"text":"Computation tree logic model checking based on possibility measures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q529055$5C021285-26EF-4570-B9B9-B3556F067973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c87c9a0dd78fa1eabc03ada10a4d84a9c4da09df","datavalue":{"value":"1361.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$2671A9FD-C47A-43B2-9F2A-77A3F72E5981","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b47b702b65dc19b7f5e519bc82e131c2cdfa64","datavalue":{"value":{"entity-type":"item","numeric-id":515021,"id":"Q515021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$3F3981DE-BDF6-48A8-984A-8BDCF8A3A0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049a35abe40c2089a5c14810bf4e9b9bfe47bce","datavalue":{"value":{"entity-type":"item","numeric-id":460237,"id":"Q460237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$53118F14-4475-47CE-975F-DB0F358CF033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$8877E4FC-F94D-4AAE-85B8-0342949DB163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$024520B6-AFAA-4966-8762-390E2978424D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q529055$7E02083A-15B4-4394-B931-B2DFC25AED34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9b3bb9ad430327ce2e88b495701207270eaebdd","datavalue":{"value":"https://arxiv.org/abs/1401.4658","type":"string"},"datatype":"url"},"type":"statement","id":"Q529055$97708712-CB14-4ECC-812F-A4AD83C64D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$A82911AC-3BAC-439C-8A81-B4D33CD4F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$B39CAE33-96F5-46B4-8033-25809186A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$C0839172-3FB0-4B8C-B194-6751E6953013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afe21a9fb6518239b3f604254664836af0b0348e","datavalue":{"value":"6720060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$DD79172A-4582-4C49-ACE0-321CD2B262EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q529055$D3DF45CE-3B85-4F89-A0BF-B452C1F71E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee2738bf9a20f9acd05c8dda5b5deaddab7d9b91","datavalue":{"value":"possibilistic Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q529055$942C82FF-0677-458A-823F-AD16F5758386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0e22ad162642e73cf52130dc1d0744977106ef","datavalue":{"value":"possibility measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q529055$7DE4581B-F0E5-4CA5-891B-926A22FDF14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06eee792be7d3eec103ea4cc26f45ec7ed903887","datavalue":{"value":"qualitative property","type":"string"},"datatype":"string"},"type":"statement","id":"Q529055$B992AFA2-4667-4AF3-BAAB-B758F40A5D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ca68cd18f83e504f23536d4cf115f9cd87c148","datavalue":{"value":"quantitative property","type":"string"},"datatype":"string"},"type":"statement","id":"Q529055$9260E662-6A13-485C-87D9-256ADDE90292","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":"Q529055$6BC94E6C-43C1-4C97-8220-E6692BE64558","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2b22c0e587a6f1a53e890e54d40454e6d48b7e9","datavalue":{"value":"W2015370791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$EF2429FD-0C6B-4B07-870B-B56281A1C1BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46cb3f033c36c58dd0e66d2187a50ff950046f35","datavalue":{"value":"Q62038107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$70272966-8179-4FB5-8506-130350D3427A","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":"Q529055$75187EAF-93BD-45CF-8E55-B40DCBAE4402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57942ead2461fc3d7961456847cb883a9fc33e","datavalue":{"value":{"entity-type":"item","numeric-id":764350,"id":"Q764350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$9DDF2506-A360-4D77-ACB8-48281CB99834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$1F0BF782-4872-4304-9028-77F47E578CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4904cf5db3f3bae422c4c5e1b2c7f304abbb8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1749228,"id":"Q1749228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$B854BDF4-A9BC-476E-8DF1-539E64F483F1","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":"Q529055$34BDEDFC-6815-4759-9F4B-DBE28751494B","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":"Q529055$110DC9D4-51D5-44C7-88FC-DDA49874441D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbdafb54965b3c8ad4b7e2330bdbbb850a02bf7","datavalue":{"value":{"entity-type":"item","numeric-id":1103418,"id":"Q1103418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$0417FB64-6096-4C45-82FE-0CBB4BCB451A","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":"Q529055$744BE51D-623E-4333-8A72-9D0A3A1204F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60756c55e3462f573c8830095f778828774f36a","datavalue":{"value":{"entity-type":"item","numeric-id":1968810,"id":"Q1968810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$A47F9671-A337-4F4D-8047-879C7D1745FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f40276dec1a5608df60bddb3062a45d089860e","datavalue":{"value":{"entity-type":"item","numeric-id":1344258,"id":"Q1344258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$F6B58BDD-A9B5-4B09-B289-8211A79430D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94ce82facff0f2e4f1d67b6e302024de8cbe6f0","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$3060A981-04A5-4B94-AD2B-D6175508AA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ad3044832c9786d81cf725b459b807085f4a31","datavalue":{"value":{"entity-type":"item","numeric-id":1087329,"id":"Q1087329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$8E49FFB4-BB69-4360-896A-E50D46E955FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca119766f6f61594d133330aa637ad830003d46","datavalue":{"value":{"entity-type":"item","numeric-id":812560,"id":"Q812560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$061967B3-FB80-4A96-B766-B8D9AD934956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cc968b4d7eceb6240743bb6ac8a7d125858523","datavalue":{"value":{"entity-type":"item","numeric-id":4791753,"id":"Q4791753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$4357A07B-6156-485B-92CE-7F7C36D992F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529055$686A2C70-301A-4BB0-9AE2-6E790AD2790E","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":"Q529055$BBCECD9B-094A-46F9-9B96-5C858D499710","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":"Q529055$1075CAD3-22D2-4870-BC14-D9526A1F5680","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6e5cd08cd705107389f352ca7e430d03815207f0","datavalue":{"value":"journals/fss/LiLM15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$81AF7576-663C-4B1E-B372-55C1A87720CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf7e932cee37fc218ddb76da7fd7c06afa60bbef","datavalue":{"value":"10.1016/J.FSS.2014.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529055$518B585D-B73B-4A85-B607-F25BF297EF24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90468a91a503ed58c171f131f94f9eb6219a71cb","datavalue":{"value":{"entity-type":"item","numeric-id":5167649,"id":"Q5167649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ef6707dae4143d3ddb9cfb743ab715b89905ef","datavalue":{"value":{"amount":"+0.9161424040794371","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":"Q529055$FE3E7D1F-D5BC-4A27-B5C1-E6B86F81267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237a11b72e2d646a678bdc54e1549b34ce51e60e","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a94a52a9d895aee331154ad17998d942f82636","datavalue":{"value":{"amount":"+0.8642169237136841","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":"Q529055$EC47EEF4-8605-481E-9AFF-7B5B2AFEEAC3","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":"f9b0af0ec8d7a449c0612346d8439fdd95c3a1a0","datavalue":{"value":{"amount":"+0.8310572504997253","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":"Q529055$835522C8-1759-41FF-9986-D99E072116A8","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":"e4c270040edec5547440127ce78d9f789ba3e850","datavalue":{"value":{"amount":"+0.7949329018592834","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":"Q529055$35829B38-B5FE-4E66-8787-8CD682A2A865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa0e14482a558c7c73bd24c10b97b3f39c073bf","datavalue":{"value":{"amount":"+0.7858045697212219","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":"Q529055$05A02DEB-E4E5-4A8B-8520-F08E88113BF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation tree logic model checking based on possibility measures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_tree_logic_model_checking_based_on_possibility_measures"}}}}}