{"entities":{"Q2679576":{"pageid":2690319,"ns":120,"title":"Item:Q2679576","lastrevid":57526245,"modified":"2026-03-31T06:51:18Z","type":"item","id":"Q2679576","labels":{"en":{"language":"en","value":"Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7644280"}},"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":"Q2679576$5CD96B4B-1FBD-4F0C-A9D8-CFED39A9FA7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33f01c9cb4b50b2c6d5742866c37e05137907150","datavalue":{"value":{"text":"Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2679576$E073E361-84F7-45FA-93E8-5F9EE7AB545F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ddd07f12f30df6a8ac0d1929cab1fc65b6888f","datavalue":{"value":{"entity-type":"item","numeric-id":2679575,"id":"Q2679575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$5A271D7E-DD00-490D-A30A-FEF4D8E83906","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$B7CA5566-8B9F-421F-808E-C08BDE973F00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b55eb1439ef3a3c6707cb36786e753a67d9d02e","datavalue":{"value":{"time":"+2023-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":"Q2679576$8CD2B757-B0A0-4E24-B3AE-7A8D1F856500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679576$5ABA5D01-E35D-4DF6-9ADC-A825B0AE3834","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c2e7fdee548ff47a15ba6d7fa859e95faa0510","datavalue":{"value":"7644280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679576$B7BF7526-9F57-4D3F-9D2D-55FAF87BBF95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63ac57cc5c19a5389992cb6cbcba68f3a3e74760","datavalue":{"value":"metainferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679576$D5A11EAE-3B4E-4EF8-AC58-BEF03999C464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e825bedb94ccfe2c19cec152650a989c2b51f01","datavalue":{"value":"validity predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679576$8ED51AB9-0184-4256-A1E5-36FF1BBC7413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679576$7188708E-B5CF-4294-8F96-8E9C536A5529","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":"Q2679576$66A2E74F-38A4-416B-97F6-1397A418DB4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bca9087aec3c2571e9de0ac084b5b0ef4daf0c6","datavalue":{"value":"https://doi.org/10.1007/s10992-021-09616-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2679576$673B248A-5A46-49AC-9873-B8AB9F7F7CE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3384fcb359d062cee297cd218360de6a2a4f061","datavalue":{"value":"W3183401520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679576$CB015120-E59B-4CB6-A55C-E62FB214BBEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$938E4450-C6A5-4B16-8C81-B9E67F4059D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2c3dd38fb4f31cc6ff0171b4a235ac9803e7c7","datavalue":{"value":{"entity-type":"item","numeric-id":253131,"id":"Q253131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$A37A685B-5270-427C-8353-B16D68171D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c8cd0806db217588f65fbab734959000b650dc","datavalue":{"value":{"entity-type":"item","numeric-id":2301322,"id":"Q2301322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$36D5DC5B-5DAC-4901-A3F8-430B3A63549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65743c37178f9111193409ab8861f991e4536bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3094191,"id":"Q3094191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$F01E930B-6B94-445C-BC64-34B94E2748DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec69565a0f072194469c8cca4c8004e59972b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433095,"id":"Q2433095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$9B5D332C-6ACF-4C7E-AEDE-1CEC8EFACC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c22a356f17b07a03b045b4350b5b9278dd2217","datavalue":{"value":{"entity-type":"item","numeric-id":3305673,"id":"Q3305673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$278BB892-906A-494E-8A23-B4543BCFD59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0677ae918a036b6ca66e113c67e5abe12df051a9","datavalue":{"value":{"entity-type":"item","numeric-id":2052637,"id":"Q2052637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$098D73BC-F2A9-46E3-829E-41F35443E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9490748247c1c7e32bb459e34bafcf8de93434","datavalue":{"value":{"entity-type":"item","numeric-id":5107533,"id":"Q5107533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$BDBA1BAD-1D82-4236-8620-10C1F71F17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$D5A683FB-0B66-4A3F-9CF9-2124915FFAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$BAB0BD7F-677E-48E5-9875-2DF52A29DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$AE960C82-9D5B-45F9-AEDE-7F4A65DB66A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7649a464defc954d84f8361fde25be61b415a1ef","datavalue":{"value":{"entity-type":"item","numeric-id":1986084,"id":"Q1986084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$D20A81DA-7FCF-4636-8900-F5616C82E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd75c748763df6347f54a2a6ee0368f0a96861c9","datavalue":{"value":{"entity-type":"item","numeric-id":496329,"id":"Q496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$A51131DB-EE07-4909-ACE5-BF9C1746D32E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"684c604e716faa2124bca898efbb43691af6d103","datavalue":{"value":"10.1007/S10992-021-09616-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679576$B9DDCE6E-FBE4-4126-80C1-EE328FAD457F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d5094ca5d1d9bfe68a0b19cf2c460a178c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1986084,"id":"Q1986084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c3e0adbc4bd7f50e90df4ed80a5ab54ca03488","datavalue":{"value":{"amount":"+0.7879695296287537","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":"Q2679576$67170B21-741A-4AD0-A561-6F736FF7501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ffb0122775a78b10a5c673931ce40e7acdafe6","datavalue":{"value":{"entity-type":"item","numeric-id":2118968,"id":"Q2118968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9772cf1d2fb7e28d1f85e00352339e00b5565fb2","datavalue":{"value":{"amount":"+0.7726848125457764","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":"Q2679576$948156D3-C7E1-4C8D-AAAE-5C5570CB1F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e94afce1f61cd758fca6361d45a6aeb572858902","datavalue":{"value":{"entity-type":"item","numeric-id":2301322,"id":"Q2301322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7482293c1b1b0a51fbcdf859214fb94098e019a6","datavalue":{"value":{"amount":"+0.7675250172615051","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":"Q2679576$1DA2D4AB-8124-47C0-9859-66C5584992A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88b5355d971072ea26e3dd34221eff60445cf3b","datavalue":{"value":{"entity-type":"item","numeric-id":830392,"id":"Q830392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb0913145b851360a19d1ddd3d1e861b73d92e9","datavalue":{"value":{"amount":"+0.7360672354698181","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":"Q2679576$B7E65517-35AB-47FF-8A35-D3136C4B653A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b627d94493f66cd847494e21aef786006aad57b","datavalue":{"value":{"entity-type":"item","numeric-id":2078977,"id":"Q2078977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e6a64979de799296af99064d0433d009360b8f","datavalue":{"value":{"amount":"+0.7283611297607422","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":"Q2679576$93BA070C-86BE-4D50-B3A0-9E6D694D3FE3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679576$A2F79E3A-CD76-4879-8802-30210231D658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2679576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2679576"}}}}}