{"entities":{"Q409323":{"pageid":411090,"ns":120,"title":"Item:Q409323","lastrevid":61640910,"modified":"2026-04-11T00:39:34Z","type":"item","id":"Q409323","labels":{"en":{"language":"en","value":"Prefixed tableaus and nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023579"}},"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":"Q409323$55D065F5-8204-46D4-9294-82DB0B11B3A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ee92063df5c165f38c877e8ba59ecc7ff213f9d","datavalue":{"value":{"text":"Prefixed tableaus and nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409323$75D06A22-DFCF-4EB2-AA5C-4A1E01BFCF0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff4859714c1800d38c0a7db2f5f288f8f713892","datavalue":{"value":"1241.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$996D2636-6A6E-4DA7-AB31-A220C38C246C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$53318148-44CA-4CB9-BE1E-B292829470B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$146CA76C-EBB5-4750-81C0-04804FAB3115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q409323$3F4F9D31-A0A0-49D2-919C-87707C020BB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$DF323993-B3F8-454C-90F1-2B8E5DB1983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$9AB231D6-B981-42E6-8C3F-B8FCA4A06C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$E6AD5FC7-1059-4149-82DF-1C80E01EBF73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87c0c8d9684f072592e4db9088ec851b329bb76f","datavalue":{"value":"6023579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$3C77D612-FE26-4FC3-BCB0-457A83F167FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q409323$FFCCF0FF-A67F-4896-AC89-4FC7BA9E9B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c06d585fc9cb5de8b766d860a769194264743b","datavalue":{"value":"prefixed tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q409323$2D005D10-3502-442F-81BE-96737D7E855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6969d6f5466fad8412af4be696b885c41e64f74f","datavalue":{"value":"nested sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q409323$1B7BE85E-9418-40E6-A6B1-02575BFC731C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd1c921c53a063001c5e888ce9f7d7ac0575b98","datavalue":{"value":"deep reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q409323$ED18F206-7342-4C45-953B-F042817FD967","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":"Q409323$A80CDC7D-5494-4B13-9A15-C5B4ED6FE761","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8274cf508129e892164d94830577eff9459fdd50","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q409323$97859379-105D-4F02-B39B-0D4CD86BADD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"924654d1f94344e31871e34b582525fd31fd0253","datavalue":{"value":"W2146345041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$3B0BE2D1-0BB6-4673-9B35-FFAF55A4CABB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$95476EA9-35DE-41FC-AE6F-38B9364268D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b00ab191b866943c5176f743d50485259b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$BB78E30D-56D8-41CE-8EB4-FF18AF1751D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$E6343190-330F-4DCA-AE35-A3633E85D228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$85EB2103-9D04-4216-86ED-337ADB9934A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$246EFEE6-92EA-44F0-8D9B-AD7B75E81C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$CC6DAA07-12E0-47B8-9125-84EF00FE28EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$73481289-627C-403B-8EDD-EA53E5528F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$4F454578-D847-4A39-BA5E-93CCC91797AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bef6aebcb7e05b26ddcdd4da792a7be8abe318c","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$38E7944C-58B4-4841-B114-51980421F6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$0D1462DB-8444-40B8-BE78-D1B1A634CDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$D5FE0595-042D-45AA-8497-6720EEE887C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$FD088EBE-B3ED-49A4-93A2-678B0CDEB104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$A13CEB15-F040-4211-9DD4-8AB2F865BE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76eaa28f0479adf5199f5b939c412a5c5c693c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3605536,"id":"Q3605536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$B4F69338-6B6A-421A-9A85-31EF83E842A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$A6F760A6-7C29-46DD-93A5-F8FC476E84C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$D1D500C3-DE8B-43C0-BEC6-F78885948ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$F21B2835-FBA1-4244-9073-8374894D238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$FC530A4F-09F2-4B02-AB23-6770B6F48CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409323$42332216-52FC-41CF-BF5A-6AB60013A717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"223c72bc8bd6ad773e9bdb2589fd766e2f2ed59a","datavalue":{"value":"10.1016/J.APAL.2011.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409323$3EF29203-402F-4C19-A5F5-0720828472AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3e951254440d034cb6f988701e5d7932a812ad","datavalue":{"value":{"amount":"+0.8427906036376953","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":"Q409323$D04FDD7E-4E4F-45CD-9D5F-552B2894397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea29183bba708ed8d47c8ca4a8c06a40673ffde0","datavalue":{"value":{"amount":"+0.7951683402061462","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":"Q409323$A395EC06-FF77-427A-80CF-69AAEFE7C494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16ad418b8b98a9de95cfe3f9f18097a42592087","datavalue":{"value":{"entity-type":"item","numeric-id":2180514,"id":"Q2180514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9374a624a02f67758543b5a41d54f37a81c2c8d","datavalue":{"value":{"amount":"+0.7691791653633118","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":"Q409323$34C7DD6F-70D6-4167-8B1B-96AC9E299685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb0002e6557e519d207ef0e63e172aeae900319","datavalue":{"value":{"amount":"+0.7653868794441223","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":"Q409323$D45556BD-54D1-4D24-B748-E51E45516C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4d27911660ed2b4c80befbc72612a14aa6088a","datavalue":{"value":{"amount":"+0.7649886608123779","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":"Q409323$56DD63DF-AD07-4963-9A78-20C72FDD59A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prefixed tableaus and nested sequents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prefixed_tableaus_and_nested_sequents"}}}}}