{"entities":{"Q3194065":{"pageid":3204773,"ns":120,"title":"Item:Q3194065","lastrevid":86637257,"modified":"2026-06-04T03:41:16Z","type":"item","id":"Q3194065","labels":{"en":{"language":"en","value":"Model checking of reachability problems based on generalized possibility measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6500878"}},"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":"Q3194065$43F22EB3-42E7-4447-9E91-E6F4FF634677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f8eaca31f3a2860289e288f3cac764bedd35849","datavalue":{"value":"1340.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194065$83CFBDC5-62C7-4757-B349-BBD528EA9D15","rank":"normal"}],"P16":[{"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":"Q3194065$22024B74-CAB2-4E0F-8357-FC0D565ACD43","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":"Q3194065$271DE1B0-BF1C-401A-AF46-1B997E17973C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194065$51A08F95-B0F6-43A9-8548-3D307FD864B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194065$61FE3C8F-D822-4D3D-A9D9-1CCEA416FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194065$E7669831-540D-4FB6-B356-F5C3E39061B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f747120b6c27029549df1d47bb3a3fe6839e93b","datavalue":{"value":"6500878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194065$5A8B7D7C-EB8A-4D1A-B20F-705BBD4E365B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194065$702281B2-71D3-4B03-9F66-EFC7D69B0F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194065$E7B122AB-D9E2-4675-8A39-2C2AA540D872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d26c908327caa4aa9a9d16c9247083497ec100b","datavalue":{"value":"generalized possibility measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194065$91F03BC3-2C4F-4288-B7AC-94298098CD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194065$3063AF1E-8D88-49E9-B225-8280B519BD84","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":"Q3194065$7C05D0D2-9441-4716-9DCB-96F2B1F66B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601bb904986fe647403fef88f942b732e6f5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a03846be71ce6b48320784e5fdb4710cd3b5bb6","datavalue":{"value":{"amount":"+0.8527542948722839","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":"Q3194065$C22D0F18-B4EF-4861-9321-65484358B7A9","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":"06b79ada67e5dfcf4b11c4d814fe2c349c16f448","datavalue":{"value":{"amount":"+0.8243669867515564","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":"Q3194065$35ED3716-F5BE-4C2C-9C47-83F6C5C98E56","rank":"normal"},{"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":"ba03327dcba004c9d77cef2fa8b42a4e85310c9a","datavalue":{"value":{"amount":"+0.7765031456947327","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":"Q3194065$5F989EB0-9B34-4081-B43A-1294F6CCAE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc9596cf17897c472773f89fbff35fb24288ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853bcb18ec9e534799e7ac626e859c914858d07e","datavalue":{"value":{"amount":"+0.7696544528007507","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":"Q3194065$C6AF9164-754A-4892-995D-8420E4A8AA5D","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":"853bcb18ec9e534799e7ac626e859c914858d07e","datavalue":{"value":{"amount":"+0.7696544528007507","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":"Q3194065$8A2E96D4-660F-4E5E-814B-227240275537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking of reachability problems based on generalized possibility measures","badges":[]}}}}}