{"entities":{"Q3520233":{"pageid":5550137,"ns":120,"title":"Item:Q3520233","lastrevid":50428454,"modified":"2026-01-14T01:01:15Z","type":"item","id":"Q3520233","labels":{"en":{"language":"en","value":"Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312587"}},"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":"Q3520233$A07C44BE-C3DA-4238-8025-50966E1A449D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5f2170e764a5ba73e1f84ce106ec64421e3d112","datavalue":{"value":{"text":"Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520233$41420B99-0B7E-4EEA-972F-ECD7D88BBB46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0641522c3fea164e920296ef50369c5894247049","datavalue":{"value":"1149.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$30EF45E2-D9F2-4B12-AEC1-5BC97A77AEE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520233$F5DD2582-4494-4E1A-8014-1BA37C2886CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e981b6e37e2ee30c39c64b686b4f003b3e998708","datavalue":{"value":"https://semanticscholar.org/paper/ada75ed36ccd48ddcd65c32b7f14023c960c8d74","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520233$96EEC9C0-C0EA-494E-9D70-C4DC7A0E6EF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$382D6F6F-78BC-45F4-AB7F-785A82BC7EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$E1EB1BAA-D3A1-424F-97B6-38EF44807AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$BD708885-015D-4ADB-883B-E20ED03C895F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a66c6ec7c71a9098f309fe33c4501ea2f43d032","datavalue":{"value":"5312587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$16DD4C35-8689-46DE-A8FE-AF9C8DE13F51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$9D3AFE52-7214-4FFD-918F-BA9BA8FA6661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$612FA33B-1C6A-4774-8567-5D2B28362FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab81c065729aae397631bb7a916b97448f9d6d","datavalue":{"value":"logical consecutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$310E704A-EF1F-45AE-BD4A-2B6A1906FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$5BA56961-9117-4E0C-AA57-B6ED9E4190CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$68D83BA9-FD6C-40DA-8533-99BD8B89354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$C070F174-A344-49D8-8E54-DD866DAB50CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520233$159814C0-A51B-4C58-B445-2D00A1F78DDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520233$98DC23E0-CD46-4544-B58F-A33ADE49ECA2","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":"Q3520233$E8C181AD-B1E8-4989-A593-D5DEA94EAC3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f18c98314555778114451e8d313232a6b53c7f59","datavalue":{"value":"W2168026495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$9D304E20-A8B2-4B27-AA32-C72CABC1628C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f489a41ec891b00b60fdd16aaaf132e8696b1333","datavalue":{"value":"10.1093/LOGCOM/EXM078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520233$B84D59E8-DE9C-41C7-8BB1-25E74B62BB80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520233$C1AFE355-256A-48EC-83B8-2F5340A01B10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e515ee0bd598de9d32520c1f5f4f2fb7bc9b5b","datavalue":{"value":{"entity-type":"item","numeric-id":3647278,"id":"Q3647278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c6f867c88a184c3c954ad06da15df84a60ee5f","datavalue":{"value":{"amount":"+0.8654804825782776","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":"Q3520233$CD6B423C-CEB1-4935-B2E5-D0770D1360DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6d1040edd6cd9a9539e650c1cdf126db456f46","datavalue":{"value":{"entity-type":"item","numeric-id":3409447,"id":"Q3409447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0025d3b49914900a1b665e78bda90fe4567e5939","datavalue":{"value":{"amount":"+0.7966157793998718","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":"Q3520233$40668DCB-1167-42BB-9F82-75E955BB20AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36600e3c654c93d5b57797cb869f58f012d5253","datavalue":{"value":{"entity-type":"item","numeric-id":1327480,"id":"Q1327480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09974de3f82f71f37d37179b53a723d5a2735e8","datavalue":{"value":{"amount":"+0.7856534123420715","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":"Q3520233$74D6535A-0385-4F75-9515-3BF0F0375E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214bb3bd4d01bee8fe4c7ad324bfb6a02c294475","datavalue":{"value":{"entity-type":"item","numeric-id":2346953,"id":"Q2346953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e27152708e1cffe4f5d9f22f81da73b2d3d4f29","datavalue":{"value":{"amount":"+0.777167797088623","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":"Q3520233$CCA654A9-50F8-4089-819E-1758FE58C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432b693c2e172689374734f50fcbfadb93deeffa","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647743448421836483026f6aa0be0cf15385c01c","datavalue":{"value":{"amount":"+0.7767015695571899","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":"Q3520233$3A7C2AFC-EF98-45B9-B634-7585C1B2517D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520233"}}}}}