{"entities":{"Q5156185":{"pageid":7185756,"ns":120,"title":"Item:Q5156185","lastrevid":54113537,"modified":"2026-01-26T06:50:14Z","type":"item","id":"Q5156185","labels":{"en":{"language":"en","value":"Measuring inconsistency in some branching time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410019"}},"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":"Q5156185$5C53EE47-C91B-42DA-A9C4-B89F5CA5975C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67d998127de5d8ab2e93457e9edc6ef6c1c1043a","datavalue":{"value":{"text":"Measuring inconsistency in some branching time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156185$DB8FD67F-93F1-47AD-A93C-0B0C60DB4ABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a7b8e30f64b76b9076319b8cd094af41afdd926","datavalue":{"value":"10.1080/11663081.2021.1915688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156185$E93B4ECB-72B4-4106-99F0-B54EB72DFE3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$A48E07C5-5C65-4280-91A2-907DB7D68DF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"797e307b5ec121d91cae85a6df98153aeae7e6e2","datavalue":{"value":{"time":"+2021-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156185$A8796AF6-BFE8-4F75-8E44-ABB5C31A86E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156185$ECA61A81-4F72-4035-B5BC-B18285960D61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008753a4b792739599eabd526df3e0e6ecba3b2a","datavalue":{"value":"7410019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156185$F863569F-B39D-493B-BD89-FBBE471E15ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201198f5d642e36f424bf4507939e91265429666","datavalue":{"value":"inconsistency measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156185$10F1D724-A371-4C19-A1C3-EB88FBC4ED47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156185$2CCE23D4-8047-4925-B698-0925877C7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea96d226aac7dac3483775cf6f512a951b63f66","datavalue":{"value":"canonical tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156185$C41E4F4D-8E6B-4FF2-8A7E-43D2740305BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aad150768426b73055f4d561c1440a565e276a4","datavalue":{"value":{"entity-type":"item","numeric-id":1383012,"id":"Q1383012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$AD60865A-CF67-42BE-A67B-E67CF894E039","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":"Q5156185$DCD1C546-B51B-4110-862B-18E1BDD717AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b85a5a7fbe176b198824324b4544d1bfa2e98786","datavalue":{"value":"https://doi.org/10.1080/11663081.2021.1915688","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156185$6799A245-FE20-4D35-9F12-35276ACB1931","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb26a9e52a2f2f71910e77acb099921f9e889be2","datavalue":{"value":"W3165682373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156185$83436976-6C31-454B-8ACF-F46DB9FAC2A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e175a6d4bcbdca06c09009fcdcea35c117c9c46","datavalue":{"value":{"entity-type":"item","numeric-id":2938508,"id":"Q2938508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$7727088F-D780-428C-8F2C-F56A2D317A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4c228c5221bc70ffd256e94f444e87b86e359f","datavalue":{"value":{"entity-type":"item","numeric-id":2302300,"id":"Q2302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$1AFF5F69-61F8-4D55-8169-AA9E407494DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$AB93DCBD-13F4-4417-A726-312058B3990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27540f05b104b11a1f61b5c41439fd4c3acf3faa","datavalue":{"value":{"entity-type":"item","numeric-id":1217107,"id":"Q1217107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$CA06591F-3AFF-4A23-A2CD-6E2C3FBF9BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f3a46aef62e159731a26c4cbc7c52728334467","datavalue":{"value":{"entity-type":"item","numeric-id":4581210,"id":"Q4581210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$3451BBEC-9BD2-427F-B432-C2D9E064533A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b377dc4f14b7641ea005821559fe74ed2575d6","datavalue":{"value":{"entity-type":"item","numeric-id":1610611,"id":"Q1610611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$235E88C3-CA87-4488-BBB2-5DF3C98063D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d26216cea90cdbf89c2c965e2bdea9b6709928c","datavalue":{"value":{"entity-type":"item","numeric-id":3524922,"id":"Q3524922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$39EBAE81-DEDE-41CF-999B-29A6CF86B1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$CCD19ED8-F4A0-431B-9965-A7E6EC36C146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b41b1d9054fb0a3b199d1eff0063f2dd2789347","datavalue":{"value":{"entity-type":"item","numeric-id":360045,"id":"Q360045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$BF4B0445-88BE-4954-82D6-DEAEB63CE109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642084d9bbea659af7231221423abd96f76111c3","datavalue":{"value":{"entity-type":"item","numeric-id":253979,"id":"Q253979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$1820DF4C-C703-4566-8B97-8CB18300A292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e0a4061446cd4427d127835114105e0cdb0e33","datavalue":{"value":{"entity-type":"item","numeric-id":2407935,"id":"Q2407935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$BF854483-7118-4DE1-A582-88429201007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4292163ee9f000e758f073f835816cf594b46b63","datavalue":{"value":{"entity-type":"item","numeric-id":5226731,"id":"Q5226731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$223C23E2-63AC-4CAF-860B-AC0EC54DF30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34127b9a9bcb38b40732a539fd782fbf5750a06","datavalue":{"value":{"entity-type":"item","numeric-id":2321337,"id":"Q2321337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$3C92B7EF-F6B5-4153-8B26-FDC37F50E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a9f3677602a06f0759118b4a2ea8c0bba70a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2211858,"id":"Q2211858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156185$3419EF32-6CF9-46DA-815F-9F27BC968470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d45bbb0ebf7592d915d3245accab896e98e94b","datavalue":{"value":{"entity-type":"item","numeric-id":2080703,"id":"Q2080703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ae0813852b325d1b95e1eee5aece9424a21a1a","datavalue":{"value":{"amount":"+0.8556506633758545","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":"Q5156185$7EA85CC9-A3D9-47BD-8E0C-8958EE996C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d387db4b02b3e6a5f5d91b443e5d3799c737ea","datavalue":{"value":{"entity-type":"item","numeric-id":2321337,"id":"Q2321337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa571b802ffd141c36ff92ca8ba06d82c0548a2c","datavalue":{"value":{"amount":"+0.7997932434082031","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":"Q5156185$B484A89B-B0A7-4C3F-A23B-83803628BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf2894c3a6cf1e854235ffdf19fde7c96b856bb","datavalue":{"value":{"entity-type":"item","numeric-id":2198316,"id":"Q2198316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70982a871634aa71fe306de94c7d103d8ecf103c","datavalue":{"value":{"amount":"+0.7985097765922546","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":"Q5156185$F811B354-6F32-4BCB-8778-3929E7115051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7fa152cb713d69574c4aa0b3ee55d5f5d4aa4a","datavalue":{"value":{"amount":"+0.7603607773780823","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":"Q5156185$E40C53D5-5FB8-46C2-BB97-FA6AF0F606BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba02896c87ae85119a0aba07573672c303d6f97","datavalue":{"value":{"entity-type":"item","numeric-id":2407935,"id":"Q2407935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6509e5bf5b3a3704a0f1b031a9605032e20a29a","datavalue":{"value":{"amount":"+0.756615936756134","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":"Q5156185$A2734D31-449E-4B34-845D-F297DD2EA78C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156185"}}}}}