{"entities":{"Q6182223":{"pageid":13317111,"ns":120,"title":"Item:Q6182223","lastrevid":102607238,"modified":"2026-06-06T04:54:03Z","type":"item","id":"Q6182223","labels":{"en":{"language":"en","value":"Tree-like justification systems are consistent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793276"}},"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":"Q6182223$6430B675-ACE4-45F3-89B4-B07955CE648B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"216fa65fe0f2079d9abc216216a5643748bbb0f1","datavalue":{"value":"1528.03146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182223$7B62080E-692E-4B29-9E7F-69AA58B20388","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba54c224859a77af25037f3044cf3f8ba618c393","datavalue":{"value":{"entity-type":"item","numeric-id":5038467,"id":"Q5038467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$48F788E4-7BAA-4FAB-9A95-8C4B58A7BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$F826EC4C-650C-4A21-9D4C-52B7A908B961","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6182223$D32CA7BB-9AC0-4E29-B4E2-41ACCDF007FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4612b8565abba556d7071dfa63059d5f9b28a37","datavalue":{"value":"https://arxiv.org/abs/2208.03089","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182223$437BE0E3-E567-411D-8F4B-1FB54F0964E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4ccba2f1eb84e51c7b428375aff14e1a5a4b4e4","datavalue":{"value":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2022.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182223$F38B9C9B-C745-47C1-B5A2-E41D19A87EF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182223$83D598C9-9278-45EC-9346-908A9A980B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182223$5C4E1FE1-C8A7-4DA4-A30F-0B822578DE47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f93e08399c1007b585298d4648edbaf174927a28","datavalue":{"value":"7793276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182223$F0AB874D-DD10-4FF2-89F2-1E9085ABCCFC","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":"Q6182223$E27D3226-1A3C-4DD2-B468-D7CCF0F8F646","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c83b36a7e658c8ca5d562bbb3ad6d3af686f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3449209,"id":"Q3449209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$171CE3CD-7C90-4C11-B5EF-8A1BA59B22D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$E1CDDFBC-0414-446B-AF35-3E7CB2247FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8779c8d2ad06b1c3ff3b57c8c872ef09e3b0bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5897499,"id":"Q5897499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$D4329953-462A-44C0-BBD1-4FF43AA9E9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba0fc0f9001df0705a7603ac9965efc33cc41e5","datavalue":{"value":{"entity-type":"item","numeric-id":3585169,"id":"Q3585169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$137B0251-D51F-48DE-856E-12FC1E3858BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc246c2a19616c081470c86c80685d113b0761a","datavalue":{"value":{"entity-type":"item","numeric-id":784159,"id":"Q784159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$6F824F52-B78B-4924-9249-C3835B8EFE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84367305a3401f1cc5bd9507ece776468882367c","datavalue":{"value":{"entity-type":"item","numeric-id":5140022,"id":"Q5140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$71FDA09C-9BC2-45F6-A5E4-6B97600D1463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182223$21513D77-9F21-47F3-ABFE-76922B076360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1560bb87cce100acbb26885ac8f7ac225fe1ce","datavalue":{"value":{"entity-type":"item","numeric-id":3449209,"id":"Q3449209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87493492fae84eab49ecc7064a57122ff5fdfed9","datavalue":{"value":{"amount":"+0.7854524254798889","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":"Q6182223$EB8C4951-B7A8-4D90-A031-E77A3C10A22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c853b93f2bd68e56d4c14c0a493678ac6ece94","datavalue":{"value":{"entity-type":"item","numeric-id":5140022,"id":"Q5140022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9429aae853cc86617d200f5b712f5ca6f631a375","datavalue":{"value":{"amount":"+0.7361016273498535","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":"Q6182223$CC48FE1B-CF4D-43E6-875D-34A9865285B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f066c52bcbdb6b3da752386285b5e66aa2a27cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5038468,"id":"Q5038468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7874d6ee6d14559f2c0497714b89fa13b2dac55","datavalue":{"value":{"amount":"+0.7238808274269104","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":"Q6182223$E5DAA058-3C17-4A70-81FF-39B6BECB2E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f64a26903283ce465960d0668e046e9e47b4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5145820,"id":"Q5145820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519b9248fd8169715d1d6d3a944327c81a131108","datavalue":{"value":{"amount":"+0.7220385074615479","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":"Q6182223$78A0CDBE-44F1-4AE0-91B6-115E4B1342A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baf9a4cef4e2c33ae94212ebe1c46c647ec867c","datavalue":{"value":{"entity-type":"item","numeric-id":5878369,"id":"Q5878369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4e0dfb7574a3bd5e3b79747b9b8868d15decbe","datavalue":{"value":{"amount":"+0.7204909920692444","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":"Q6182223$1F3161C4-F318-4528-8EBD-621CB423C233","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree-like justification systems are consistent","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tree-like_justification_systems_are_consistent"}}}}}