{"entities":{"Q5250217":{"pageid":7279785,"ns":120,"title":"Item:Q5250217","lastrevid":52261835,"modified":"2026-01-21T07:20:25Z","type":"item","id":"Q5250217","labels":{"en":{"language":"en","value":"Proof-theoretic semantics and feasibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6436523"}},"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":"Q5250217$95B6C586-69EF-41DF-AEF6-B77D6F7669B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aab85bbc109122a8583e73047fd6c87dbfeedf45","datavalue":{"value":{"text":"Proof-Theoretic Semantics and Feasibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5250217$79C80817-F11F-45A4-AEFD-C83174BF74C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8308f584d13ea36c7418aede40b23247b852ba30","datavalue":{"value":"1355.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$9B08FC81-2D8A-4443-8FE3-53438AAC9D9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03576adcd018ebba0153ff91b8433ae0f0fe34b1","datavalue":{"value":"10.1007/978-94-017-9217-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$7D7257DC-6560-484A-95F9-BC1643D7C112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db9e51ce80292be6936012577a75a3713a538bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5250216,"id":"Q5250216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$0EDD59B7-02CE-40C6-AEB7-EA9247DA68BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f58ad1fa225687331509200f815027dc3432da09","datavalue":{"value":{"entity-type":"item","numeric-id":244413,"id":"Q244413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$7DA0F52E-6BD0-43DC-BF9C-32CA5D5F55CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af872b12307f6e59fbb027cc58fd8691f1dd3f6","datavalue":{"value":{"time":"+2015-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5250217$1E67A73B-9C0C-4B55-BFB8-8B3E88F0ECF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$E03A2556-6C59-4AF6-9D27-3A9ADDEE07A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$096C28FB-DE4C-4886-B69D-FC7588B309EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$02B872AE-F9DF-435A-A59D-C03B5CB475B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6263fc7307be140d2949f23e51aa7dffe8db2f34","datavalue":{"value":"6436523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$BF1FDC61-FB34-4DDA-ADC4-546AD1604A3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff445857bf494a6fdc711e07efdc55e1331591b","datavalue":{"value":"feasible logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250217$638053FB-F2CE-4DAA-9D9F-13852807770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab5d3b97dfc5f2e589f49312d0246a4c5544eb6","datavalue":{"value":"feasible arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250217$3643E777-1788-4119-8690-A690969F6ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313d8f48c66671f5127ca8d73b34a54c959c237e","datavalue":{"value":"light affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250217$F566A7E0-906A-446C-85B3-6D2B5A8F7C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59555dcb2b070cfadd73b50fdb734a5c6e6755c","datavalue":{"value":"idealisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250217$5F3C13B8-596B-4617-B95F-5D3B84886C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b466bb1f2935a767625db8526929fbce369d97a","datavalue":{"value":"proof-theoretical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250217$34833126-EA97-410F-9D78-EB79083EA23D","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":"Q5250217$421A5299-1CE6-4301-A915-35567CCC5422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9a581cf695e1c070bf2c2db4a6aceb978b71505","datavalue":{"value":"https://doi.org/10.1007/978-94-017-9217-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5250217$652A51D1-20D4-4D66-8F09-FB31DB3C61D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"495acfff7bb4b46e81128226cd75fb569a44062f","datavalue":{"value":"W338462332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250217$16E4DFF8-57EB-4C31-9AD1-DC447664457F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"189ec444e140dea96785e890cbc6ce172f9c56ab","datavalue":{"value":{"entity-type":"item","numeric-id":1827388,"id":"Q1827388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$1B8827A7-771E-4918-BDAA-5A86E164CA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$5FF7C6B4-4F69-479B-8FBB-99C3C69127C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$67F45294-7B5E-479B-9138-17E30890C99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb05069087a78c39f72c59e5efc46b5f8a45f9b0","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$1A29BBF2-AF2D-40D9-828E-B71FF03BDEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d45a752190299df78fd797b5ebe48d984c1ba42","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$B1696C39-A088-4A46-84D5-89A58D446FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$0732BA2E-7517-4B2E-B6A7-B00F0BC746CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eea653172c3c601a8223a9e4ee5db2057f2556d","datavalue":{"value":{"entity-type":"item","numeric-id":4532603,"id":"Q4532603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$BEF1CBFC-23F4-43C3-9511-CCA23992A844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1b0583d9ea273e5cfaaf467e8a682dc812cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5793487,"id":"Q5793487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$9BB96938-D681-415B-968D-E31FADEB97CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$BF221912-C9B6-462C-AE07-00F039BD3968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$5B73E849-2883-4D06-B43F-596C5B942E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$7A79A83B-F2D3-4E4C-A214-75BB68BAC83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$7FC54355-6B4B-49C9-B5B6-86C8A3CB12B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$6760CF97-F9C8-40E9-8C4D-448ED66A1727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc592874777a5a9e4c44cbc3bcc6cb836a46d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4252865,"id":"Q4252865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$2F079107-C796-4A32-A936-749743AD35BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$62BF1B71-0A29-4424-9CE5-85B9CBC94508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$89743442-0276-47B7-B33C-834F8FCB8965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$F0191AFC-F2F4-48FB-92DD-3922C1F55EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$BF32AC42-C9AA-4E3D-99E9-F0F83E9C45CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d14bf0199b2642fbefb540809bbf36e18447f27","datavalue":{"value":{"entity-type":"item","numeric-id":2560128,"id":"Q2560128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$CCC2186E-EF03-45A1-99EB-31D591868003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$35E9A076-D691-4E18-90B6-1259DD76ED5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe7e76911713a7dd839db3253fb0238dd3c60cd","datavalue":{"value":{"entity-type":"item","numeric-id":1827399,"id":"Q1827399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$6B83B96C-A810-478F-98AA-4554AEE9573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$81AD8AF2-31CC-42E0-A89F-80A05A2A6642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$95C1D2F3-A412-4C35-B5FE-93A130049635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bf808c34edd92c2b99b788129bd6db0f113c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1876088,"id":"Q1876088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$FB667487-20EA-4C76-A51B-5832EBDFA292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f579a1eff41f70abaa2adf98b1939988ff8b1a","datavalue":{"value":{"entity-type":"item","numeric-id":877259,"id":"Q877259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$3D6B2A68-669D-4D1F-A735-05B494E9063F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$D97E9A96-A37C-49DB-9D43-FA0CA00893DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a88cab690e6aee0b89cc4c5f026711bfe2327f8","datavalue":{"value":{"entity-type":"item","numeric-id":1170178,"id":"Q1170178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250217$E807EDAA-8FC8-4581-BE23-4A9EF80FDD58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd36df9a97bd100338aed48371df5cfa5b301a","datavalue":{"value":{"entity-type":"item","numeric-id":2500813,"id":"Q2500813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fe909a1c705f7333298a3a5245f09b78412398","datavalue":{"value":{"amount":"+0.7051252722740173","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":"Q5250217$C8F219B0-30F6-4B56-8318-0A4CA1FA88DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79c3fef929a1898047c75bd15de958fcaf7e93","datavalue":{"value":{"entity-type":"item","numeric-id":2268776,"id":"Q2268776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d1ff1c170f13472f5da2b75112069cc26bfde5","datavalue":{"value":{"amount":"+0.6883925199508667","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":"Q5250217$A2855F75-9F80-47C5-AF3F-E37119D0147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eafef59b3a0ef7b87587a9e17a2707764708ed","datavalue":{"value":{"entity-type":"item","numeric-id":4546091,"id":"Q4546091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07c2312ca0ad6b97ec54ac42f993fe7fe8e088d","datavalue":{"value":{"amount":"+0.6850017309188843","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":"Q5250217$BE7F6540-F97B-426C-91DD-FCDDDE9B0FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab9dff15b739abe0ae34c535627b1cd28e647d3","datavalue":{"value":{"entity-type":"item","numeric-id":5258986,"id":"Q5258986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a7de6cd10416303e4faf4d6753129bd89cc8eb","datavalue":{"value":{"amount":"+0.6792808175086975","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":"Q5250217$E7D4B483-CF14-4C97-A293-55DA60E0D625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4356cb2e679cced2f39684f3a6c9d1db22bd4a","datavalue":{"value":{"entity-type":"item","numeric-id":4247023,"id":"Q4247023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a78a0264b705a40467d9349a170ef2181bcc1f","datavalue":{"value":{"amount":"+0.6782963275909424","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":"Q5250217$0BD4AD2A-988D-47ED-BB4B-ACCB4E49C1D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5250217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5250217"}}}}}