{"entities":{"Q2851946":{"pageid":2862666,"ns":120,"title":"Item:Q2851946","lastrevid":51838424,"modified":"2026-01-20T07:17:04Z","type":"item","id":"Q2851946","labels":{"en":{"language":"en","value":"Prefixed tableau systems for logic of proofs and provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213576"}},"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":"Q2851946$95B7690D-7369-493E-8D3D-455F73D62D69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"114bd8e2b75c37030dce08800f2f0bc0fd6ab8ff","datavalue":{"value":{"text":"Prefixed Tableau Systems for Logic of Proofs and Provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851946$924B1FD2-9A5B-438A-A033-3E046ECA170F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"439aa159e5ef3b714f776cc75f470c9a8c0147ec","datavalue":{"value":"1401.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851946$2AE82EBB-86C9-47E7-ADD1-B2A4EAA5B017","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072feee02f1859336b25f5364f3310683823d40c","datavalue":{"value":"10.1007/978-3-642-40537-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851946$82DD33DB-677F-4FA3-BEBF-82F23814192A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abac39eb4ed65b83d7bebb6fa47883b3d5694a10","datavalue":{"value":{"entity-type":"item","numeric-id":392282,"id":"Q392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851946$285A01CE-26A1-4897-BFEA-7895871BEF60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851946$9C0AEF99-A899-4029-A861-868EF0231B1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851946$5BD85B18-A75C-49E2-B8CE-9B48637D239C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851946$BBD9E945-1A2F-482C-B6E4-639FB7212E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851946$F47B1257-AD6E-4108-A666-59C0F75D9942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae78b562034b82930a1b3858ecb4c19cdcdfe5ed","datavalue":{"value":"6213576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851946$2EEC4C3D-DF7A-4F9F-82FE-380BEA1428B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba9b29b126cc84ffde9fad92cd6073e377f3d10","datavalue":{"value":"prefixed tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851946$6F096898-B996-4230-9638-F6A25D8C0CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851946$2C3ED0F1-78C5-4C51-AB68-B951CD93CEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851946$3C198B8F-1598-48E6-9623-F21552BD13BB","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":"Q2851946$C6716C2C-349D-4665-BDF9-52E512B59B06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"576c0afa13182f995ab6724a1c96457154aae6a9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851946$899F54EE-4C92-4333-82B2-99A9AEFA2C31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11c2b30d2a4594d3233b9665f6c934698472f88e","datavalue":{"value":"W46797684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851946$53DD5A6D-BAAA-4E67-9076-F806DBA9D943","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c00292e6f169462a28e19ad9e9b7b24262fe1d","datavalue":{"value":{"amount":"+0.7896454930305481","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":"Q2851946$694BF26D-E415-438A-9BD3-D7EACA8441C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a453d691cc2226e61eee2360b01acf38fd0580","datavalue":{"value":{"entity-type":"item","numeric-id":3406688,"id":"Q3406688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ccd9218570712c89b6fbb3ddf6b3125a809fb2","datavalue":{"value":{"amount":"+0.7785515785217285","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":"Q2851946$80BE64B1-34CB-4533-ABE2-EC4EEDC808FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae02a2f413ef457f5c2594dfdfcdb3900b7abba","datavalue":{"value":{"entity-type":"item","numeric-id":3605536,"id":"Q3605536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee4ca4c10f7cd3996d8122cd1cb7ed15b32be47","datavalue":{"value":{"amount":"+0.7780429124832153","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":"Q2851946$1FCC2CEE-1626-40E2-AB6A-EE12A74F3E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e918199699023d9742a5264383087e7d4616e4d1","datavalue":{"value":{"entity-type":"item","numeric-id":408538,"id":"Q408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bdec1bcf796ce176a39c4f2b0030fee176d0e88","datavalue":{"value":{"amount":"+0.7772233486175537","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":"Q2851946$FC76BD69-F834-4441-85DD-C9DFDE3F4B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db244f270ef3cee52ca0891abe5c7b980e5f2766","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6b32dd93b28bebfb08e65fd872ab5aad36a703","datavalue":{"value":{"amount":"+0.7768480777740479","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":"Q2851946$DFE82FD2-AFDF-49C9-B2F2-0A7723C2DA40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851946"}}}}}