{"entities":{"Q5862002":{"pageid":7891553,"ns":120,"title":"Item:Q5862002","lastrevid":54238655,"modified":"2026-01-26T12:52:56Z","type":"item","id":"Q5862002","labels":{"en":{"language":"en","value":"Formal explanations as logical derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7483545"}},"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":"Q5862002$B0C729BA-C36B-4C84-8392-2E610FC23AFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6414ce40cb616ef622152cbb076ae185db994f37","datavalue":{"value":{"text":"Formal explanations as logical derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862002$DB16224E-6F42-4137-AECE-14EBB36106BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2a34c499bef4c74b6d25ebc1847e77f1b6b84ee","datavalue":{"value":"10.1080/11663081.2021.2010435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862002$9DA95A2E-309A-46C5-874C-C82A13848B64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bee7817e5a0e44e265abb433bc2f33ece0a2be","datavalue":{"value":{"entity-type":"item","numeric-id":1989343,"id":"Q1989343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$B42FD995-2404-4EEA-91C1-48D5AD17CE72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$F0E5CD85-6FB3-48A5-8699-41790963B773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2199ecf1fe17346ff9ea48622eb6ad7ecdd5bf0e","datavalue":{"value":{"time":"+2022-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5862002$17211D7C-4BA8-4905-870C-86403BC37397","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862002$9CEDC17B-1C8D-459B-A469-4BE6504C04B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5d6edca163a72e795ba5deb317c65b209cc3df2","datavalue":{"value":"7483545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862002$C4A48FBD-128C-4C0C-BC18-BA3A500384C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b9a58dab445e0fa7d466f628a1781a92cdcbbd","datavalue":{"value":"grounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862002$A4CD309E-1937-4F30-9208-87778A9217B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a106d7b97a12d5c0c28fbe235be660070bb84639","datavalue":{"value":"formal explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862002$B4FD0A41-C3D6-4B26-92FB-4D3B9935CD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862002$C2584881-FF69-4529-8383-A0F95B8BBC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862002$2D92A01A-510C-4565-BB39-20D60901F14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862002$98D777BE-0788-4FF0-8EE2-7D751789A9CE","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":"Q5862002$99E2C65F-FBC8-4B0C-9612-A7F7FE762738","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e9849c31a1a577e41d616a6c30285574c9a15c3","datavalue":{"value":"https://doi.org/10.1080/11663081.2021.2010435","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862002$D7A4AE79-C87F-41B8-9D48-1CE04FEE01FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f414a20727bc637c70ae0b912936770030ad5be","datavalue":{"value":"W4200609711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862002$05A56BB3-7D72-4AB5-A277-6FD2A50E7A85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c802d89f17b9f1e4023f314d32df2a230087a8a","datavalue":{"value":{"entity-type":"item","numeric-id":3099309,"id":"Q3099309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$D3325010-4966-4791-8B3F-CFC02FA74C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169e5f34704059e9126449c6280fd1ed331b7cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2873772,"id":"Q2873772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$E1F1F62D-423C-4FDF-BA56-091F090249E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d203bb9194bb975b021f6bfe42182bfd80bf4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3099308,"id":"Q3099308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$6503AF6E-863D-4E79-8DF0-A63A94941083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7163d8de1692df4de55e5b43a5f6074ea75b371c","datavalue":{"value":{"entity-type":"item","numeric-id":2940865,"id":"Q2940865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$CD8DB82E-17E7-4DBE-919F-1874AC2CA272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ce67bfc2e40b49936972a9da450bd99e52d452","datavalue":{"value":{"entity-type":"item","numeric-id":5389587,"id":"Q5389587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$A4ABE804-6BAB-4559-8474-CDCDF51DAD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed44f6a8d996202b34575dc36755ca428145487","datavalue":{"value":{"entity-type":"item","numeric-id":1749802,"id":"Q1749802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$8603DB66-C979-4868-B059-11698F17ED3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea915a882a0a2207349222644aa4eba32affac1c","datavalue":{"value":{"entity-type":"item","numeric-id":1749803,"id":"Q1749803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$1240DC84-C761-439D-8F3A-5B6EC2F5DC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a508b01325e596d10cc3cd09f6010534877e9b","datavalue":{"value":{"entity-type":"item","numeric-id":513936,"id":"Q513936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$5F0EFE8F-D7B9-4ADC-84EE-75D43292B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1a353a3e1161c1db6ff079c107e61ea6b8b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":1709100,"id":"Q1709100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$ECBA225B-5E08-4D88-B347-875D88A1ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$12DA7FED-926B-4B17-842C-8B221515333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671f822e3eeebd78d802daa72e812c4aaec7ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5213606,"id":"Q5213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$5F5398D2-4BEF-42D7-86A9-2D00FDDFF5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb033ebc94ada81551f5ba155d2bd914fa39097","datavalue":{"value":{"entity-type":"item","numeric-id":3305636,"id":"Q3305636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$70CF67FF-004A-4E78-A0DC-E0626F01A371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22d15b5b2cb7f545673a3ee80f15f67ef34dff7","datavalue":{"value":{"entity-type":"item","numeric-id":5402234,"id":"Q5402234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$AF65E7D1-B28E-4F0F-AF06-B521CA2913B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a524a694695dbafb6c3f13fbfee4aefde0ccec","datavalue":{"value":{"entity-type":"item","numeric-id":3096822,"id":"Q3096822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$C816F38F-E652-4C93-8655-80E0930597B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862002$08B38F14-14A3-4C52-B994-795C535C2A44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9d5bf0c5f6eac4bec5ff7d872a0f41c333bace","datavalue":{"value":{"entity-type":"item","numeric-id":1709100,"id":"Q1709100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b91f8328c296de5f7b5d18b385c40c51814e3b9","datavalue":{"value":{"amount":"+0.7179241180419922","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":"Q5862002$96D2FBAE-E4F9-4931-B44A-E622A1935015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b3ed2d70b0e23d864058ee42cd8c2b9c81dcc8","datavalue":{"value":{"entity-type":"item","numeric-id":5379324,"id":"Q5379324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffeb18b708d195c418fcf695cb86213fcc2ff39","datavalue":{"value":{"amount":"+0.7086140513420105","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":"Q5862002$6D17DEDC-5FA9-4A9B-890C-8D6505A02F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688183debf78d7be6c233bcca2226b2878b2a097","datavalue":{"value":{"entity-type":"item","numeric-id":3075231,"id":"Q3075231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4767c317a6f0881805bc16f6d4e42afa26bfe11f","datavalue":{"value":{"amount":"+0.7047767043113708","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":"Q5862002$FEBC6439-75E6-495E-BB09-3BEACF582F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0695e3c3b3e5cf1792695c730433524e4b4fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5000135,"id":"Q5000135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0ca8be9c910ecf278b2fbe0d719ee2a174a70a","datavalue":{"value":{"amount":"+0.6912113428115845","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":"Q5862002$70F77A8C-EB4D-431E-88AC-387D641C5D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dffcdf22c69dfa9b0b2a8a23d80c81d0aefe861","datavalue":{"value":{"entity-type":"item","numeric-id":5389587,"id":"Q5389587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12204229ebcb6a0751ace4b672f42e240df78ad8","datavalue":{"value":{"amount":"+0.6819384098052979","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":"Q5862002$1A1DC434-F977-47FA-805F-9B034115A008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862002"}}}}}