{"entities":{"Q4820475":{"pageid":6850055,"ns":120,"title":"Item:Q4820475","lastrevid":74726172,"modified":"2026-04-15T00:03:37Z","type":"item","id":"Q4820475","labels":{"en":{"language":"en","value":"Rules and Refutation Rules for the Logic of Finite n-ary Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108065"}},"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":"Q4820475$2B0535D2-4BF0-4187-A7CE-937862D422E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63bfdab019681917f7fd56aaee56ccecbf6ab789","datavalue":{"value":{"text":"Rules and Refutation Rules for the Logic of Finite n-ary Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820475$26B2A633-D057-4EEE-9D54-615818777B45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0342b9faf39827efe907c11fb0476b26bb2b9ff7","datavalue":{"value":"1062.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$475FF204-4C28-4DCD-964E-9BF2A7BA8F61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d1913f0e89918d0de4931bd3e4bb94eb8e95b0f","datavalue":{"value":{"entity-type":"item","numeric-id":558424,"id":"Q558424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820475$F8979DFB-63E9-42E9-8168-21145FD2BCBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4820475$EBA7183D-49B6-468C-8AF4-D98F5643A620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$32E280EE-971E-4BCA-8DBF-5FE637883F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$D271C153-82DA-455D-82B7-0B127C8FA6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$DDF38F52-59AE-47C6-AA8C-64B83FA6B075","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b6abdb0db3e54024266ae0e6c8446a8d061b3f1","datavalue":{"value":"2108065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$B4C6DFC3-2239-4F4B-9875-0073615ED4C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35770bdb04972a3d4963b7d723241b4f0d44f406","datavalue":{"value":"finite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820475$56E57704-8229-499B-A25C-D16B376D112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820475$1FCA018B-FE0F-4350-A5EA-A8537CC57E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db62a350792cc55561592d9aac705e5ec8b3cf37","datavalue":{"value":"refutation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820475$59F3F2E5-3693-4036-8ABD-55C8CDFB19E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820475$4F9CD272-C30D-4F62-9E5F-5292F9230323","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":"Q4820475$359CDE69-9A71-4E34-BAEE-9DF0F8571346","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d739e782779572d1bf2abfb219dc801418f1b57c","datavalue":{"value":"https://doi.org/10.1093/logcom/14.3.429","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820475$0F4C0534-895D-4865-8C05-0205B13F8DCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f21e385cf65f8ee15657239620c3d09c213162d4","datavalue":{"value":"W2008915117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$60761D18-9057-46B2-9417-48B05ADAB661","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f6adc693ae182ee930ed152eebd644eaaafb968","datavalue":{"value":"10.1093/LOGCOM/14.3.429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820475$61E6BF12-DAD9-4926-A8A9-F301F8924135","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820475$CF71EDE5-3D4F-431E-B7BF-7CC5AC435D6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b892734d2ff12e6aeef6de03b4b1ad2b5b85eaf3","datavalue":{"value":{"entity-type":"item","numeric-id":4412855,"id":"Q4412855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6287426ba7322de1662b8cd439df10984f72c399","datavalue":{"value":{"amount":"+0.757287323474884","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":"Q4820475$59CE9B34-2EB1-48AD-B579-ACB2768BC509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894c755e6f20fa81d85a653249d0fa428d5760d4","datavalue":{"value":{"entity-type":"item","numeric-id":1181478,"id":"Q1181478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ffd8fb9899d5e51fd1ea4965943cbd71553769","datavalue":{"value":{"amount":"+0.739400327205658","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":"Q4820475$9410CCE3-EB98-4804-9A27-961EE87047C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b83eefcd0665f1eb6fd0849f9e056ac58b24e2","datavalue":{"value":{"entity-type":"item","numeric-id":4484080,"id":"Q4484080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1f9be4a1cad71fa41379a3fc3c0b4dab74be3f","datavalue":{"value":{"amount":"+0.7366390228271484","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":"Q4820475$BA48C018-5514-44B4-ADE6-339FA3AC595C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1f9be4a1cad71fa41379a3fc3c0b4dab74be3f","datavalue":{"value":{"amount":"+0.7366390228271484","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":"Q4820475$B70FCFD9-CFBA-4648-941F-24D0CD496CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa484392476476e78f4e84f38b9ba00f33585a02","datavalue":{"value":{"amount":"+0.7277590036392212","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":"Q4820475$E5A89B34-D7D4-4841-B802-3A6FAED73A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rules and Refutation Rules for the Logic of Finite n-ary Trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rules_and_Refutation_Rules_for_the_Logic_of_Finite_n-ary_Trees"}}}}}