{"entities":{"Q2197533":{"pageid":2208276,"ns":120,"title":"Item:Q2197533","lastrevid":71523717,"modified":"2026-04-13T22:49:39Z","type":"item","id":"Q2197533","labels":{"en":{"language":"en","value":"A sound and complete proof system for a unified temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242324"}},"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":"Q2197533$6B99393D-2338-4CBB-9E04-880DF4CA3F58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb4d6b7bf088da609f49f91ad0af91c1747e9d1","datavalue":{"value":{"text":"A sound and complete proof system for a unified temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2197533$831EC833-450A-4978-9E42-DF6E56F1CAAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40471a0211816df90a74036994f01d56430229b5","datavalue":{"value":"1485.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$F12AEEA3-7D26-4F69-B8D9-D3ADCFFC287C","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":"Q2197533$8A4097D9-64AE-486F-9C5E-B8BBE328EAE4","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":"Q2197533$FE6F9DC7-5E1C-4A3C-80F0-CA3642EB2F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e1cb463f6f00f069b5885dafb634153655800c1","datavalue":{"value":{"time":"+2020-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2197533$BD7AA31C-0504-4E12-B772-59B86380E6FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$AC4176C1-84C4-470D-8476-EF02A88B92AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$78DE99A7-A118-4E8A-B5A8-D45B07F823E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$41B7D11B-3D92-4926-A48E-752914272C55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04aa2a2398bb80e7857364ccdfe1d4b5295290f4","datavalue":{"value":"7242324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$B58C0519-CCC7-4CBF-A31C-C1B9CFC7FEBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197533$F7E4EB64-94AC-4BD5-A1F1-1248F00827BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197533$4F9D61F6-26E6-4DF8-A8C2-EC08CFFED3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197533$E88D6321-759A-44F0-A3F1-E187F247E5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"301a3fba4ae1cadb4bd273c68a6317b5b092802c","datavalue":{"value":"indexed expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197533$5DAB1390-7931-4E22-BD5B-5A0157543853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197533$C91399FF-C74A-4020-8EDE-6903458A1725","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6ed03cd1c862eaebed26e040255f950f67a07d5","datavalue":{"value":{"entity-type":"item","numeric-id":43421,"id":"Q43421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$27ED05D9-F983-48E3-9560-0125113C5B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$5512A179-CC2D-42C6-8E0D-6FBF0756C1FA","rank":"normal"},{"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":"Q2197533$455AB500-254D-48E2-9348-0E89E4DB05F5","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":"Q2197533$D3C62250-01E3-431A-A1CC-C9BF0E0F0DDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d136df59b66c2e44f9aba1e11377099e7909ca71","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.05.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2197533$EE001D38-314B-4C03-B67F-D40E7F136B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2b77956c4dfd7d3cf055acc833296a876f8b042","datavalue":{"value":"W3028347811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$8698FB34-07D8-43AA-B9D0-E60F62C4D633","rank":"normal"}],"P223":[{"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":"Q2197533$CCB804AE-CAE4-491F-ACDD-BF5CCD7B90F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$FC294BB5-533F-4D6C-A6C4-1505F7652636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$EC007BCC-E3A1-4750-BEC2-51FE72674920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$D5DECBBC-04BA-4D2D-A131-E19A30974CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$BA18EAC0-03F6-41B0-8F23-EA83A25D9832","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":"Q2197533$FAF9DC13-DE31-4422-BBFE-270E86AB5EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701a74ebaa5d29a41b6b5b09d6b7c0f4aa7f55f7","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$16DADA75-B3B5-444D-B2ED-C479FE7A57C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5677345b91ebc0d50575f0d7e9b2826d53a1c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3543642,"id":"Q3543642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$D805BCC3-3C55-4469-9D25-B9B8AEE1FBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bcd1c764d9e49c815df391a15819153f8399b9","datavalue":{"value":{"entity-type":"item","numeric-id":5465439,"id":"Q5465439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$4CA476FE-2550-4B21-83C3-75BFCA686B19","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":"Q2197533$8942353C-D08B-4A30-8609-851F321D80F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$A2B5B2BA-3252-4C0B-9D4F-50C12D68E137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$8A58F13F-89D7-4090-BC59-2042C650B6A1","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":"Q2197533$2E1D40B6-E09E-4849-957F-9FBF8142FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0847dc10281eb05003b606c7949fd8f6a6c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$439B6F6C-0724-4BED-8CC5-F16ADBFACF04","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":"Q2197533$3D14CC19-ED01-427C-9514-E264D109F182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d1d0df127d1cc2a6b0a78b86410aa612d9d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$A3A587F6-AD44-4591-9A03-480A6469DE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b911625efa0ace12355e843f02ffb7bb45816c","datavalue":{"value":{"entity-type":"item","numeric-id":744103,"id":"Q744103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$259EC7C1-FB19-4852-B580-0B1C79EB5F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff1a458f748ef94a2f7fbb1be547ebeee347a62","datavalue":{"value":{"entity-type":"item","numeric-id":2317353,"id":"Q2317353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$DCF40C0C-E2DD-459E-B393-AC65F7ABA304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"773999420845b149eed3b21814ebbc64e6d3b085","datavalue":{"value":{"entity-type":"item","numeric-id":2300079,"id":"Q2300079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$CE93EC66-21CC-46AF-9288-1BE89157F95D","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":"Q2197533$7DF86C35-FC85-4080-B510-EFE0F422B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197533$88780EF2-0778-42BF-BCC2-9ED7022076C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7584854d8eb8e7ef1bdf3e55c03ba08df04201ad","datavalue":{"value":"10.1016/J.TCS.2020.05.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197533$2EEB8464-1D33-4984-BD63-D39326E64FE5","rank":"normal"}],"P1643":[{"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":"33cc4fa17398261ce23f5f6e75bb1ca09c54f80a","datavalue":{"value":{"amount":"+0.9713490605354308","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":"Q2197533$E2C1C814-075D-4190-B24F-EDD5B609F876","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":"a264a13e3db7e1b64ccc1926edefb53e2cdb38d0","datavalue":{"value":{"amount":"+0.8617785573005676","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":"Q2197533$8009A9B2-64ED-44C4-BFD2-EA3DFC13EEB8","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":"3f8fd3463b5b9cbfd2bb86b12fb64eaf3035b01a","datavalue":{"value":{"amount":"+0.8184954524040222","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":"Q2197533$1E357E71-2860-4659-B469-62BBB927358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2ca87e6ecb598bcc106640b896edcce896f04a","datavalue":{"value":{"amount":"+0.7870407104492188","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":"Q2197533$83EDC697-951E-459D-BE53-D8213327751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d722d51ad31a1340efb210c24060f4117bc3573","datavalue":{"value":{"entity-type":"item","numeric-id":1355780,"id":"Q1355780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335c5b4026332d8a6c1b9371a54d797692bc05d8","datavalue":{"value":{"amount":"+0.785569429397583","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":"Q2197533$B3FAF396-96B2-4D4A-AC9D-7E284D9C2B80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound and complete proof system for a unified temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sound_and_complete_proof_system_for_a_unified_temporal_logic"}}}}}