{"entities":{"Q4645226":{"pageid":6674807,"ns":120,"title":"Item:Q4645226","lastrevid":89912912,"modified":"2026-06-04T18:36:00Z","type":"item","id":"Q4645226","labels":{"en":{"language":"en","value":"Combining many-valued and intuitionistic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999513"}},"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":"Q4645226$70A07E58-DBC4-4B95-8099-23CA3A590F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b56abf96105a25a6063cdcd1641b14876596720","datavalue":{"value":{"text":"Combining many-valued and intuitionistic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645226$2FECDC24-A3EA-4E19-88E5-CB2B0160B1DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e107409a2ad5b935b91f3acd5c88390a4644013","datavalue":{"value":"1415.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$2A79C237-309B-4D71-BA35-A9B1873E63D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1efa32d07d45651ac159da40005df851652f7c0c","datavalue":{"value":"10.1007/3-540-61208-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$5E2992CA-CB80-43DF-AB51-4664D7AFFDD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$E287447E-FEB3-4C74-A51C-510953732431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$CA74E7FD-1787-43A2-BDA7-BB2C7C2CFDB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$760D7353-3DF5-41FB-A40E-D38498307C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-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":"Q4645226$2C02AEEC-F552-47D3-9B80-22EEA443D075","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$19620049-FA1C-4F34-A351-C81D4526B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$3875070C-75C5-4D96-96BD-D510B0F8332A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$7E0F9FCC-A104-4571-BCA9-CFF31A5DF192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea6433d363f0eafc48e2c9834084f634e8c454e7","datavalue":{"value":"6999513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$964F3CFD-0AA9-464D-A14C-4D22BFA72582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645226$D2F497E6-5664-4F01-B2FA-4B4A261D9172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645226$1533D41F-482C-4730-97BE-D7B9A1AE0DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645226$7BE27E89-5110-4A6F-A3E9-07DB8899CD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645226$884186B1-F513-48C0-87FB-492C16782EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e67025c886af6768a74204a36a56e99b7c52af3","datavalue":{"value":"intuitionistic rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645226$8FD542CD-1171-4203-88BA-1A164EF858FD","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":"Q4645226$82F854D3-BE97-412D-B841-30CB97B97E4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"090d6fca2345ffcf14fca5f4e7b964462798ab2c","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645226$E2065C8A-8EEC-4F56-8DF5-EE9016EAB025","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62bba9cc6b05776e43f3106ffbea926e9bbc210f","datavalue":{"value":"W1504271387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645226$A6DBC46E-17FB-4024-99E9-7013666F36C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$DE21DD65-2912-4F3D-9A2D-8A09D2DF5319","rank":"normal"},{"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":"Q4645226$B4F2E5CD-647C-4C9C-B0E2-D33216AD638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$27BF58E6-E9F0-45E4-8B70-E5F971B48848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a8555e95c2e50b94f6ebefe107e921d0116fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$633D0A94-D31C-4E07-BD87-65CA9526A305","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":"Q4645226$8F40220E-97D9-4200-B50D-9EE995F0574F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645226$A5E444F3-EA5C-4315-9DA4-596A9F114E65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f454aed6b8c34fb7ae5e0df0c33533026f9703","datavalue":{"value":{"entity-type":"item","numeric-id":1094408,"id":"Q1094408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b72789f83b93e9177b85c73a83220a83d86800","datavalue":{"value":{"amount":"+0.8025127053260803","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":"Q4645226$03AB9131-6BB9-4146-8F72-6BF0881739C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328774ac2b28555eee1eb253f3b607a491e01d44","datavalue":{"value":{"entity-type":"item","numeric-id":2658284,"id":"Q2658284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd899863423b334547cb14519e0fe66117f0a14a","datavalue":{"value":{"amount":"+0.7911884784698486","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":"Q4645226$84872A1A-940C-4C42-B097-C858A17AFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f9876f49e313ebec50bc09697b236dad48b990","datavalue":{"value":{"amount":"+0.7901402711868286","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":"Q4645226$334EA75E-959F-4445-BB0A-B622621DBE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0ba69bb492d60c2eab151ef348d34a70171e50","datavalue":{"value":{"entity-type":"item","numeric-id":3770499,"id":"Q3770499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e91e3d462e40a8357af4eca2cf6bf0786c5e1b8","datavalue":{"value":{"amount":"+0.7828353047370911","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":"Q4645226$96E209AF-2774-45A0-8830-CAFB6FE27F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033cac62fcdf64b0baf79d02b39769bb477c8253","datavalue":{"value":{"entity-type":"item","numeric-id":1317899,"id":"Q1317899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8982b078075e5b23f938c1a4ac54022cef4a549","datavalue":{"value":{"amount":"+0.7816959619522095","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":"Q4645226$16BCE1C1-43C9-465F-A158-79D7D15C98A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining many-valued and intuitionistic tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_many-valued_and_intuitionistic_tableaux"}}}}}