{"entities":{"Q288245":{"pageid":290012,"ns":120,"title":"Item:Q288245","lastrevid":60722412,"modified":"2026-04-10T18:44:01Z","type":"item","id":"Q288245","labels":{"en":{"language":"en","value":"Axiomatization of a branching time logic with indistinguishability relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6584573"}},"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":"Q288245$9E4687EC-E0F1-4EE1-9E7A-0A686F44AB15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b89886e0cd7c2cfe895a6f9d793b85f96f50a277","datavalue":{"value":{"text":"Axiomatization of a branching time logic with indistinguishability relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q288245$93084D6A-C24D-4AB3-9A6D-2407B87E1000","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3ffce07b3a3e6c589ac3ab522b6ed78b7e40d33","datavalue":{"value":"1392.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288245$94E08D52-E078-48B8-BF6F-0C9A60C2F22D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2865c3b136cf51adf2c2b07ae4de5f275d07c58b","datavalue":{"value":{"entity-type":"item","numeric-id":288244,"id":"Q288244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$5B32963E-F5C2-444E-8E2E-7A69CF2402C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$0CA4CA20-E541-438D-8207-98C9A6BFD487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q288245$EF81A05D-3AB2-490F-9CAD-8771ECE0ABCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288245$DC794A42-B070-45B7-AF9A-81B09DB8B58C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b57c39a529668f0d54de2e59d84353606ff4d1e7","datavalue":{"value":"6584573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288245$80389018-0ECF-4205-A44C-F55C5035C142","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b233c887dd94ecd19186a7517f258ccb36e4432","datavalue":{"value":"branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q288245$C7A0AF4E-EE0B-42C3-B6F4-8A53DCA3558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q288245$01E49375-6DE1-4107-86A0-25ECD97C153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q288245$DADE824D-E270-4966-99AE-37786B31C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb378944c9f98e998a02bc361293fd8b0da37ec","datavalue":{"value":"indistinguishability","type":"string"},"datatype":"string"},"type":"statement","id":"Q288245$8A606B23-CB8E-4EFB-AC93-C08AC5AD4509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c6100658c39b62cb123bfef5c4d52eb39d135","datavalue":{"value":"irreflexivity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q288245$C0D87AC0-8204-4CF8-93E3-19DAE038CE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7732b5a25259d11dc97e49be5e3a5aaac7e5421d","datavalue":{"value":"bundled tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q288245$831B7D2B-5E95-44B0-80E2-9C638938656F","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":"Q288245$8E2BC7A9-D891-43ED-91B0-B600FB6041C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08e2eeffb4ca8016705a91022833a273031a37ca","datavalue":{"value":"https://doi.org/10.1007/s10992-015-9369-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q288245$1DC602B1-D073-4117-9FA8-5538253A58BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce3a614c357f9f04c55a80e936cbe2429b9a843","datavalue":{"value":"W1987512432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288245$F709250F-EF68-44C3-8572-73FB9EA6E8F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$EBEBD811-FE58-4F64-8767-E3B22D47AC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$223EF913-0185-40F5-B432-4B26D594DFE2","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":"Q288245$616CACCF-BDD1-41F4-AAAF-6AE2282D8658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$68E218F5-7A87-4E39-B1EB-079A6CF69263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$92DC7491-E350-41BB-9ED3-2CCE3926109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4f42da1ca70eae4486b2adc0ca5052bd5a361e","datavalue":{"value":{"entity-type":"item","numeric-id":1328657,"id":"Q1328657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$A66744AE-4020-4727-9219-4DB6C2C60758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$5647626F-B084-41C5-B3B8-1ADE010420E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9fb3d37eaa42c39fd894af0866ac61438610a5","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$5EE78A3C-259A-43AF-B50A-42ECEB5ABB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf55390b4c211da4d377d9d94a071fa57ed54f7a","datavalue":{"value":{"entity-type":"item","numeric-id":599807,"id":"Q599807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$86E71ADB-0FF9-437C-8861-8E6EBD3B7ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94153516c0a44530843b9b9ac5dd12a19baf3c18","datavalue":{"value":{"entity-type":"item","numeric-id":1918904,"id":"Q1918904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$9253E443-B131-4DD6-838D-FB1CA51A505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$01C6AAD8-1E69-4FC4-BC5E-412D45506F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edade558002bdb828aa990a94027d1bb2a314bb","datavalue":{"value":{"entity-type":"item","numeric-id":5894818,"id":"Q5894818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$A3D7E113-C23E-46C5-BAF2-F1512A608D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed3d215c1a5946fa00881d0b99d0a7ed79af7630","datavalue":{"value":{"entity-type":"item","numeric-id":5311046,"id":"Q5311046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$2F6E14FB-6B7A-4144-89CA-99F4F3BFAF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf98953dd73acfddd93835fae1bda7618af622d","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$7F30DF8A-52A6-4900-BDC1-C04D9E6CA40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$BAF7F8D6-EC2C-4FA6-ADF1-7AC0762B5931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$CCB573A7-1268-44F4-BE55-4041A7A6DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dacf2a49aa233bd18fa72ccdf01e05d3821499","datavalue":{"value":{"entity-type":"item","numeric-id":2276944,"id":"Q2276944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$C08EBF4D-6325-4298-A298-F0369FECE037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc5db43eaf35bb5b801516b08f876b5e7d02563","datavalue":{"value":{"entity-type":"item","numeric-id":4276172,"id":"Q4276172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$B2E1CDBD-84A0-4669-A9FB-4097CA6F27F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bdb9ad587ca14f6ff1ceeeb9629deb5f620ba15","datavalue":{"value":{"entity-type":"item","numeric-id":1289103,"id":"Q1289103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288245$790BFF66-8748-42E5-B8EF-7E9BE8F21BB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57ed62827c94b7f7e69f508bc09a77fecc246ce4","datavalue":{"value":"10.1007/S10992-015-9369-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288245$70F117B4-7161-4595-BCBE-03DB64440E74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431c959e94ea4f41de9800527d21827af7e51252","datavalue":{"value":{"entity-type":"item","numeric-id":2276944,"id":"Q2276944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3693a18b5422c98832d3143107bed96b82606431","datavalue":{"value":{"amount":"+0.823259174823761","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":"Q288245$05A88A79-71E2-4F60-8D9C-47CA69125CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72ea4bea2ca32c16557917415d30c835acde50a","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f03326fd9ab0e9d1e93460b0199f61bdb3e2b2","datavalue":{"value":{"amount":"+0.8116272687911987","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":"Q288245$BFEBB860-8857-4812-AC0F-E3463BF18AD1","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":"e49f88c7ba5063167d1ea0a40e69fdc851231d06","datavalue":{"value":{"amount":"+0.8082831501960754","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":"Q288245$76A3ACEE-67E8-4A3F-BA2E-4D2C2CD60415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371b83fd6f817342e0f3bff17e817d9eaf038dc","datavalue":{"value":{"entity-type":"item","numeric-id":1288173,"id":"Q1288173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6188e54441dfd9d3b1a9b06ff2f6c91149c182b9","datavalue":{"value":{"amount":"+0.7872850298881531","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":"Q288245$25D65738-7E1C-4C24-9C4A-24B5D598DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173198d3c9b3be548ec242188f2e17f77b2b097","datavalue":{"value":{"entity-type":"item","numeric-id":3442402,"id":"Q3442402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0be450ff05044118cf6b7bc3b9ac014e3a321b","datavalue":{"value":{"amount":"+0.7872849106788635","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":"Q288245$96616567-DCDD-427D-92E0-C9DF30168B86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization of a branching time logic with indistinguishability relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_of_a_branching_time_logic_with_indistinguishability_relations"}}}}}