{"entities":{"Q2300079":{"pageid":2310822,"ns":120,"title":"Item:Q2300079","lastrevid":71795103,"modified":"2026-04-14T00:35:31Z","type":"item","id":"Q2300079","labels":{"en":{"language":"en","value":"A proof system for a unified temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172878"}},"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":"Q2300079$D90843C8-F298-4B0D-BB4E-C65733BD076D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f08e4865e7be4b6efe731f5111ae10677b8785f","datavalue":{"value":{"text":"A proof system for a unified temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300079$9F1AFDD0-C444-4F00-8B4A-32976F6C7F29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14c07c38c22d9173629173a95d35bfdc71ad1d10","datavalue":{"value":"1497.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$2A37219B-3327-4143-9243-F61CDA8B4C5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"761691506ac2f06c31b2aa3a7211bac88c724263","datavalue":{"value":"10.1007/978-3-030-26176-4_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$0DB37B6A-914C-4072-9EE5-BFC695D2485E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300079$7CFC4E31-EA96-4C2A-A91E-B25712B1B3E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-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":"Q2300079$B0C70CD6-A2C1-4EC8-B577-E2A68957B190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$B3D407B2-8636-4E5A-93E0-7AAAE702D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$0B05A0B3-9A3A-4C4F-A24B-7984FB0216FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$8BF04A6F-9A68-49F2-8786-6EBC10F1BC41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"521945a779c2aefc6b22ee857c4bb8b3012f6671","datavalue":{"value":"7172878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$B20D4F4E-E951-48DB-A843-E19256BD8475","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300079$5721AC56-4425-45A8-BE4E-8B75508AC2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300079$28B06AA2-66EB-43E0-A3DA-530216A8BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300079$9641ACDD-4FB4-48D0-A86E-C4947A2B3DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"301a3fba4ae1cadb4bd273c68a6317b5b092802c","datavalue":{"value":"indexed expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300079$7FCAE9F0-91AC-437A-B75A-634889CED5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300079$847CC274-D742-464F-8DD8-B869192CFE66","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":"Q2300079$C674D8F0-9B25-41DB-BE41-71F6AFAD3D0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"055fb0ce32c746394bc82f337c7175404449e618","datavalue":{"value":"https://doi.org/10.1007/978-3-030-26176-4_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300079$E6756D62-150B-47B5-B498-26D2833FC8B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"195a09e5745dab577179c92f849258588cb18c72","datavalue":{"value":"W2963595366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300079$3120DB69-CD4C-475C-ACB8-5007C46BEBDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810a460b7ebe52934e8dff313eadadff86429f0","datavalue":{"value":{"entity-type":"item","numeric-id":2686105,"id":"Q2686105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da8d5e56f2c91d4366f4ede061633b3ba5765d5","datavalue":{"value":{"amount":"+0.998613","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":"Q2300079$0BED69DC-C3B5-4624-934A-405F8BFB9643","rank":"normal"},{"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":"f83bcfb62e4a024499cdfd9d0117c05fa046cf92","datavalue":{"value":{"amount":"+0.9810628","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":"Q2300079$E222761C-4983-4C3E-858F-37FC92FED3E4","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":"605bd0c1be73e58613e4d191fe6a0a6aa9a7bdd2","datavalue":{"value":{"amount":"+0.92995363","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":"Q2300079$4A42D753-E3B3-46D4-B726-54C44CC8DAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3cf63675bdebc255e4dac81c6382a2be87e092","datavalue":{"value":{"entity-type":"item","numeric-id":1882794,"id":"Q1882794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0248826bcf6d17b54085b3d2a05a585a9cd2013","datavalue":{"value":{"amount":"+0.9292081","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":"Q2300079$BD738F6F-BDB0-4D8A-B776-4E8368E79317","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":"c12b5d3c5d86bd9140682d76f1a3784bd76840ee","datavalue":{"value":{"amount":"+0.9272349","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":"Q2300079$31936B6F-FEAC-4217-A57F-253F9CB6A903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b2a7a612d33dce9abe3e777c04cb3b2813be79","datavalue":{"value":{"entity-type":"item","numeric-id":3022009,"id":"Q3022009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c5cfec0a46d1c6dc1baaf040597e7d93348973","datavalue":{"value":{"amount":"+0.9200764","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":"Q2300079$D1269D94-E9C7-44A4-B5AD-484A00AF0726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5e0720c6e60cce891371751aad32d08953a87","datavalue":{"value":{"entity-type":"item","numeric-id":764262,"id":"Q764262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1306a3272c1016b8c7a60d15a94b5d2627a28c78","datavalue":{"value":{"amount":"+0.9107492","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":"Q2300079$11B1ADC3-2D00-4B2B-948D-D6EB5A89C6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844611b28045e4d89e73d9c7828d2270a11c0b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4809041,"id":"Q4809041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7d1aaa8f51c9b793639c57fbe89f77e4ffb97c","datavalue":{"value":{"amount":"+0.9042712","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":"Q2300079$5C111E87-6152-484F-863B-0F8071A9564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e62e3d2c6b901ed7feeb71b5557aab2700886d","datavalue":{"value":{"amount":"+0.9041119","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":"Q2300079$574A9B7A-D1C6-40D3-92E9-234C1952B32C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for a unified temporal logic","badges":[]}}}}}