{"entities":{"Q5955623":{"pageid":8132425,"ns":120,"title":"Item:Q5955623","lastrevid":102113759,"modified":"2026-06-06T03:30:40Z","type":"item","id":"Q5955623","labels":{"en":{"language":"en","value":"Ground and free-variable tableaux for variants of quantified modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1705613"}},"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":"Q5955623$A859C2C6-25EC-4F31-8FAC-30BDC476DA6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ba5ddcb383f1cd74f7a3cef69917c91bb79db19","datavalue":{"value":{"text":"Ground and free-variable tableaux for variants of quantified modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955623$E2FD6965-AE91-476C-BD84-62077284F87A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83925d61f73f7acfa2d04ddfb1836b6564cbbb9d","datavalue":{"value":"0988.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955623$69B687B3-55DE-44DC-95BF-A16EC02EB3A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"769bc08c4ffa7133a1f7e8686022fe19d2feafc9","datavalue":{"value":"10.1023/A:1013838528631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955623$830A5BB9-4E94-4999-976D-C38896561383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955623$F96198FD-4D37-4BDC-80ED-2DF12EAAB477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955623$C091AE10-D4A3-41FA-A291-564A2572854E","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":"Q5955623$7642A58E-0718-40AA-B085-2246F876ED60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e966d4815b72abe2a088aab3c069c348cf432c17","datavalue":{"value":{"time":"+2002-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955623$B903B103-785D-4735-A927-4E3E3AFD79E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955623$E1167E9F-B57E-43EB-9BED-5B26F8FCBB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955623$0D5F39C5-D9FA-4F92-BEE7-BAA73847CCCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0c5a4371d3303b1ce4778dcf4e08b6941f88f6","datavalue":{"value":"1705613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955623$CC4BB2E5-BD13-4F5B-B4E1-30CE0A2B7D9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54182b6d9cd175b0d8818847edc40ca608bdd3d3","datavalue":{"value":"quantified modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955623$4F50D05E-3391-4A3E-A03C-B668177D05C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7f1bec445bd56741f6ae157007fe29dfeb27c0","datavalue":{"value":"proof procedures for variants of first-order modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955623$3667C29E-4C59-4733-A6C4-D823C9B858EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac5f87c2452a4bb9221668c72755935919ba5b","datavalue":{"value":"tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955623$2E92FE46-458F-44ED-80F1-E665B31A0F4A","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":"Q5955623$5C36E4D0-856E-4BDB-B32B-F6324B76D312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48f6057bf8ab6b1a0b0d5a294cb22f97cfc2290","datavalue":{"value":{"entity-type":"item","numeric-id":2721195,"id":"Q2721195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4008ebaf90f9d6dd130cb9e491e5977769ce9e2b","datavalue":{"value":{"amount":"+0.9352285265922546","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":"Q5955623$26719158-B161-45DD-8B93-321D0973F269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c2ddb026ef8dd55c71c1af469b82c37797a77","datavalue":{"value":{"amount":"+0.8160359263420105","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":"Q5955623$999081FA-9E2F-46DE-A6F5-65F9A3E4EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e593bcf54f85dcc5e3276ed1ccab0010bb2935c","datavalue":{"value":{"entity-type":"item","numeric-id":4539603,"id":"Q4539603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04794ef9a5ede1d824a4f1699bed83d5ae4b4237","datavalue":{"value":{"amount":"+0.8118342757225037","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":"Q5955623$E8E055ED-FC88-4D2F-A719-FF2CA2F87F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22106a3347722ff447633be5ecd41dc1716c09a","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd225222a72b3dcedc09dc4c9c5dd176a856228e","datavalue":{"value":{"amount":"+0.8063463568687439","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":"Q5955623$A5011DF5-DB9A-455C-934F-66E1603EC895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51effc067e9a5b440074799ef190b3fa83d1058f","datavalue":{"value":{"amount":"+0.7829098105430603","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":"Q5955623$B3CA6EC3-FF7B-4C31-849B-788A0BC5823B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ground and free-variable tableaux for variants of quantified modal logics","badges":[]}}}}}