{"entities":{"Q4632438":{"pageid":6662019,"ns":120,"title":"Item:Q4632438","lastrevid":82167824,"modified":"2026-05-06T20:15:54Z","type":"item","id":"Q4632438","labels":{"en":{"language":"en","value":"A model of intuitionistic affine logic from stable domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048686"}},"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":"Q4632438$7F5B768B-DEA8-4F79-948B-B25F48B5415E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eac812993b2e01c562dd8181478c9e12d9721a4","datavalue":{"value":{"text":"A model of intuitionistic affine logic from stable domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632438$4ACCFD79-E45D-456E-A97C-ED1D07F8E379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5beff6507a99fc1617438ce9751ac13ab5cb690","datavalue":{"value":"1422.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$BE336AC8-F261-4364-8F11-3317520B619D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9144330ff9d232c3efe7e41efb1a4a01038cb5bb","datavalue":{"value":"10.1007/3-540-58201-0_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$7C29D730-D3A5-48E4-8CBA-E342EA6D03D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$E0F128CA-324B-4F22-B0E3-0F2C9901E3B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$2AF98259-D6F7-41F2-818B-9E721B309F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632438$71B600B0-4C99-483D-A8CC-DCF89867C60E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$14579B90-490B-4BAB-AB19-E5EBEC309FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$0B6D7180-3E56-42FC-BC7A-A0C908C737A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$0EC57977-2BAD-4AFD-8156-C8CB4DA1A722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$456D0F5F-667F-4FFB-A097-324267248AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$2A93582C-56AF-456F-BADF-061B5CFC0A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$FD899EE3-2116-4AD0-971B-C8B0311C771B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14787b5a7d2c09b7899180224c30cded471c821e","datavalue":{"value":"7048686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$777B6172-7BEB-4C83-9FA6-D88DB606366A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7a32dbb35eb7d80a9144317dc6d5efaa4ccb57","datavalue":{"value":"stable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632438$73088910-863A-4AE1-B906-24038D677994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5be73e71e13466ccce6dc6527b4ba098213ee5","datavalue":{"value":"natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632438$1F315DFC-5300-4E98-8219-57C07E100CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc6117348d37faa548c8bcdbf54a69e92b1da48","datavalue":{"value":"finite product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632438$ECC8BC71-3466-4BF7-A688-EB60B94AB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf302a648c7f4abeea6fa12cc21a5f9cae33c4f9","datavalue":{"value":"left adjoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632438$D123E900-B93F-4C9F-879E-9DF49EB1A5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa16ed6eee55f10fc8dbba753e12a0286b94dfe","datavalue":{"value":"forgetful functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632438$60C98297-AB85-4E08-A319-9EAFC8174FE2","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":"Q4632438$0C599EE5-EF4C-4568-8468-22959429FCCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4229b3a7ba3221eb3a34f8a168da8970f325693","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_80","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632438$9D56B279-B703-451F-B456-54263EC67982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e896ea209b09d0ad1ce6793b896376996623ec62","datavalue":{"value":"W2165368206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632438$B9579490-27C6-42C1-A386-420EDBAC8065","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$91331238-B531-4D93-85B4-553F9BA0EC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0442b615058ed1e151b3bf3d76d6cbfd1237be4d","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$4496A80E-BE9A-473C-B410-AF90AC5B8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$EEEB5F43-61B9-490D-B2D5-99B92DC81565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$52577130-EB41-4A66-936E-D0E4C80F29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$6E0F2B77-586B-4192-9559-9EB58935F51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$0438CD23-30F9-409B-8E0E-3D40EE8FCAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6003ac2f97ef0852c64701b6d0a9d9bdc01bfbc7","datavalue":{"value":{"entity-type":"item","numeric-id":4279246,"id":"Q4279246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632438$6278EC6C-F4CB-410B-BD93-6729BAE7F868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a062827c6636f15f2a95b41402a5619e28be43b","datavalue":{"value":{"amount":"+0.9085847","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":"Q4632438$A7559F46-EA13-4600-B38A-DF3631D01883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142d54ec6bd34ea6158405c365882b6ed200bac","datavalue":{"value":{"entity-type":"item","numeric-id":1782236,"id":"Q1782236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031923ddca95d9454c72c2e3f6e217a5e66c3936","datavalue":{"value":{"amount":"+0.90388423","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":"Q4632438$99D82CBD-56AD-40CE-8A5F-2D3E15215BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b629af81a2c96d0db8ed119e294db1900dbc389b","datavalue":{"value":{"entity-type":"item","numeric-id":2938505,"id":"Q2938505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2122577997c8f1a310bb9b88473673512b7178d7","datavalue":{"value":{"amount":"+0.90354764","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":"Q4632438$8A650558-AC41-43F9-A961-18C8C81BF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef13f75cc68fc25b9f306085f79e10e04e8459c1","datavalue":{"value":{"entity-type":"item","numeric-id":1127348,"id":"Q1127348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae887456e7b5bf3449a1c15c3bc2fc5d5da8e9f","datavalue":{"value":{"amount":"+0.89987063","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":"Q4632438$8F13A44C-457D-494A-B4C9-88AB0F4394DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6598ad4ce88d5fe1e20cb662f62976aed96809","datavalue":{"value":{"entity-type":"item","numeric-id":5215503,"id":"Q5215503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49424f67c4e0a2122c4b215595cd93f1608219b","datavalue":{"value":{"amount":"+0.8927123","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":"Q4632438$45147258-76A2-4DFD-A939-BB35F0955EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938df091a9def9716d44a9dbbee15649598abaee","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1217deb9c6452e5274f653a0358932a7008c9470","datavalue":{"value":{"amount":"+0.889337","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":"Q4632438$F15F0BF8-073D-4941-B300-0E1D9FC3DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5103f9f4a766bd0fb0a80cc74fafe7d36929a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817a1f811e405a3b7531c8cc9b37f2d70cc32028","datavalue":{"value":{"amount":"+0.889332","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":"Q4632438$7E113730-B35B-4C86-8D62-C1C073C1764F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad7f34f250b2215224ec0821d809091562516b6","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6447925aaaa8bb1840400b7ec9a2bf29fbe0ad6c","datavalue":{"value":{"amount":"+0.8882693","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":"Q4632438$B4E1E409-9879-4661-955C-087C5B8CCF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5898191a1472fa5f8ef581325fdb6ef59f2fa64","datavalue":{"value":{"entity-type":"item","numeric-id":3703880,"id":"Q3703880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651f30accaf3d48e7ee83d83e68d7f3ed5b3f64e","datavalue":{"value":{"amount":"+0.8863892","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":"Q4632438$9FDDB2E5-593F-428D-9724-462C4B30B5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2738f5d9d125f9199147e57a323b42288e94f","datavalue":{"value":{"entity-type":"item","numeric-id":3975037,"id":"Q3975037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3812249412960fa805b4b5c0195ac176fb156df6","datavalue":{"value":{"amount":"+0.883929","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":"Q4632438$5BC4130C-F03D-4326-9CB5-75FC6A8D6089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model of intuitionistic affine logic from stable domain theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_of_intuitionistic_affine_logic_from_stable_domain_theory"}}}}}