{"entities":{"Q995673":{"pageid":997521,"ns":120,"title":"Item:Q995673","lastrevid":65781288,"modified":"2026-04-12T05:19:48Z","type":"item","id":"Q995673","labels":{"en":{"language":"en","value":"Tableaux and dual tableaux: transformation of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189075"}},"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":"Q995673$A6035839-0F32-43CA-BFF8-211436506F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd3705e7e5b8c5a76f3f07ffcc8aa1a1e73899d5","datavalue":{"value":{"text":"Tableaux and dual tableaux: transformation of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995673$B4B35AB6-D31F-4A87-8459-98F038452916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e13b814f69ab6efa1782dd14e0076b8357c64f","datavalue":{"value":"1125.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$C4332A22-A928-469F-A3FB-DDA2AFE6E1B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$C1B887BC-90C3-4EF4-BE66-EBFC3B8A9190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$6077367F-4DBC-4786-8B9E-31795174D000","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$A5725425-EEE5-47B7-9F45-3142EDF5C6D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995673$7851CC4B-CFC9-4E20-850D-F7F87EFABAE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$BB6F38CB-F96F-44FD-AE51-11C6E189F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$6F12F551-B52E-40BC-9F0F-2E5A5778F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$B6F62533-D4DA-4E77-8744-B3EB9D959C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d85bad823de7a2d0b5ef94a8eaf004bcf8efe73a","datavalue":{"value":"5189075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$0AAF43DC-511F-4E18-AFF0-876344D27747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da3a941fce8a3b3977d198a7595f3297dc2634c1","datavalue":{"value":"first-order logic with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q995673$A3E9B2D4-5635-4BC7-A250-9D5E7208E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b391bb68e28d3b98cf5ce4f679571ce80c4a73","datavalue":{"value":"tableaux systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q995673$F8DD6560-B76B-446C-876C-A86722C08083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fba2dee08c2192033fbc47aa3d54f1031d40da4","datavalue":{"value":"Rasiowa-Sikorski proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q995673$B2C54928-5ED2-4FA7-9F64-81951C3D58FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$183ED9E8-28A3-451A-9344-733FBF5F4AF3","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":"Q995673$0838C95B-990B-4A6B-8842-419FA9A785C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd9ad5ef7a57a6ebd13c03987df4ca4eff1c9b8","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9055-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q995673$5FFA454B-0015-4403-BFE7-2431C0BD9B77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"489657395dd570b222359b2b0f717dbe688c3ae8","datavalue":{"value":"W2035165256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$6526A81C-6717-4BD7-843C-A4BCD6AE36EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$54F3D152-8E88-4C5C-B737-437F6D08B1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$E434AC01-9A9E-4998-A38F-5E9592F96D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$025A824D-1F97-4ABA-A8DB-301AA196F0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2099ccaf8f47d5a145352cb97a36dd9a9417be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1576385,"id":"Q1576385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$56C98DDF-FE83-4210-B10F-587E2167A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a194178070cd3c5ad9a396baf8f7db21f82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1853457,"id":"Q1853457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$2A817679-8A1A-4F09-A676-70E8180E1483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ed030f9f4658726b2e4252748ae39fa9b0ac92","datavalue":{"value":{"entity-type":"item","numeric-id":1850953,"id":"Q1850953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$C5564ECE-CF9E-47F4-B593-4DF7ECC85697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$BB90D96D-0F81-4CAE-9403-2981F8DAF440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc0cf6149477b8e1d50a30edfa6ec10fc1dcaab","datavalue":{"value":{"entity-type":"item","numeric-id":4362880,"id":"Q4362880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$9EB29FB6-CEC0-49EC-B8D1-E630A84D94B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5906a3f48670210bd3cf26d335f7bea64625af","datavalue":{"value":{"entity-type":"item","numeric-id":3279278,"id":"Q3279278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$68D6E6B9-5648-48A6-B819-7EF44B355D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$6F969F2D-6771-49BE-A83D-218A66127506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925b3fb87eae131efaba09823b8ff78aa3564351","datavalue":{"value":{"entity-type":"item","numeric-id":5712437,"id":"Q5712437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$D27BEF0E-DEDD-4855-AF51-ADEB5B51F278","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":"Q995673$A2839C17-C2F6-4142-9127-C8B9DA564310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bdd226c527627098881fab98d3ad3231704cd6b","datavalue":{"value":{"entity-type":"item","numeric-id":2499290,"id":"Q2499290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995673$B852FC47-A78B-4786-999A-BD146180910B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c54624caa3c7ab84af0ceab361eaaaf68f08c11c","datavalue":{"value":"Q126244318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$BFD6E9B1-12E9-49B2-8704-8577E92922BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e14dd580407ca5ebe93a3050d228fed884dc209","datavalue":{"value":"10.1007/S11225-007-9055-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995673$986D09C9-11C2-4DD1-A691-2AA0C771BB9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59045bf5f66538f1e2231dee64e1237a30ab35d8","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407215b99f6b6cbea67ec3b98692f483ba4d6cc7","datavalue":{"value":{"amount":"+0.775407075881958","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":"Q995673$DA9A3ADA-AD76-46EC-B7A7-9BD5D2A84302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5032bb635eed503cb160acac5e60a62b4871e6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7254af71f1f1dd227c7625e5e72ae9298871e4","datavalue":{"value":{"amount":"+0.7655547857284546","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":"Q995673$2274B15E-41B8-427B-9BC6-12F662FB7CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8136f3d67267230cf732313845e7f9dd09397c7d","datavalue":{"value":{"amount":"+0.7628766894340515","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":"Q995673$E0ABEDE7-8B12-4F0F-AF92-13403BA9BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766cb08647249dd296f2bd79cd339a53cf3040fd","datavalue":{"value":{"entity-type":"item","numeric-id":1309339,"id":"Q1309339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6236473020a85759cb5df2b8bd4c5eccf88ef","datavalue":{"value":{"amount":"+0.7364374399185181","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":"Q995673$DB896B62-E817-4DB3-83C5-048FAFC8B144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f01351e1791b4a5255b43d9fe32de2206839c0","datavalue":{"value":{"entity-type":"item","numeric-id":3325693,"id":"Q3325693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6236473020a85759cb5df2b8bd4c5eccf88ef","datavalue":{"value":{"amount":"+0.7364374399185181","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":"Q995673$448FD6E0-10B1-4582-86C1-EF575980DCA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableaux and dual tableaux: transformation of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableaux_and_dual_tableaux:_transformation_of_proofs"}}}}}