{"entities":{"Q5040746":{"pageid":7070323,"ns":120,"title":"Item:Q5040746","lastrevid":40761614,"modified":"2025-04-04T14:51:17Z","type":"item","id":"Q5040746","labels":{"en":{"language":"en","value":"Finite sequent calculi for PLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602695"}},"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":"Q5040746$ABE8975C-5118-40CB-9FE0-A67F8A9CE14C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f2c4a51278a757dcb7e01599fe6d71614ab380","datavalue":{"value":{"text":"Finite sequent calculi for PLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040746$41B7EA47-6F22-4328-AD48-9EE4AEDD682B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cb9b1faa526ffbe076f1b6814f8a99bfb5caabd","datavalue":{"value":"10.15388/LMR.A.2015.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040746$C16B9BFA-8C62-422E-85A9-B5035A6567EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b417081ff3600658a3025bfda3ebccf222d36d2","datavalue":{"value":{"entity-type":"item","numeric-id":174447,"id":"Q174447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$913A7E5A-BBC1-4FB7-A25C-052107816500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$238B7E40-F865-4A4B-81C4-3E15023F4697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$688CE803-DBD0-44BF-BE04-0F700796B49E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb3e695ac322d699105a5eb662e48ec5bb15add8","datavalue":{"value":{"entity-type":"item","numeric-id":2798980,"id":"Q2798980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$FFE20DE1-D05D-441D-98BA-59E103693D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56990fd6540c9785f009870b6cba51a68900b81f","datavalue":{"value":{"time":"+2022-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5040746$62AFAFF0-831A-40A1-9ED0-BA856070A6D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040746$395EEC4A-C8C5-4CBA-8BCA-A2A8B154A0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040746$4A2BC6A3-BABB-4266-A842-730223414CA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52128381990a72392fb16029ed82c006fa39343a","datavalue":{"value":"7602695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040746$85F2FD1D-AAE1-48A3-A9BC-09DDFAD818C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf6b5bdd4a98254740fb27382ae454962de378c","datavalue":{"value":"temporal logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040746$B4BBD997-5761-4612-896E-F04B9B29FEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040746$F44287AC-DE99-41C7-A389-746F2CB6344E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040746$9EB8D06A-65D7-42A9-91C5-61FF788570A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3d94b57bf4d765adfe2b4104124feb7f7764e1","datavalue":{"value":"invariant rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040746$122F89F7-C528-4CC0-8620-7DC00D907D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384d76cb2c0cf8e48f1984e274a30c4c6232112a","datavalue":{"value":"looping axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040746$82129764-DA80-42CA-99B3-36B7E1AC62E1","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":"Q5040746$C8657D71-6828-4736-BFD3-E4C7DEB1646A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11d6a567b4302048f9518801a2607b6f60c4dd2f","datavalue":{"value":"https://doi.org/10.15388/lmr.a.2015.01","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040746$755CB2E5-8C93-4605-B99B-28B80602F3A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60574a8c4060dea6d2872fb5adc40fda98f9d7d9","datavalue":{"value":"W2989706228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040746$401AEE34-25CC-40F5-AAC0-6629A73AC534","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10882ab8c428527416b40017ec7635c2f0f7993","datavalue":{"value":{"entity-type":"item","numeric-id":2791889,"id":"Q2791889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$38889EDE-1238-450C-9B46-C838F6C19DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc02e6496ca7957e97f552c475aed2d04a11a32","datavalue":{"value":{"entity-type":"item","numeric-id":926638,"id":"Q926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$B449321F-B538-4CDD-A16E-F1A0668E7D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585f7d1c47662d0a476cecdbee1f33b71701c0f6","datavalue":{"value":{"entity-type":"item","numeric-id":2866724,"id":"Q2866724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$AAD88CAE-87C3-43D3-AF4D-EEB66F147AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$91A7365B-75E2-40EA-A607-B85DAC17400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e0c6f1c44c0d31cf2a29eb9f5117ac9e36ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4260367,"id":"Q4260367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$36786C19-5194-4199-98A8-BB23EEE16389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e318768b2e675028aa324fb9bff0b760bb3244e7","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$53E5AEB6-B808-4D41-8AA9-044AC2007D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95f1f131a2b4fa8bf7f37db5dd3c9e79bb45533","datavalue":{"value":{"entity-type":"item","numeric-id":1344880,"id":"Q1344880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$8FE9419A-FD33-4BA7-AC4E-85AFCD7AA35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4deeba9b9678798585dd0336e4606d4fd8547d79","datavalue":{"value":{"entity-type":"item","numeric-id":5040746,"id":"Q5040746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$67DE9EA4-8A18-4993-8553-F17CEACB8CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d63feab56f1a778a90af4695d45c7b560031ff","datavalue":{"value":{"entity-type":"item","numeric-id":4539601,"id":"Q4539601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$540C3A8B-FD69-4DA9-BC31-4D764DF25531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa00ca9cd9e5310393ee18436eaf410e97db0b61","datavalue":{"value":{"entity-type":"item","numeric-id":3607561,"id":"Q3607561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$9250DDEC-45B0-4F1C-85B5-5F40CFA9EF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$571329F8-B142-4E5C-9B40-7D3962F83ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49877b525d285b4bc1efb9610fa008c62bc20805","datavalue":{"value":{"entity-type":"item","numeric-id":3623966,"id":"Q3623966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$6CBD9694-BBE8-4E31-A65B-0741EABF6FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040746$EC690761-91C8-4E27-BC1D-5B5E60BB7492","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c7bd2dc2dc31f29989bd94d784e75dd94c366","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cee9cecb9558ab82eb246f9eca6b6279db92cf4","datavalue":{"value":{"amount":"+0.9286154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$007BBEDC-5239-4E6A-B250-AE7941BC362C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835be840976d82e0e3e69203203f8f9f3386ef08","datavalue":{"value":{"entity-type":"item","numeric-id":2799620,"id":"Q2799620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73473dc64ef30beb8a990ec433970703a8c31ac8","datavalue":{"value":{"amount":"+0.92675006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$39022ED6-25E4-4988-8722-D1A65ABD21DA","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":"038dbcbe3b0289a6eab959f8bc4d55a75f45142d","datavalue":{"value":{"amount":"+0.9081546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$D94419AB-88A7-45DE-8A88-51815B2F61F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a51c65abf01061d4fae5f1012b8aa2f430285e5","datavalue":{"value":{"entity-type":"item","numeric-id":1931344,"id":"Q1931344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9794a103017f6c9d3038462f5dc05cc60519abe0","datavalue":{"value":{"amount":"+0.8997814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$83946ADD-488B-4716-98A3-EEA92D08C828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4015da87dfac8abdd8c4cbd3c6ffc4e2945f61d0","datavalue":{"value":{"entity-type":"item","numeric-id":2791889,"id":"Q2791889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11d1e440372110a014e5951d6079b15bfe11855","datavalue":{"value":{"amount":"+0.89916056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$CF5D8DB1-53AC-4A4D-A658-097D7D06AC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd9f8d50ecb1ea89a2acc4656a3a56eaee26c85","datavalue":{"value":{"amount":"+0.8851773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$48E5E733-DB37-4D51-9FE3-426743F9B193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4d7ae803c71d3c2d5dcf494c8f50c720bb52fc","datavalue":{"value":{"entity-type":"item","numeric-id":2104520,"id":"Q2104520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0c4242ac07cf544dad9ee513bdf9ddaf3a5a16","datavalue":{"value":{"amount":"+0.88303053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$92646930-AF51-4934-9405-B20EB4A30562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36489a1c5f5473ed210a8d9bc283a320cd8d6ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1035676,"id":"Q1035676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af855e69fcc61c3d2d334cda4a735df3c0623485","datavalue":{"value":{"amount":"+0.8814904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$E14B95A1-D7D1-408B-9B10-A56F6B510B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b92a9322df90207db90cda988588a45df888791","datavalue":{"value":{"entity-type":"item","numeric-id":4455539,"id":"Q4455539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79665d51227b1d55649b102f2947009d92b56290","datavalue":{"value":{"amount":"+0.8810545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$E1B50EC9-4B87-4C23-BB56-2366B23228DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5faba762ddce02fb5d7f5ba33f4a7887ea46d087","datavalue":{"value":{"entity-type":"item","numeric-id":3395332,"id":"Q3395332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5487dcc3a4e6a90638f151ba32216310d3d7009","datavalue":{"value":{"amount":"+0.8795519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5040746$401E3159-DC30-4B26-A24A-DF75C87A80E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040746"}}}}}