{"entities":{"Q3119360":{"pageid":3130076,"ns":120,"title":"Item:Q3119360","lastrevid":85831730,"modified":"2026-06-03T11:55:33Z","type":"item","id":"Q3119360","labels":{"en":{"language":"en","value":"Proof-theoretic validity based on elimination rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034424"}},"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":"Q3119360$DFF89E70-639F-4F15-A135-F99A4BE8CA6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"705c9ae71502258e3703f22cb632ab979ec2794d","datavalue":{"value":"1410.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119360$BC68C54B-F00A-43E1-926B-F701F7ED517E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119360$8F288A5F-3D82-4F11-A860-B0838DCC52E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f1e50024e8819cb0b85124b28367c18d16eca6","datavalue":{"value":{"time":"+2019-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3119360$A9831BA7-478B-475B-B517-57451C17021B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119360$EC911F24-DD58-4D1A-8780-1BAAA0E0FDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119360$EE25CAFE-BB70-4072-BBB8-E1C4CD55E456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32596c08168497cf62405253adb991fca34cc640","datavalue":{"value":"7034424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119360$0461398D-790A-42C5-A945-44B3E6DD4D89","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":"Q3119360$03FB8DD7-129C-498D-AEEB-603C9F873FF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8591efff6f3edfdab8484aa51815719fc7aa8c0f","datavalue":{"value":{"amount":"+0.8292304277420044","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":"Q3119360$D4246031-284D-4408-807C-B569F17B30BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebcd084364cd70920275a813a3063ec07514067","datavalue":{"value":{"amount":"+0.8172332048416138","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":"Q3119360$9EBAE84E-1EFB-4188-8058-551C71F72B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051190af40fc00ec70b3cd96de779a20a70025be","datavalue":{"value":{"entity-type":"item","numeric-id":2339006,"id":"Q2339006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e883514ac557338c1d20d3bfc73ba0839fc8d15","datavalue":{"value":{"amount":"+0.7651264071464539","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":"Q3119360$94A8E296-FC2D-49C9-9928-A949F4BF3322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473a344cc4c4c6ad718fc58b4e2c864fabc496a","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d9eb9f9695781cab0cb44296e4249acba694db","datavalue":{"value":{"amount":"+0.7650958299636841","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":"Q3119360$08C962BB-4DB9-48BE-9966-31E4A716CE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af22e878fb6970ff0242512ff90d653dd83dd4ae","datavalue":{"value":{"amount":"+0.7633126974105835","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":"Q3119360$1CD5627E-4D31-4D35-9EF7-B1FF59505665","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic validity based on elimination rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_validity_based_on_elimination_rules"}}}}}