{"entities":{"Q1289103":{"pageid":1299853,"ns":120,"title":"Item:Q1289103","lastrevid":70593471,"modified":"2026-04-13T15:38:40Z","type":"item","id":"Q1289103","labels":{"en":{"language":"en","value":"Undivided and indistinguishable histories in branching-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1290124"}},"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":"Q1289103$4CB399AA-5240-4F2C-81C5-8311F44268D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4f8ee73e1a5b4c5ebe966de06c7e231cb5f05c9","datavalue":{"value":{"text":"Undivided and indistinguishable histories in branching-time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1289103$7B000BA3-B202-4583-A43B-C0FDE34B34A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f1d23d6dbb53eed774a51cd145a15812530c2d","datavalue":{"value":"0921.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289103$3E6A4C2A-AAF9-49A6-8DEF-2A5D1F17C7FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d2e5513f3ca467ac4a5b29ba24f7779ca262914","datavalue":{"value":"10.1023/A:1008259000544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289103$C3A776F5-D10C-43B8-93A7-ACF458737619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289103$2E1763BE-2032-49F0-90EE-E9CB4854C68F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289103$2B8DEE1D-9ACE-4F7B-B61C-3B58F80ECE0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec2443ff209285a956ca794883324a907a1d35a","datavalue":{"value":{"time":"+1999-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1289103$F99EB3C6-60DC-4566-9FD6-D3FE760E7CB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289103$798BB8E9-0410-4AAF-9E2A-F50D24D4203B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c024f7a694caa5ada391e47ec5e196ddd91a918","datavalue":{"value":"1290124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289103$75CBDC90-FD88-448C-8C1A-336104D9F210","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a560d25198f5fe1fbf0407d5e3a631afbdd58e98","datavalue":{"value":"indistinguishable histories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289103$246E847E-B38C-43BF-B9E5-38BA9AD7FC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289103$908CADA5-BFBE-48A0-86BB-E37F775B07B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fddbbc014a872c329d812cf1186160299ad9a7ae","datavalue":{"value":"undivided histories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289103$58063455-835F-404B-BC07-E4D68638CE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed36827b05da7156060f0f25cc304025ca7e81f","datavalue":{"value":"tree-like representation of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289103$BCEE1E3B-11A0-4E2B-967C-B5A1A9260E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e096d272ef87e4397df5fbd94c5f3b5a59c61e","datavalue":{"value":"branching-time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289103$7136397B-8D4B-4CE8-8160-A2EFA15699B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289103$5AA35167-4F93-4E37-9E20-FDB8A230C1BD","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":"Q1289103$67FBBFAC-01C3-4938-9CCC-B4C54BFC86EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bba9bb1d120a5a91d6c7c48e6a3b546e5e7e3","datavalue":{"value":{"entity-type":"item","numeric-id":288245,"id":"Q288245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255d4618eba6a760b6e91f67c8d071dc1d21460b","datavalue":{"value":{"amount":"+0.8926853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$F79E6781-354A-4F4F-A111-795502E7444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a3dab2198bef7915b3acf58d29beb70e7622e","datavalue":{"value":{"entity-type":"item","numeric-id":857669,"id":"Q857669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e88a30c5b3d1b46dacfd4840f20bd520a15fa4","datavalue":{"value":{"amount":"+0.89243335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$26A6897F-9C6A-41E7-97F5-6CAB66974FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982bb7e09025b9a8c7dc18c11f0f387772db13ba","datavalue":{"value":{"entity-type":"item","numeric-id":6168424,"id":"Q6168424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00faceb0e79b368cbb9d901be4112846c850f3dd","datavalue":{"value":{"amount":"+0.8815868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$FD6A70B7-157E-4B82-B261-789A464A47BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cea447b8d1c038bc75fc3e341ad825254526d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bc11e46a4af159609d69306f9fc6ad2b7c4789","datavalue":{"value":{"amount":"+0.86925584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$6B241477-6794-42D8-AC93-C091D8A7D8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53300670ae819c6926b6ea985350a037e29a28ae","datavalue":{"value":{"entity-type":"item","numeric-id":395577,"id":"Q395577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad1a29010f4926e6a462f102e20ceec378d01f6","datavalue":{"value":{"amount":"+0.86530423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$95B25FF9-62D3-4355-B48C-D45986740E59","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":"dfa9c40030c5101d49d821d0420d5da0d174baca","datavalue":{"value":{"amount":"+0.85955703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$203E1CB5-B52C-4EF2-8666-CCB6E7B27288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f81aa2aaef83289dd62a4e56a0e4bb731fda785","datavalue":{"value":{"entity-type":"item","numeric-id":1203784,"id":"Q1203784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7d682cef668d11634ad70c8672fb9655b6cf76","datavalue":{"value":{"amount":"+0.85328305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$6D6CC1D3-D30A-4713-A6C6-6581D599DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be0a25b80c2674b62063497e44b388e11e8effd","datavalue":{"value":{"entity-type":"item","numeric-id":1337463,"id":"Q1337463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c8d5c87c6b479c5d53bea6aff5e750f8399952","datavalue":{"value":{"amount":"+0.85294837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$143652B4-A996-40D9-8700-FBA87267D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfb0286af2516f45f57878c1d259024547b8512","datavalue":{"value":{"entity-type":"item","numeric-id":4652741,"id":"Q4652741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db198ff21eec055456b7adaeb516aa06d382281","datavalue":{"value":{"amount":"+0.8525974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$E4B01E24-7879-4ECD-AAD9-20B3795E7F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e522ac3d6d2de2a904b111eb14d26b1185a089","datavalue":{"value":{"amount":"+0.8511267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1289103$DD2C7697-CCD1-4CC8-B117-C0F9546D294B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undivided and indistinguishable histories in branching-time logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undivided_and_indistinguishable_histories_in_branching-time_logics"}}}}}