{"entities":{"Q3608816":{"pageid":5638722,"ns":120,"title":"Item:Q3608816","lastrevid":49678204,"modified":"2026-01-08T23:48:18Z","type":"item","id":"Q3608816","labels":{"en":{"language":"en","value":"Remarks on Semantic Completeness for Proof-Terms with Laird\u2019s Dual Affine/Intuitionistic \u03bb-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523812"}},"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":"Q3608816$F4BDBEDA-A21C-4073-B434-2949DBC0C791","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdf6827325653ac7bcacb639e6766e468d2b7845","datavalue":{"value":{"text":"Remarks on Semantic Completeness for Proof-Terms with Laird\u2019s Dual Affine/Intuitionistic \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608816$F8BDDA0C-1900-49E9-9AB3-CE4A3AD34994","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7db09d1926d250b8da44cf856bd2abf446217a5f","datavalue":{"value":"1186.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608816$FFB639B4-D1E2-4868-A5F1-FA9C880F4510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f276ad039ba9517e1b9cebb789d367dc870187b","datavalue":{"value":"10.1007/978-3-540-73147-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608816$A8062F5A-BCD4-4294-A48C-445D81997854","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608816$E68BB480-307C-4A5E-9D99-857C74273913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7489c6ee2f6b00541d36810d81bbb03b1d8c436e","datavalue":{"value":{"entity-type":"item","numeric-id":361867,"id":"Q361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608816$99EDD689-3C6A-4743-9E16-E8124513EC7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4c6db21b0e8321ee4e0cbe49fb02a3b124742e1","datavalue":{"value":{"entity-type":"item","numeric-id":3608808,"id":"Q3608808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608816$EEF5265A-87EB-4DF9-B90F-48B7B6C6548A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608816$87F5870B-1CDA-4456-88C7-819C6F57F81C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608816$8236017E-E967-4FB3-ACD3-54D02D7359E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f493ae80bdc8721f8a8058e6f3b6435b4572d3","datavalue":{"value":"5523812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608816$EA6E1998-5283-4F49-AB9E-BEF9EAC3789F","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":"Q3608816$13AEF74E-3525-412D-93C4-30DA68C0E3E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5356cc9a2636368721721d77efd4bebfd79acbd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73147-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608816$13E42E08-ADEF-4D83-B8C2-E858DDBF5ECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40a7e226044bf7c408330d27d99987ffe09574bf","datavalue":{"value":"W1525695252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608816$7458AC65-6E43-4FF3-9550-5582AB6285C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ea5e49cb6ddd2555b57de3f5ead8b049231aff","datavalue":{"value":{"amount":"+0.8912437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$39A22416-604F-49AE-AE62-2A74643AD64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a9a2536e2e23abd9a3083030db1c0bbafa04f1","datavalue":{"value":{"entity-type":"item","numeric-id":5537601,"id":"Q5537601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9bcef6f7399d66e089bf9676b6a08da8ba0e29","datavalue":{"value":{"amount":"+0.8910518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$83125303-01DC-41E8-AD74-6F6B280DCDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e457941d3e82eb3cfb92ea5d5846f31931ff0b4a","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49c1247cef274c117a8eadcce40bd47f56ac9d1","datavalue":{"value":{"amount":"+0.88561624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$DE68A34F-4827-4AAA-8D53-04007E94C98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef525d9b17c81bd28c54ab31c3ccf89697726a3","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e298759eb434a5ce3d4d5bac56810dc5bb55d0","datavalue":{"value":{"amount":"+0.88459814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$A6391644-5011-4EDF-8FC1-6DFCF9B4B556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d12c8260435ccc7a513cbf2237d513df4e06445","datavalue":{"value":{"entity-type":"item","numeric-id":1337611,"id":"Q1337611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287ba9338c38757a8f326513d25fe6e932d19a4e","datavalue":{"value":{"amount":"+0.88120013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$180EB8A4-62CF-4845-84BA-52E50DFED32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bc62a1cfb9f774253bf130014e6d3197cfcec5","datavalue":{"value":{"amount":"+0.8793052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$66203739-3E25-4C64-9479-3B24176A5E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a040adbe77a147499cb6425b899b2acaa44d3aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5625666ff10c6524fe704d6b29a19d2850a30c7d","datavalue":{"value":{"amount":"+0.8745436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$3062997C-BCD5-4CFA-B794-E0708939959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2df00482df495020cb1f42f660b3ab2bd5abaa9","datavalue":{"value":{"entity-type":"item","numeric-id":4273432,"id":"Q4273432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1434c96c33f0bb1fecef3194192c075202e4b3c0","datavalue":{"value":{"amount":"+0.8745284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$006FE336-7258-41BE-8610-B92B13C3CB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ebb6b573aa0b610753c12bd1fa15c44d50f035","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e453ac3942cad50ef58489c8b986f41906d997f0","datavalue":{"value":{"amount":"+0.8739616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$AED725B0-D810-4F07-AC4D-2D06BAAEDDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f75c3de4d64686374c4b347f4a372ed0e2d9346","datavalue":{"value":{"entity-type":"item","numeric-id":730088,"id":"Q730088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7211d1eeb904d1a82a99f7fb6596093fcbb543fe","datavalue":{"value":{"amount":"+0.8734901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608816$43084BC2-25C5-4597-978F-4B8B8FC407DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608816"}}}}}