{"entities":{"Q5015283":{"pageid":7044860,"ns":120,"title":"Item:Q5015283","lastrevid":58399728,"modified":"2026-04-05T01:25:27Z","type":"item","id":"Q5015283","labels":{"en":{"language":"en","value":"Certification of prefixed tableau proofs for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439744"}},"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":"Q5015283$92F7E7B3-019A-4493-854E-9BCF7F0180A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c964ad869ceb4d2e50aa5e310c370a861a13003","datavalue":{"value":"1478.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015283$9442065D-5E74-4989-B62A-462F0ED3A6D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f4b4605f2cb1b1aab15c5b5f5f6f54ccfea295","datavalue":{"value":{"entity-type":"item","numeric-id":2134935,"id":"Q2134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$0D1BA763-0F4B-4B5C-877F-0D5CE0CDE3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e01041fe23d41c5fa2e9b7e399e4c0ecad96c4","datavalue":{"value":{"entity-type":"item","numeric-id":744989,"id":"Q744989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$46AA1673-B866-4EE7-80AF-4D658C47FDC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-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":"Q5015283$BF07ACE6-806F-403E-BC6D-BBD201C77D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80fe4dab114e092fdcb067be7403ec86551af98c","datavalue":{"value":"https://arxiv.org/abs/1609.04100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015283$A7105A12-EDE0-439F-BFD3-3F0E8B557AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"56eb8497de3ab289b0f3a26975dd12355fc34412","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015283$D03925E7-18B4-4660-B480-F4715E38FD7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015283$457DB3FE-942B-4206-A1BA-CFB9995B27F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015283$B349DB45-DBCD-4483-AFB3-066C40D6816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015283$71F46096-76D5-4E4C-9207-5DEB67548435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e58e4335d9bd81fd2a75f02199e4b8347070627","datavalue":{"value":"7439744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015283$797C378B-03A5-4BBC-BE13-4A274F86285F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$2D6155AC-BA99-4A75-8147-23DB7568443C","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":"Q5015283$F4ADDF11-B85E-47F6-A2FD-D2468D99DD4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$321FF1E6-5E80-4B26-8DD2-77B2F0C02C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8867b88cb95824b879b533cfc6616cd2dbf57ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1194246,"id":"Q1194246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$3AA61DB8-FC05-4B02-997F-C2A307320861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$18948AAE-D691-47CA-8C10-7998B76F443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c41c3dc82af541fc9c595061b1bfba9eb47dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$54041D7D-6000-4EB9-8F83-9E41C19357B0","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":"Q5015283$376C5AEB-A5E8-4272-9D35-876FFEC2D4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fab84fae41def8ac5c948ad05b7f77de707c5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3455771,"id":"Q3455771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$92B4F49F-0C00-4B0D-BE3A-75A6335C0A4C","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":"Q5015283$35E28091-3EC9-4BBE-8057-D90852F8ADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$EDCF3A0C-195C-4ABC-9F95-C8CA8A228296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$56AEEDEC-01E5-4EB0-9BC6-973218F364A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$F9FE16CD-5181-4C26-B773-2AE9925DFEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9956a48c3a4089951daaa4dba3896b58a2cf3531","datavalue":{"value":{"entity-type":"item","numeric-id":4636050,"id":"Q4636050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$6760F682-8FA4-4307-8946-D254EA28A59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$09A40319-DD90-4670-93FC-6C75FDF08FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36cd3c96edc83cffb48e1c632947c715824e63e","datavalue":{"value":{"entity-type":"item","numeric-id":3460060,"id":"Q3460060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$71F9EAC3-A32E-44AD-BDE2-7F541CC4EE2B","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":"Q5015283$8BB9C962-4955-41E7-BA82-6D172A54DD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$504605E7-9BA5-4BA7-B0AD-F6CB043CFE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015283$DE78544B-4C20-4980-970E-96BD72E6AF10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc266ebb54b890652e53082ab264af512b3532a5","datavalue":{"value":{"entity-type":"item","numeric-id":5236558,"id":"Q5236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3849ad4f23fbbcba14a00d1f81abcac4b9001d4","datavalue":{"value":{"amount":"+0.865318238735199","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":"Q5015283$A1DCB916-CA20-4D77-8D32-4E57AA1BE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7101d18c0a12bcede9241e64ab662c427812c7f","datavalue":{"value":{"amount":"+0.7919156551361084","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":"Q5015283$4538C17D-E2C5-43B9-BA99-C0F83F0770F1","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":"05fc9955ebcc865eb3f45be00609d57627d0fb4f","datavalue":{"value":{"amount":"+0.7804959416389465","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":"Q5015283$610EB141-1B59-455E-9665-C21264E88686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c74db35daa7fcc9d56d9be4cac0ee3ad6285dd","datavalue":{"value":{"amount":"+0.7636321783065796","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":"Q5015283$69F8C2D6-D3B9-479A-882B-3A019A959AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e99ac4de47b89ef96460870461c5c1b8c90b83f","datavalue":{"value":{"amount":"+0.7563345432281494","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":"Q5015283$1383674C-E344-4BF9-8D2F-D3944F344AD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015283"}}}}}