{"entities":{"Q3066291":{"pageid":3077007,"ns":120,"title":"Item:Q3066291","lastrevid":86306891,"modified":"2026-06-03T18:12:54Z","type":"item","id":"Q3066291","labels":{"en":{"language":"en","value":"Proof interpretations with truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834270"}},"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":"Q3066291$99B29FA2-7717-41B1-91F2-1C948A096FEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"333f9b2e94b1f7581a285608a09f362f2a3adf19","datavalue":{"value":{"text":"Proof interpretations with truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066291$1F024FE3-61D6-439D-8D1E-475279B33E52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"292c3fb11d672b4d0b1f77a262ae70c850685329","datavalue":{"value":"1211.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$CA91E0C6-42D5-43C5-84F1-AA2D64BE5732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86e1216a92c4550f95799f0e9e6b17064108fc7","datavalue":{"value":{"entity-type":"item","numeric-id":361871,"id":"Q361871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$D04DA747-439C-42F3-8C8A-3250FC3A6257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$6F78F57C-F6D9-4CF2-B02B-678D2538D76C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$365B58B2-E32B-4BD0-BADF-293C33A50204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740e49878700078887fbe9d119b7ad1f67f22eba","datavalue":{"value":{"time":"+2011-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066291$5107A40A-903C-4FD1-BF52-AEC72F3C81C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$D511D01E-EE8B-4BE0-9772-910B6DC78FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$0E968689-C52B-4143-A550-21178BDAEA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$CC90052D-E68B-4A34-AEC7-2CA1A1706104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$7B808677-BB6F-4166-A7A9-48BDF821CD9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa9d2ea9da75b0e296ad8fdbb30bf466b363de6d","datavalue":{"value":"5834270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$A0DAA8E2-5D9D-4DA6-B69C-030FE16AC499","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11dd824c82c4c55b7285a51f916c4fcbb027e729","datavalue":{"value":"modified realizability with truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066291$408FF54A-E481-4DE2-A982-2B25713280EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4646225b1af9f2e3da75e9b58dec9d9baabf7ba2","datavalue":{"value":"q-modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066291$F132FF4B-F626-4313-BB05-A222029911C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066291$F6F1625D-745B-4559-AD7C-E0E2D32C120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97da84b00e44782442efbde381cab7ba356bc3d4","datavalue":{"value":"Aczel slash","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066291$2ED1DD29-5458-457E-B518-763C1AC54699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e62186768915d5051bb82c777597284d5989cae","datavalue":{"value":"Kleene slash","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066291$719835FD-73AA-48CC-A00E-ABCD26738AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066291$9C42D8E5-1AAE-4D92-AD4A-608106A2D7C9","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":"Q3066291$F3887B68-46CC-458F-ACFC-5E0B9C690527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94d4df114322636a93f161b533ceb6c28f590248","datavalue":{"value":"https://doi.org/10.1002/malq.200910112","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066291$3A773C2A-C52E-458D-A1BF-3FC5A971E99C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2453c5fd1fb01c476464cfdf8adfcf95bf8af73e","datavalue":{"value":"W2018237036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$66D47E19-D694-426F-B8C0-8DEDAFC24145","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$D8D3053C-13DC-4233-866E-80A306672B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$2D77ACF1-0798-4EE3-AF8E-A14AAC9A8097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26e7e48781a52e6dc033fbfd496250fb6f1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$1A6DC755-C4F9-4EA6-AD3D-E9AF1924C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$6EF333E2-6F9C-401E-8CAE-D944237A63E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd25e2c234ae7062249318950dd6f0094954f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$98674C51-5DFF-469A-9D6C-4638CB53513A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$54A1709F-5D0C-406A-9833-960E47E55364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0f1ab68b59c3162c71f414c30faa1b5b27f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":3507440,"id":"Q3507440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$0A57C547-B4FF-466B-85AC-95274A8A5178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b98cb2e9c6b10b025c59f7c0899ef8bc608120f","datavalue":{"value":{"entity-type":"item","numeric-id":3159413,"id":"Q3159413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$D2131867-4A5D-4037-BE8D-3A8F1778A37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bbb39bcfe69bda1f8d488da6e73412c05ff49a","datavalue":{"value":{"entity-type":"item","numeric-id":805612,"id":"Q805612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$0F826A65-5A00-45FD-B20F-136DBE05E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a64f75e29626450605352d1f13f087e41109608","datavalue":{"value":{"entity-type":"item","numeric-id":4254679,"id":"Q4254679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$9E704B91-9FB8-4658-B0FA-0ACEA82F8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$7EB4A528-6B36-4F35-8D27-B99AFA2269DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545296a4d71a088cba3e8c2681b87585fb3a666c","datavalue":{"value":{"entity-type":"item","numeric-id":3612668,"id":"Q3612668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$901ADADC-2B7B-435C-8C92-3E8092927CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02caf6af169c80ad745e1611cf38b69f2a9bee26","datavalue":{"value":{"entity-type":"item","numeric-id":2882562,"id":"Q2882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$E0D98ACF-DFD3-4BF0-83DD-12C48DDF738E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066291$E289B09E-0097-426C-9C92-C61421966B35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b84a72e152a82324b0d0c28f81babed66dc9e946","datavalue":{"value":"10.1002/MALQ.200910112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066291$24C62FD5-237B-4D89-AA3D-5D50A96A1C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8738a42f0489c1b49ca8e97c681ecca0a244fcc","datavalue":{"value":{"entity-type":"item","numeric-id":6041142,"id":"Q6041142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f794a7572b8b906fd30e34226b7d627a80cc46a1","datavalue":{"value":{"amount":"+0.8389157652854919","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":"Q3066291$289CFB89-52ED-4130-953B-62D4CEED4842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1592a019e6f0d81b78cb26575f91e674f3fae5","datavalue":{"value":{"entity-type":"item","numeric-id":3159413,"id":"Q3159413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42dc74ebb52bb4616bb78f99af0a134b96544a18","datavalue":{"value":{"amount":"+0.8039737939834595","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":"Q3066291$7C463216-5FA4-4C3D-B8FC-8F8AA883640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfc6803eeecaf4dc3eba35d3a9d24d9ce1b912","datavalue":{"value":{"entity-type":"item","numeric-id":5892514,"id":"Q5892514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f911b7f06bbf3d0f33dae49e0a71838485fa1c","datavalue":{"value":{"amount":"+0.7989063262939453","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":"Q3066291$D5F9AF2D-3A97-406B-A923-EF6AF5BF7C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a8d4dfdca47dc7cdec4aca3166e0ce8cf940da","datavalue":{"value":{"amount":"+0.7979241609573364","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":"Q3066291$03EA9EE9-A1CE-46ED-B505-C885EEA9BDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c46ad00f1cee12a6f63e5cad0267900c88bf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":2882562,"id":"Q2882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25a061ce199c8cd9013bfbb0d2f8d0ef933f9d9","datavalue":{"value":{"amount":"+0.7976627349853516","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":"Q3066291$10CB433D-F000-4214-B5FC-1C965DCEBDF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof interpretations with truth","badges":[]}}}}}