{"entities":{"Q5039205":{"pageid":7068782,"ns":120,"title":"Item:Q5039205","lastrevid":91890599,"modified":"2026-06-05T00:20:02Z","type":"item","id":"Q5039205","labels":{"en":{"language":"en","value":"Proof-search, analytic tableaux, models and counter-models, in hypo constructive semantics for minimal and intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600010"}},"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":"Q5039205$B1296A5A-BDB6-45C1-8FF6-8592DD5B2547","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ff7f622ca81706638077d58382bb39a806921e1","datavalue":{"value":{"entity-type":"item","numeric-id":516327,"id":"Q516327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039205$89F46208-5D5C-4A0F-8D8A-0AFFF61884B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8100ea976e153ee716f24d344b922ea5d1ea049","datavalue":{"value":{"time":"+2022-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039205$DCF082D2-52C8-49B9-82BD-D0F90D45CEE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039205$727C372B-65EC-4D80-A1C8-DB729924835B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40552554f35245dfa5761cfafd59ead382d16e8b","datavalue":{"value":"7600010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039205$B5FB4263-CAB3-4744-86F7-7822FC360E79","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":"Q5039205$C07F7331-4AB4-4F4C-9FA0-2B7EF40EBB9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c819b2f9b66965fce0c3415a9ea3abf1f9627564","datavalue":{"value":{"entity-type":"item","numeric-id":5141792,"id":"Q5141792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0513e47ba740dcada14539e93e1be3b91e0e9b9","datavalue":{"value":{"amount":"+0.7796695232391357","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":"Q5039205$87CC3B46-ED28-4F51-8500-EFE5B0CAA284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76d75f6d652356dfd0f159a40a60ab636470e3a","datavalue":{"value":{"entity-type":"item","numeric-id":2397231,"id":"Q2397231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6c873be13afc8562b5cfc0a5cd96cb5d4ec536","datavalue":{"value":{"amount":"+0.7461139559745789","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":"Q5039205$87E956D1-A4A1-4B46-8F5F-6D47699FA41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847b50448e018025c555bef5cb99e3bc95f3a960","datavalue":{"value":{"amount":"+0.7405057549476624","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":"Q5039205$7FBDBE66-640D-4791-9005-367931D6C617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec39c26452f972e83213a0f251838ecdfe61a79","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f278a774d0d6892b850b790651074524442bb0ed","datavalue":{"value":{"amount":"+0.7358826994895935","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":"Q5039205$0B827CE5-94A1-4C9F-AE9B-E5139FC29344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eb004d1bfa7e37d3e28f58093ada5e24c8b76d","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b53487e170ac541c4deda97b8cb7cf33cab38e","datavalue":{"value":{"amount":"+0.7343800067901611","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":"Q5039205$435E38B9-3045-4971-93EE-D063EEAEB9E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-search, analytic tableaux, models and counter-models, in hypo constructive semantics for minimal and intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-search,_analytic_tableaux,_models_and_counter-models,_in_hypo_constructive_semantics_for_minimal_and_intuitionistic_propositional_logic"}}}}}