{"entities":{"Q4948036":{"pageid":6977618,"ns":120,"title":"Item:Q4948036","lastrevid":46922853,"modified":"2025-12-25T20:56:44Z","type":"item","id":"Q4948036","labels":{"en":{"language":"en","value":"Girard translation and logical predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1436066"}},"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":"Q4948036$8C7F66E1-4369-4E67-BFB4-5AF77B63BA19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6a7b8b4842c18868395c651d89e87d996d18b4c","datavalue":{"value":{"text":"Girard translation and logical predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948036$CC0E5E2B-D39E-459F-9311-4CFDF69D58D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3655b33596359bedd8dcbe3af8913cfcd33450d7","datavalue":{"value":"0944.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$8772D667-A21B-47E5-B704-A01F5BAD6668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f89cb03ab79389b5edbfa77e5a02a921503f57a","datavalue":{"value":"10.1017/S0956796899003615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$A0138AC8-61BA-4387-A49F-73B3AA07DDE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948036$7802D5F2-9FA8-48B9-AC59-45ABF720A2F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948036$913492F8-A89D-4770-9DE7-6C3D807C3038","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948036$89EF4F2E-6E88-42BA-B8C2-D050F5471336","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$CE079363-B9B9-4E9C-9570-A1F551AD804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$A691618E-1A4E-4DB8-B523-79057A4A2BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$FCA56230-F94C-4137-9995-B4D08D46CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$6FF05F8F-6375-4388-AABB-F9659C5180B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e6a8404197ba300c3e309091dcec6fed2d2f3b","datavalue":{"value":"1436066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948036$FC00FE59-0427-4879-A440-E59BAAEE03EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e761c1db83b6c981936fd00425527bd990a21bcd","datavalue":{"value":"Girard translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948036$D9976EDA-7D13-41C0-BC49-07EED0BCE5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948036$E5E2BF26-49F0-4A6D-860E-B120DA2A0D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca216c9bb39fab1074ba17a4d77046e86cb96ea","datavalue":{"value":"linear lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948036$C75AD05C-5291-44EA-8B30-2613A81F665C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27af0279e01a62bba28bf3a953796318952045d9","datavalue":{"value":"logical predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948036$9754ABA4-774C-4473-81B0-136B73E9393D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948036$40528298-41F6-47A8-95E4-2D38A98FFE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b6b3cc05f34636eefe8c663be9f8969e14fa73","datavalue":{"value":"relations between type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948036$CEB8264C-9556-4837-966B-F052EE57A8FE","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":"Q4948036$38728FB4-4B90-42D6-B142-259C2E919088","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b636c5810721a37e0d844ecb194b01f7ee9f2bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4474828,"id":"Q4474828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc00ce94c833570f010822d9769ff56b45774c8","datavalue":{"value":{"amount":"+0.7697873711585999","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":"Q4948036$67F08734-EABE-4295-85A4-6942B2049241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96de72e1ffe859b11185ed8b5bbcb6997d4e97","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1421821f0bbca2ea48746a163d9b8200ebb6ef","datavalue":{"value":{"amount":"+0.769568681716919","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":"Q4948036$C6E47A45-29BC-4A4F-9FFA-8607989AA59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82be4f64f3f477b605185fb7639e4e595f9a29c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263871,"id":"Q4263871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a9f18bcaa589ce3fc939c4718456a07ec58ff3","datavalue":{"value":{"amount":"+0.7616734504699707","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":"Q4948036$121ECE6D-2882-4691-8D2E-AB584BAB95E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eacd4289154c895bda270ec6d72d7e2b9daf323","datavalue":{"value":{"entity-type":"item","numeric-id":5018484,"id":"Q5018484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85c27dc5822e2615f93f1a8e97670580d1b5fb9","datavalue":{"value":{"amount":"+0.7546308040618896","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":"Q4948036$97D9799C-1036-4FFF-AC1F-DD0F5012D0CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4948036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4948036"}}}}}