{"entities":{"Q2500822":{"pageid":2511565,"ns":120,"title":"Item:Q2500822","lastrevid":49898440,"modified":"2026-01-11T20:06:12Z","type":"item","id":"Q2500822","labels":{"en":{"language":"en","value":"Semantic values for natural deduction derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047772"}},"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":"Q2500822$97582F80-0EFA-4B51-BB9A-7F132226992C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3ef4ac35147648a11746757b8fd8ec52a30ae29","datavalue":{"value":{"text":"Semantic values for natural deduction derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500822$6D6505B8-7D55-47D1-8A27-7017D5088019","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d13e4d977ceb56430b16e5bce1036bc94ae97c","datavalue":{"value":"1103.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500822$3FD10001-7F3D-443E-98BC-17FC4DCADDEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$8EB991CB-77F9-46B2-A2EB-74244D38306E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500822$BB612457-CFDA-4A0F-8072-C265D69BE6AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500822$D20F2108-D15F-45AF-BAF5-FACDFC66823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500822$3D597F4D-498D-4507-BA00-A84CB5F690F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acf7c21489da2d474fb8c4cfe06af7b01a096698","datavalue":{"value":"5047772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500822$751D798E-D172-497D-82FF-8148A4542184","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":"Q2500822$7DDBE70E-8303-400B-B896-1AADEF585FB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31f4bfb876f6a2a8d0d156f0b6858b4b4aeba8b2","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6298-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500822$FE18AC40-C210-46B2-87A6-86586B5508A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2888fc467af82ffa60cecd7645338264048087a5","datavalue":{"value":"W2045318987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500822$AFC5961C-3DEB-4690-83E6-44553CCA2AC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7defca3d39ec31133fe19b5ed2159dc566c136dd","datavalue":{"value":{"entity-type":"item","numeric-id":4405129,"id":"Q4405129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$7E5E19CA-AB21-483B-B244-979E1E8CC80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$40B4F8D8-A76D-43DB-923F-BF1AAA723D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$C4830439-1C2D-49FC-98F0-D41CC065849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$73074986-0321-458B-B0A5-388860650678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4661468a127bf992bd354e4286421faab253fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3661478,"id":"Q3661478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$04F4604A-045B-485E-98A3-193B6144018B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$C95DC29D-6619-4C64-A642-B84929BF52B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$9E5568D5-3735-4FD2-A05F-6C21953D8C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$66F504AE-86FD-46B9-8DC4-DBC5708BB6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f03c1548cfd1f167c04900a9c91718e8b0cab75","datavalue":{"value":{"entity-type":"item","numeric-id":4342088,"id":"Q4342088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$2CDFFDF4-3AC9-48EE-A5F5-6F868ABABC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f9fe92c669c2b14017a84b741b61ab743fe3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1357674,"id":"Q1357674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$A7E25F20-8BAA-445F-B019-FBE9B41B1FBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f5f5de2a83858d18c2c22b120482bf8a7ebc16","datavalue":{"value":"10.1007/S11229-004-6298-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500822$383018CC-9028-4FA3-9DEC-12ED4C04CA2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"662d052b488606d21bf89b7108b5c9c8c86622a6","datavalue":{"value":{"entity-type":"item","numeric-id":4817166,"id":"Q4817166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500822$AA18C835-4590-4130-A237-2FFE78F0B3ED","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":"472a97d6b2988b36039739478eb359afcb1e762a","datavalue":{"value":{"amount":"+0.7431610226631165","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":"Q2500822$CB54404E-E3D4-4AC5-BD3F-00FAB99CA5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6565720a0dc33d50109103bebc47c711cb4aaed","datavalue":{"value":{"entity-type":"item","numeric-id":3096823,"id":"Q3096823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df5d1eb17599b0c668ab4ee0207537e5dc40958","datavalue":{"value":{"amount":"+0.7372590899467468","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":"Q2500822$6E36AE8A-46CD-42B1-97B4-F150CB399244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389bb702319181239c6c2af1aa841c75a81e41fd","datavalue":{"value":{"entity-type":"item","numeric-id":5869659,"id":"Q5869659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c7dd0808f837c2bdfbb4fa3249f52f17aed15f","datavalue":{"value":{"amount":"+0.7147441506385803","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":"Q2500822$36263B07-F858-4D42-8852-BD70A4411232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f4beff3b97d21e0343c6dba8e4987d19d6ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122aa1819e7e25593ccfde2ee34a35c22704ed86","datavalue":{"value":{"amount":"+0.708142101764679","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":"Q2500822$D3F4C9CF-8415-4EA4-AE56-1F027860D929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d88ce171885ba2ab3955fcfa0a371ea6483704e","datavalue":{"value":{"amount":"+0.7063205242156982","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":"Q2500822$A9778E53-9B39-43E4-99C9-8C9A4ABC803F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500822"}}}}}