{"entities":{"Q2254558":{"pageid":2265301,"ns":120,"title":"Item:Q2254558","lastrevid":52192106,"modified":"2026-01-21T03:21:50Z","type":"item","id":"Q2254558","labels":{"en":{"language":"en","value":"Towards a more general concept of inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398407"}},"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":"Q2254558$94867481-8A93-4045-B8E6-10490CF890A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7d4522b618a28b7b9d0b1b9cce1544b18b0146","datavalue":{"value":{"text":"Towards a more general concept of inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254558$0DBD7C54-4BE8-48BB-898C-0C5F3216BB5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feda1e2906b44222c352739409cd68451407fb6f","datavalue":{"value":"1339.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$A46F85DB-8D38-4588-ADDA-AD3C3C2F4FB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18913cec03ba282016e056a5c89950c1912b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2148781,"id":"Q2148781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254558$2FEF72C9-7EAE-4CAB-9FB3-FB5FD7813285","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254558$283F0BDE-C264-4009-8001-EDDAF530A460","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254558$875DB4AE-662B-44BE-8330-8B28A62828D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$3EDE8C99-9006-4888-9620-AB52E43AFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$0A016425-E098-47A1-9C12-354B59EFBAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$227C2B81-A058-4E2B-AA00-D0F2C597BBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$54B5F6A6-BB48-4D9C-9BDB-C54B100C7752","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d361adf5cd4292155b8fc07a618f75a7a895d1c","datavalue":{"value":"6398407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$40F5EE8A-F8A6-4541-8165-2E55BE661256","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$01BE8A4B-7129-4749-B7D9-45FE2FD17F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$2FBBBE32-D3A5-47F9-9E76-060EAB7E3E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17aee841c3f4e2fcfe6b6c23d3f8da6c66cfd7e","datavalue":{"value":"two-dimensional inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$53B5521B-E331-4C16-84FC-244E3FB488F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e003ecd7515f8742b8ff2a10fb49d2d2b8a319","datavalue":{"value":"2D-inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$90F333BC-5376-458C-9A8B-E76EEECA4BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$ACA3C736-95A9-4499-ADDB-601FFF86B83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$573B1A87-68D5-402B-B39A-EEB14A0E8BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$997FAD80-4EE0-4081-BEE3-5D6E4E1EC7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeda354c39c6cc00558207d9533fc26d327ddfd9","datavalue":{"value":"Tich\u00fd","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$607CF1FD-C021-4ADE-9C19-9A6BAC7DC11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254558$DA82767C-A454-4648-9298-16BFBFF89F16","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":"Q2254558$F24FCE89-79C3-47B0-9A6A-AE1D5D1CFAFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5acaf3c643f1343527e4c2b467b8a21f726b56be","datavalue":{"value":"https://doi.org/10.1007/s11787-014-0095-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254558$EDF517D0-3B37-4D23-BE23-8A910E51A900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"150366845d327b7088ee4cd0dc8cc75ea48dfc6d","datavalue":{"value":"W2065339356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$B2BA25E9-0FEE-4EE8-9681-35944A68CAEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254558$1EB13AF4-ADCD-41E0-8C78-DCC24AD1D7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abd41d747ddb3dbe2ccb9ebc7b621dd443fa071","datavalue":{"value":{"entity-type":"item","numeric-id":3992728,"id":"Q3992728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254558$A30954A6-0897-4956-BC0C-6FDFC38E14D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc6d0f8d5a5d91e26d22afadf8af0b9efb3fbce","datavalue":{"value":{"entity-type":"item","numeric-id":3797142,"id":"Q3797142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254558$AD211B30-7BD0-4C3D-8746-80BB0FD21B7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de3de21a0a0001377e93b683ce0f54ac5f38f4f9","datavalue":{"value":"10.1007/S11787-014-0095-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254558$C2CA4CD0-EFA5-44E2-937C-AD2E2A90A507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb840e493a31e9e70894062df7a2e55b4029a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b12f68f5d2c5aef35e0e21f4c5d7389e9d1e374","datavalue":{"value":{"amount":"+0.759012758731842","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":"Q2254558$91BB9EFE-DBF4-442B-8ADB-F0CA98A31D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d409502d80d0b298a5c837e814e311e671f7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2426732,"id":"Q2426732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d98e56fecab31686f78a66025be0bd0e04105e","datavalue":{"value":{"amount":"+0.7228004932403564","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":"Q2254558$5BFB8347-F0E4-4D9B-9DF2-CEA7ED8908F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a6be049974380ae410e52d7e0bc6313a8fb063","datavalue":{"value":{"entity-type":"item","numeric-id":5251184,"id":"Q5251184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2430eb6ee5a923ff5dd870edef64da452be6510d","datavalue":{"value":{"amount":"+0.7042630314826965","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":"Q2254558$138D67B9-33BE-483B-90E5-E6F6589BC88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3a6d8164deae52a873180545809b377251f770","datavalue":{"value":{"amount":"+0.6996862292289734","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":"Q2254558$833A00BC-38DD-40F9-A25D-490B9A953533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298c15d337469b43a21a886f159007343e4b26c3","datavalue":{"value":{"entity-type":"item","numeric-id":1770625,"id":"Q1770625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df9b9f053b9c23b5503837ae4c5aae6e52e0c1d","datavalue":{"value":{"amount":"+0.6932541728019714","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":"Q2254558$227EECF4-869B-47ED-BCB8-A96C05F23AE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254558"}}}}}