{"entities":{"Q1990466":{"pageid":2001208,"ns":120,"title":"Item:Q1990466","lastrevid":53252990,"modified":"2026-01-24T13:44:59Z","type":"item","id":"Q1990466","labels":{"en":{"language":"en","value":"The interpretation of branching time diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965519"}},"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":"Q1990466$F7644F0E-12F6-4A12-B560-77D4B317D85F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d298dc56eb7217ab965759615900393949ef540","datavalue":{"value":{"text":"The interpretation of branching time diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990466$C8FF7F95-5B70-4B30-AE80-45D35EECB6BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13449a535161ceb474d5798f9406dd964cb3f534","datavalue":{"value":"1398.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$0EA6CB35-2F8C-4160-A7ED-AA81A953A8AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e61c11e779f230bcb46cddb5a92647354d788b4d","datavalue":{"value":"10.1007/978-3-319-40985-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$963A7F41-3BDE-4698-8282-B2F2494E203F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9278d45cf3c0e53121baba30b3bf657380e16b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1990465,"id":"Q1990465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990466$4FA742D5-CCDF-4434-9A19-F4467694EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3cba672d4c4d633762083bb983c0b090c165ea","datavalue":{"value":{"entity-type":"item","numeric-id":395570,"id":"Q395570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990466$473169D8-9F00-4095-8C47-48EF4954B60C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-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":"Q1990466$F899EBF4-1A89-456C-989C-4554B806405A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$1D2341DE-7A82-4C1F-B5B9-E2E54FC05878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$6C5C1FCC-EFA6-468E-95BC-F10013A45B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$CB8046F1-4587-41C1-BE70-C01217342C35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"851b79ddc50cf0579df2d0049c7fe8c3a5df93e7","datavalue":{"value":"6965519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$B2C950C0-C545-40D1-ADD0-82CE16976B35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990466$795A17BA-CC55-428B-96F1-5929A3F853F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4a2c5baaafd865074051fd738a8a304fa35e1e","datavalue":{"value":"A. N. Prior","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990466$046C6322-8C32-4539-94C5-2A96AAFF6E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2cb2d7840582bc4ac783a0fbe69cfc3ab443f2","datavalue":{"value":"time and existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990466$58D336CC-E173-4615-A1B0-05508D2B94DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990466$21589BA4-53E0-4217-8201-5CC101961BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19384aaea676b991515c62a36d49b7adad485771","datavalue":{"value":"concept of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990466$8A8AEF03-716A-4DC7-95E7-A7EE284A3C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"327b0dc0f728ae6062afd01d7d17c61b8a5bcdd5","datavalue":{"value":"natural language reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990466$1E34F65D-2B9B-4780-98ED-219809CD63CA","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":"Q1990466$20227ED2-5096-4876-9665-6349D8FD2587","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e63c48699edf9de28ba56e7d7b5a6f60a2f50403","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40985-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990466$85FCAC36-83C0-4149-A43D-7575D12C0866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7e374114264a8e8a656e4d6405c136fb798a84d","datavalue":{"value":"W2471125467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990466$F366F8C9-0958-4A1B-886E-1B3ED5911DE5","rank":"normal"}],"P1643":[{"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":"566bf334d725298c087ac8ef6cf15961b970270c","datavalue":{"value":{"amount":"+0.7834668755531311","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":"Q1990466$9CCBC0C4-AFEF-4156-A5CD-A05E7B85A284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad2392c2705a6fb7819afd7f765f00da0351e23","datavalue":{"value":{"entity-type":"item","numeric-id":3630236,"id":"Q3630236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6ce2edb7a4a95025afcaec3531e98bbd04baf4","datavalue":{"value":{"amount":"+0.7360722422599792","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":"Q1990466$DB6A6FF1-308B-4077-8E7F-048C4BE005E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d61461c011d99eea3833027150b6e050f156518","datavalue":{"value":{"amount":"+0.720986008644104","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":"Q1990466$D515AD01-9CB5-4215-BDF8-C1D028846E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"497c7c58a04e0a98474b8cb23bebe7e65ea64d9c","datavalue":{"value":{"entity-type":"item","numeric-id":516426,"id":"Q516426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcda52f368bf0392eb93e1e05ad95fea3ae8e07b","datavalue":{"value":{"amount":"+0.7209858894348145","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":"Q1990466$DB04712B-C1E7-4A06-AE46-0508FD6401A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4712707e72189aa0a515556875a99cc2b80bf3","datavalue":{"value":{"entity-type":"item","numeric-id":516393,"id":"Q516393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7e22bf012d2f7a1e21702102b13ace578e7ca1","datavalue":{"value":{"amount":"+0.7174273729324341","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":"Q1990466$F22AF0A8-8194-435A-AD11-396C6AA3EADD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1990466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1990466"}}}}}