{"entities":{"Q2686105":{"pageid":2696848,"ns":120,"title":"Item:Q2686105","lastrevid":55436557,"modified":"2026-02-17T16:21:35Z","type":"item","id":"Q2686105","labels":{"en":{"language":"en","value":"A proof system for unified temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7657061"}},"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":"Q2686105$1EA24935-944E-4E6F-88E5-CFA530FDE429","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4f8db0fe08b58c66ce03806c6cf66aec55d1f90","datavalue":{"value":{"text":"A proof system for unified temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2686105$059B9FC7-ABCB-4C9F-9543-B2379C9943E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$0EBA251A-C359-4A60-A3B1-99694381B613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f810953f47b312e2f100054bb46ecef57ba1ac42","datavalue":{"value":{"entity-type":"item","numeric-id":2686104,"id":"Q2686104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$FCBF67B3-2233-4B95-B578-8BE250C5A4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$0B85C096-90C7-4E18-861E-D3E0981239CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$89231366-4055-46FD-8AB5-860EE696F151","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":"Q2686105$705CB89A-EDE3-43C8-9FCC-AEA37B409B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5c0d35ee78605f1f95b64c94cdc67c5ae5c252c","datavalue":{"value":{"time":"+2023-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2686105$B79E66BD-C2A6-4425-91AC-BA0F31BDC38E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2686105$45DCA888-2720-4DE2-B4D7-5B2F441CA5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2686105$0917DA72-E8F3-4CB1-BE25-CB00101D7CAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a33d00ed3c4c6144265f5394c8d85789cfc8daa8","datavalue":{"value":"7657061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2686105$85177480-7DE3-43AA-9C4E-B6BB60AF0942","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e2eb4bf2630ed29792a3f0e1efdfc003f5f757","datavalue":{"value":"unified temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2686105$E6B22CBB-45DE-4133-AC31-BACAE457FCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2686105$349213FC-C910-403C-A857-511F001E2E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2686105$2EC53323-A6EC-4F4B-9256-1B172D871EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf378679d37703b334b22ead87b6793cd1ed4fd7","datavalue":{"value":"axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2686105$7DD7AA7E-D85B-46DE-9179-34EDB30A2CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2686105$404C0274-BEB9-4324-8C48-031ED26DE99A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$26D52C5C-98A2-4CA0-AF37-89E87B603660","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":"Q2686105$8CFCB81E-5773-4BF7-87A0-994AEDAAF3B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c333e89af44839a461774ca4d057741060f244a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2023.113702","type":"string"},"datatype":"url"},"type":"statement","id":"Q2686105$E22A9EFB-881D-4EF5-9348-8EE0047CBD9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e902f73bcf2db85ee5965846def2e90b78d19b35","datavalue":{"value":"W4317473253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2686105$E55E64D2-866C-431F-8FA5-E3A323EF3A24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e776f7e9d18209402bda0edf2047c2143eae014","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$4646573A-9AEE-4DB9-8C9D-A0B51AC6693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$D60F1909-0EB3-4F2B-812D-B58A94FAD4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$68F79607-BAC5-427F-8140-0ECA2861E696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$1E180A95-308D-4F7B-8DDD-5D4104DA9D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$03BDD7B2-AEDA-4A85-AB9B-71B56685204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1e44416a3c1cc347b58f2819f854351e6ffec","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$D415DE23-D659-4C30-8A4E-00E7D331432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$6135F155-BF24-40AF-9FF1-1891B6B848AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$E43716FD-C3D0-415F-BD98-4607872B4BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b1aaa12cb22baa573e2301380d3949f4de3d95","datavalue":{"value":{"entity-type":"item","numeric-id":4779585,"id":"Q4779585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$6BBF1EA6-F646-4E75-BE7E-860B5316CAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27d29d6c8a6d90cf683150add9e5ddb2d9f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$FCEBAE47-56F2-4E25-9A24-1863CCC423DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65d7985a100e347335721c87b8105aedc1e4468","datavalue":{"value":{"entity-type":"item","numeric-id":3643267,"id":"Q3643267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$23C66D0C-6599-4868-9BBC-1917844446A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953fc5c05cca94208978dbd55a4c18e58d7b4208","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$2A967B6B-8BEB-4AF7-896E-8C8CEC724ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$44804D9B-150C-4B45-A295-567D0607F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$0D579EB8-3D02-4863-8352-F874BC0FAC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$13603C28-2DF1-4A28-95D5-B1041ED37B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$C651C4C2-F849-4173-A9E6-CE3B0A0C306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de62655e5d0fa3fa3decc1434822fbbd8367118","datavalue":{"value":{"entity-type":"item","numeric-id":2661764,"id":"Q2661764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2686105$4C15EA3C-619E-48C1-8DAB-204D69F19FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ca168fd598c1f4bf927a88a73aa30bd5cb3a042","datavalue":{"value":"10.1016/J.TCS.2023.113702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2686105$A399BF3B-51FA-42CF-8421-797283AF2AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8289dbf842c912fbfdcafb36365317c85127fc60","datavalue":{"value":{"entity-type":"item","numeric-id":2197533,"id":"Q2197533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cddd47f49f89aa82cd0690a662c5855898928735","datavalue":{"value":{"amount":"+0.8750749230384827","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":"Q2686105$58C261C5-FE97-4564-BBEC-C179BF93F7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a7012ca2bd562a7e57df0b315383bccdc5bda4","datavalue":{"value":{"entity-type":"item","numeric-id":2300079,"id":"Q2300079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5928a91018db0366196fc7287127757152d76686","datavalue":{"value":{"amount":"+0.8659417629241943","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":"Q2686105$DA676FFD-B07C-4BEA-8A5E-D4894F29AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d3f98407173131ee218c7353ced41c2a6a99d5","datavalue":{"value":{"amount":"+0.8510586619377136","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":"Q2686105$053EDA6D-8D7B-462E-AD84-B5C5871CBAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87b330d0cf51c443d9dddaca849be813ed5d019","datavalue":{"value":{"entity-type":"item","numeric-id":2661764,"id":"Q2661764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0953aecad5a34f59bdf5231c0997f134c06a2a17","datavalue":{"value":{"amount":"+0.8039246797561646","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":"Q2686105$043F70A0-EDB8-4A2E-B518-9A8AC9578A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561307f750473501718e9736601af1cef9537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3109143,"id":"Q3109143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb68a7fdd032ceb18fa28b56c81459355d0479ed","datavalue":{"value":{"amount":"+0.7587440013885498","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":"Q2686105$88D453F9-70BF-45B1-B898-587FC7D94D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2686105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2686105"}}}}}