{"entities":{"Q302245":{"pageid":304012,"ns":120,"title":"Item:Q302245","lastrevid":60884475,"modified":"2026-04-10T19:45:14Z","type":"item","id":"Q302245","labels":{"en":{"language":"en","value":"Logic reduced to bare (proof-theoretical) bones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6600751"}},"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":"Q302245$7E0EDE83-22E9-4E6B-A7E3-0625D4D9D72D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"894173e51da355fcb15c62d34c66c1b81b548a88","datavalue":{"value":{"text":"Logic reduced to bare (proof-theoretical) bones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q302245$EAC3BF0F-98F2-4293-9E6E-1D6E55107758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0537ad98d7a27ddc29c7f5f97be57538b0fb5017","datavalue":{"value":"1350.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302245$48C64067-0B9A-4A95-B025-02DF15C2DB4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ffaffe1b7f5ecc9c8861e2547e5daa11cec77a4","datavalue":{"value":{"entity-type":"item","numeric-id":302244,"id":"Q302244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$6939D47F-9497-4735-A2DF-96EAF0B63E8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$7B520604-63D4-4C53-B57D-80EB49D0146C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96ffc2d0a9b6e5a88899520001cb0fe4528f891f","datavalue":{"value":{"time":"+2016-07-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":"Q302245$192E1CE3-42BA-44A2-9051-35A178C601B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302245$8ED34BB6-35EA-4354-9F36-44020677FA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302245$913105C9-7357-4140-86C3-768CCEFA34C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf4890475dfa1cf533283d83ea9c7e8e2fa99ca5","datavalue":{"value":"6600751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302245$7BBF11DC-3E7A-4BC4-B9EF-3987DD38361A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q302245$DE3E0CFB-F257-41A6-A2FE-4147CA4DB67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aedf2d2e228c24bf1b032235dac6cb63611100ee","datavalue":{"value":"incompatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q302245$F131937F-A125-4DC4-8DAA-D6BD6BF4C47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q302245$1F6DFB24-8B0A-4895-8F8A-DA3159D0A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q302245$AF1EBA18-5504-47A9-B0CD-BDE899654B89","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":"Q302245$EAF20D06-0D43-4B56-ACA6-A9C94C89051F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df5dd5a3d4f4dcbe3605caf14298d4d447e34bde","datavalue":{"value":"https://doi.org/10.1007/s10849-015-9214-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q302245$D6A4A49E-0AA1-4F2D-86B9-6ECED06CFB78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18969b80f8dadce7df0693ee513d758fe7d7bdb4","datavalue":{"value":"W2016067711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302245$082EAA39-D409-4526-8734-E161D1F32755","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7b68671522342d2d7f4f5704e2607a107b4d13","datavalue":{"value":{"entity-type":"item","numeric-id":918524,"id":"Q918524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$54A38FE2-0521-46DA-B8ED-9192866FCDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dadce80c9e5384cc71b908cfa6b6731cbb438be1","datavalue":{"value":{"entity-type":"item","numeric-id":5839916,"id":"Q5839916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$C546FE44-DD2E-419D-AB0E-5957FF977770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$7D71F4BB-D0B8-4CFA-BAFF-AB224EA749E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$07D0058F-81F7-4704-8F84-B97D6E036A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39700daf922af970edf922063d623ae332b142a4","datavalue":{"value":{"entity-type":"item","numeric-id":5409126,"id":"Q5409126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$0D4D935A-C0C7-4A9D-856F-62B93079A1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$8D5AAE75-2291-4156-8C67-36D99786309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28198614af480b9e51725473cd093916b37b84ed","datavalue":{"value":{"entity-type":"item","numeric-id":2645424,"id":"Q2645424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$1C8F45C9-B2F8-4EEB-8B33-64B272F0FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c011e5e42760beb55188452f75bca8e4fe75c1","datavalue":{"value":{"entity-type":"item","numeric-id":4318839,"id":"Q4318839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$A68BC42F-520D-4460-96E3-FFE93303C6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$B3DE128C-6449-47E5-94E1-AA1527BA731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab358f33fda714869cb11e9e36ba6d88b40d82ce","datavalue":{"value":{"entity-type":"item","numeric-id":2426732,"id":"Q2426732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$D5E2F42B-F0C6-4ED6-B627-EB7E6A3E1D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9aa0ef3bbda2ac41ef800b81c3fc367aac8b37e","datavalue":{"value":{"entity-type":"item","numeric-id":975776,"id":"Q975776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$C33541DC-2167-4057-8951-379D9AAED52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14f2229475ed79b2733027c94f0c357925661d","datavalue":{"value":{"entity-type":"item","numeric-id":1037601,"id":"Q1037601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$79AD48BC-4B4D-4730-B4A6-CCE752B378F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b6deca98cdd2e92dbdbfa23acd8e75e0acde59","datavalue":{"value":{"entity-type":"item","numeric-id":694488,"id":"Q694488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$8BEA487D-1311-4B80-8DF6-292621C64561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$DA146B8B-2601-4B10-AFDB-3EDC7C8A64D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab91346c99249d55ffcd373bc70342f696339726","datavalue":{"value":{"entity-type":"item","numeric-id":2556849,"id":"Q2556849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302245$60D2F7C9-0FB4-471C-8E83-3E4BA6284674","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b96663e927e29a808bc194488d9beb59a1ff4578","datavalue":{"value":"10.1007/S10849-015-9214-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302245$E1592238-C08E-43F8-9AC5-A9C3F18B012C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec7dc0be7f02fedf9dcb78d896eb8bf36e40baf","datavalue":{"value":{"entity-type":"item","numeric-id":5365518,"id":"Q5365518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4404ab619f4516f9682f7c14fbf1b2a67d17db5","datavalue":{"value":{"amount":"+0.8446415662765503","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":"Q302245$670BB3F7-833E-4D48-A1E7-33CB2B1C9452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b2c1f3a92b8d01014c7acf9d3ce91de2fa828a","datavalue":{"value":{"entity-type":"item","numeric-id":4918296,"id":"Q4918296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480efae04235670a1cfcf40e6edb89505b1e096a","datavalue":{"value":{"amount":"+0.8100277781486511","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":"Q302245$97B71868-8EF6-4F48-AA25-4B77A1111D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c048891708de23fcab0c9666a0483d7016953e","datavalue":{"value":{"entity-type":"item","numeric-id":3691633,"id":"Q3691633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9bda58a7ba8cd27af2023f709ea10846c6ad3b","datavalue":{"value":{"amount":"+0.7193884253501892","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":"Q302245$C1D1E0DB-47BC-427A-B34F-3E7C9203145E","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":"544546a61baa836508487f0065d4fcd842938837","datavalue":{"value":{"amount":"+0.7186318635940552","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":"Q302245$EADE8917-8499-4163-96F2-8B95E918A68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c339a94f04b8ccc2b33b20da9fbee5adef9a3533","datavalue":{"value":{"entity-type":"item","numeric-id":4826043,"id":"Q4826043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923fa727f2059f772f91bb15600fabd2af16fec0","datavalue":{"value":{"amount":"+0.7150430679321289","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":"Q302245$7FAB0F91-6190-485B-87AC-11D8C54E0BE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic reduced to bare (proof-theoretical) bones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_reduced_to_bare_(proof-theoretical)_bones"}}}}}