{"entities":{"Q2453109":{"pageid":2463852,"ns":120,"title":"Item:Q2453109","lastrevid":73199493,"modified":"2026-04-14T14:57:05Z","type":"item","id":"Q2453109","labels":{"en":{"language":"en","value":"The quantitative linear-time-branching-time spectrum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301503"}},"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":"Q2453109$BF29E4D9-590B-4C81-84D9-C7F0C9A3CED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"385d575ad06cd9efffd7243c10f35dc8874cfacc","datavalue":{"value":{"text":"The quantitative linear-time-branching-time spectrum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453109$C5AABAA2-03D6-44C4-A60C-0DF6252FA75E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9e4f8eafc82bfd71d4d7182d63fbb627b943398","datavalue":{"value":"1359.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453109$4491CE4B-8C3D-424D-B59A-0776C7EBE5C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$4BBFB287-48D8-4CF9-91DE-3080CB4BB16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$DC5D7DE3-8936-44FB-A8EE-D8A6BF55EAA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$746DA48C-EB0A-444E-A51E-0A4853BE5489","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453109$9B806A7D-628D-4022-8934-59AF0E3793FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453109$761E5840-DA4A-4768-9A76-C41A9FD0D7C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e7f59727a39c124ab72c58ba8e2e7e43fb3168","datavalue":{"value":"6301503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453109$D0FF9845-677F-4B6E-A282-E05ABFDBE62F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453109$365823C7-0273-4888-822F-8E97DAF12AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1b0b99a3f753b5f8ac8fd6e7702b02b4f85fe2","datavalue":{"value":"system distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453109$FF68F131-8584-47F3-9968-59529456D167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b68f23475ace287b80a0f664959b6a0bbe5466","datavalue":{"value":"distance hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453109$4ECA2D83-21AA-40F8-BEBF-18559E75DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453109$FEBFD9B3-1484-49F3-816A-A066490968C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453109$C761B6D4-8F91-4419-9936-4A186FFA39BC","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":"Q2453109$CFE39D5F-39AF-4EB5-8539-C2A914F3D1EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fad8207e681c09c37837be8afe5be59f327836c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453109$10020BBB-90EE-4271-923F-D61633C9FA3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee41eec433e86a27fbe4fb3cd6135430641152ec","datavalue":{"value":"W3022137235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453109$8A2172A3-3DF2-4C4B-8AB0-8690C65AF11B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2d4495b45f85cffec738170e5ed244ba561de4","datavalue":{"value":{"entity-type":"item","numeric-id":5641037,"id":"Q5641037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$DE4BE089-B5BE-443A-82C0-500697F83BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae16952a7c24ccc9fcb723a162581a6a06b64568","datavalue":{"value":{"entity-type":"item","numeric-id":764284,"id":"Q764284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$AD4BD20C-4BF9-493A-BCF5-5C148A3F6BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$44E84992-E8FD-4C3B-9D86-D686C48D5A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$FFB98C40-C038-441C-82FA-DB3B72787B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$45C73341-3F0B-4564-A8D2-F60C5C8E4333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05859705e5fbb38f21fd006b6726ab74ea14b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1172002,"id":"Q1172002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$5D2E22AE-3C47-4757-8EE6-73E3AF9C26D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7ce139f0a66352d43c1745632611b09377b14c","datavalue":{"value":{"entity-type":"item","numeric-id":2970258,"id":"Q2970258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$45229E3E-E3C6-4ABB-B103-2F3C191A57A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7745209493bb365d683c73f63408a087325d17ee","datavalue":{"value":{"entity-type":"item","numeric-id":2291820,"id":"Q2291820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$CE340C47-7731-47E6-B162-1D06C5C33346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85783bd920d20ff6ad2cb21d79fa6b25a3e1568f","datavalue":{"value":{"entity-type":"item","numeric-id":2911616,"id":"Q2911616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$9B0BA8C0-B309-4DD4-9994-AC9B1BA2D0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3242c0d1a266e414c60988f553e4fc8e62c5325a","datavalue":{"value":{"entity-type":"item","numeric-id":549202,"id":"Q549202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$DD19057B-D077-4CF7-8848-036FB15F7F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3078dd70d5add44c06134a692d94dd3a3200be85","datavalue":{"value":{"entity-type":"item","numeric-id":3976298,"id":"Q3976298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$91BF92DD-3A0D-4940-999B-2A4F583E7E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$DC6FB003-4A46-4EE6-A099-FC4636D16CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a4cfa585a7a8cf11e3233f153006e1e0156531","datavalue":{"value":{"entity-type":"item","numeric-id":1012122,"id":"Q1012122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$46F44008-BB72-422E-BAA6-EF53E1917429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6968427269b46f7eb2d0e9b1f29d054ea3b5884a","datavalue":{"value":{"entity-type":"item","numeric-id":2805160,"id":"Q2805160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$BB35AE36-D3EC-49F0-B8D1-C66D1655A85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$6D20C4CA-990C-470C-865F-2913CF65E448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be763789fd72e609999f480300f4bf96b8e3b577","datavalue":{"value":{"entity-type":"item","numeric-id":4611066,"id":"Q4611066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$26BDFF96-CD2E-4B95-80D3-A50E557BB774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$3D16C75C-9FF9-445F-B8AB-F99984ACB7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$2E77DC3F-2736-400C-A0F4-0F68DB34495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$B0979FE1-29EA-4560-B611-4F66795D669F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$CD9B19C6-6A23-411F-9DFF-86DDB41FE7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644542c843fde88c5d346b3bce672efffa53dece","datavalue":{"value":{"entity-type":"item","numeric-id":4254699,"id":"Q4254699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$264902BF-6781-4B30-A532-BCB9FAE24CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39485e068db83ea87e9e8e4f1bcd905244f225d2","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$9CB2E5E0-2945-4AEE-B2F4-B74F554B80C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017b4f06ae22ea03f6f9eef6a68341ae4af54451","datavalue":{"value":{"entity-type":"item","numeric-id":4373413,"id":"Q4373413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$A6716905-7921-44DF-B327-6B479F97B596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3733b6620d7eff1c641fd3b36b3be61eac36f49b","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$2A6E91CE-6F9C-4084-9A7C-9FB1AD2BF9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$E725651B-AC00-4BF0-B639-2058200B61C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453109$5E739AB3-B18D-4C37-BC39-B1BEA705106D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4afc8c651ec10b23d1862fb83077955662177439","datavalue":{"value":"10.1016/J.TCS.2013.07.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453109$D4706609-8DBE-47AE-AA2B-BE0B0E8BC37A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f71e95ee94a9563f666f032be7c1be8d9a4b79","datavalue":{"value":{"entity-type":"item","numeric-id":2911616,"id":"Q2911616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9038e23a0b2355dfeac5a680597b60dd555cf900","datavalue":{"value":{"amount":"+0.9970865249633788","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":"Q2453109$F0DE9FF2-209C-4927-9700-A399179ABD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fdb95fb59db752b2013c5d25683f13f18c2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c15755fe9f8c20ee5f00d795e2d2710e5e5972","datavalue":{"value":{"amount":"+0.802752673625946","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":"Q2453109$46AEF89D-70E5-4CDE-ABF7-F493FDC9F799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd486f5789a2abe4e0d2b55d5275a0ec077a134","datavalue":{"value":{"entity-type":"item","numeric-id":2210522,"id":"Q2210522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028f2acba18265e9734c47b7cacc376a9cebd550","datavalue":{"value":{"amount":"+0.7979459166526794","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":"Q2453109$5DE4FF78-D2CB-4C37-B409-6D71827BDA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e362ceda80d71e3960d415a6e07bf68e670a81c8","datavalue":{"value":{"entity-type":"item","numeric-id":2279111,"id":"Q2279111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a7a6757296b4fe01bffc0b52d7648f90cd0d06","datavalue":{"value":{"amount":"+0.7916876673698425","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":"Q2453109$6B115381-9005-4116-B2D8-2BA2AB4EAB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbbca736c4e7ae4a8bd9e47a4faf6f0bf0ae2db","datavalue":{"value":{"entity-type":"item","numeric-id":4965817,"id":"Q4965817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c368d372ba5f9f0fef4dbe00094ec1ab876dd2","datavalue":{"value":{"amount":"+0.7900318503379822","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":"Q2453109$C51E9C03-A6F0-4A16-971F-C4D9B93EBEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The quantitative linear-time-branching-time spectrum","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_quantitative_linear-time-branching-time_spectrum"}}}}}