{"entities":{"Q2334660":{"pageid":2345403,"ns":120,"title":"Item:Q2334660","lastrevid":71874402,"modified":"2026-04-14T01:06:44Z","type":"item","id":"Q2334660","labels":{"en":{"language":"en","value":"Labelled tableau systems for some subintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7127911"}},"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":"Q2334660$D610675C-4810-4995-BA0D-B9034A467617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98028b7d07d83df069811e6490ff4cca28cb2e35","datavalue":{"value":{"text":"Labelled tableau systems for some subintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2334660$DAC143FD-22C4-4884-9B87-AF4EFD14C8E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b10f0bf4dcc42bf3ee8673276e9766f04a2bc98","datavalue":{"value":"1472.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$5E1E4D5D-C9BD-4D5D-8607-41BA5E071B48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$BC5F0CDE-9499-4282-8263-E18BB4864416","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$BA4809FF-54D5-4F5E-A113-71D8D026C09C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a91f08461f9e646364fadcbd4312240acf11d5b","datavalue":{"value":{"time":"+2019-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2334660$D823E019-195F-4C16-9A71-40E03465C710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$9C644B64-A7CB-49F5-8699-894C0F3FAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$D49FDE11-7167-4EE7-87C1-29A70305A3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$285EAD1F-44FC-48A2-8A39-88F36EE8FF2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7951c159b993347cb31aa5e46f5dc7bfba1f86","datavalue":{"value":"7127911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$38F267B1-62D0-4265-9B43-94EEF40B42EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb7dfc6cde3b7fcf984076079f76207e95da13b","datavalue":{"value":"labelled tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334660$DA987909-6751-4AF5-AA3D-1AF10FDD4307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b570e310dba060006ab129a7fb090b1b8371ebcb","datavalue":{"value":"subintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334660$006D3F14-8F6F-4E7F-A3B1-8EBA77C6FFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334660$4B1686A8-FBAE-4808-8AAD-A3C7C3BB3513","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":"Q2334660$CE94F5D3-51D2-4384-9158-6FAFB2CA380C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44cd1f457a78df5e68d45a4cf566f09f18d1ff5","datavalue":{"value":"https://doi.org/10.1007/s11787-018-0201-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2334660$905778DE-B30F-457E-858B-B70FCD93F497","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecb84d8c12e4c4e0623472530ff772d17aeb6cef","datavalue":{"value":"W2887935450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$0392DB81-1B4C-4795-B877-C2B2A53BD76B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$F029D5E5-4A62-4442-B688-5C0A75FA272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$B568EF03-50A0-42F4-B7EE-8ACCA21120EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b048122d2766cbe912f0cc28c51c9a869f1767","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$F30D17E6-2FC4-4A88-AB45-96C19A6E9A34","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":"Q2334660$9AD8F13C-22A4-4416-A932-FE2705F3BB8B","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":"Q2334660$00B58A65-8199-4E85-A3E8-CD678684F6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120bcff8f46d8b4a0b2c80817cdc7394798adfcb","datavalue":{"value":{"entity-type":"item","numeric-id":5821421,"id":"Q5821421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$02C393F2-96F4-4181-A569-659FF8BBADC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$F167AEB3-04DA-4376-8E10-69CA0BB97BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334660$AC67FF29-D646-401C-A51D-6E2BEF7B399B","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":"Q2334660$144BA350-B71D-4733-BFAD-AAE649F30DA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f646e25eb2b28eca948b574a50d75e2f015f406f","datavalue":{"value":"10.1007/S11787-018-0201-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334660$9550B8E6-5B7B-4401-95A5-DD72A54A2650","rank":"normal"}],"P1643":[{"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":"62c7c5ce8238334b62725ef245d5498e40e5a0ee","datavalue":{"value":{"amount":"+0.7680588364601135","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":"Q2334660$61314D0C-19E1-4BC5-B461-A52A9A97FECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d98d8677127290968b7609e9e94b31c989583d","datavalue":{"value":{"entity-type":"item","numeric-id":4415083,"id":"Q4415083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9655bf90c7c3bb4e2a42e4de700969c0542070bf","datavalue":{"value":{"amount":"+0.7667256593704224","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":"Q2334660$4C689089-5EF2-41BA-8685-937DD98C74D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d878b4662492199fcd61da06049c390f8800d94","datavalue":{"value":{"entity-type":"item","numeric-id":4610314,"id":"Q4610314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c649c025643f7101118b2c2f1f1bde0fcce8d6f","datavalue":{"value":{"amount":"+0.763182520866394","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":"Q2334660$7EAE5E56-CF13-47E4-97AD-A67F6E541E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75995892d78c5c688e0964a6b158460e90064dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5224691,"id":"Q5224691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f7f4056f1d968284974a6352c7dcf70cf21c8e","datavalue":{"value":{"amount":"+0.7622861862182617","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":"Q2334660$E925D90E-8FCE-40CD-AD92-439E8545BB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ed717ff049f6f389174b6b3ec8e69d3c379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d6d2c9209df3f38cba40b7b1784a0bfeaa1aea","datavalue":{"value":{"amount":"+0.7594755291938782","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":"Q2334660$5EA596FA-6672-4D23-844D-9520D5553306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled tableau systems for some subintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_tableau_systems_for_some_subintuitionistic_logics"}}}}}