{"entities":{"Q5458501":{"pageid":7488060,"ns":120,"title":"Item:Q5458501","lastrevid":50336804,"modified":"2026-01-13T20:37:45Z","type":"item","id":"Q5458501","labels":{"en":{"language":"en","value":"Category-theoretic models of linear Abadi \\& Plotkin logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263667"}},"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":"Q5458501$60708C51-79D1-44C4-B4AF-B8EB7F653C68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc29cd2148e34cf54760afe003dbae7c048ebc3d","datavalue":{"value":"1140.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$0D97AAA5-16F7-4B05-AA5D-784BBB956F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458501$C567D61E-D0C8-4EBA-9534-01CA54E1631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f318053c344ddb9fb0e2eaab56a07f65ebdf1c2f","datavalue":{"value":{"entity-type":"item","numeric-id":288813,"id":"Q288813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458501$E12FD5F9-9165-4E6C-B984-80639A6EA9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458501$32F923E0-B248-4FF0-815B-9FE8F86EA511","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f15d7b3e72dcb73f65f19932d271f9b71965c44b","datavalue":{"value":{"time":"+2008-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458501$B88BD1BE-C4BC-40DB-9D7F-6FA122238248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a140d1c2252d6f3b151020b518fc001ba25c726","datavalue":{"value":"https://eudml.org/doc/129049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458501$BD5E517B-01AC-4C80-86A6-F1BD8F6CF7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c6813b585da2d7a5687f4c11202d08060b6c849","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/20/7/20-07abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458501$C3BA5849-7102-4E60-B6C8-7C61B9EC6F21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$E29700EE-5423-4AE1-AD0A-BFBC67F47598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$25ADF1C7-5263-46EB-A382-E6642C4C060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$A7799660-B9F1-4F98-A341-FED31A084F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$E14115B6-D433-4062-BF52-9443D40FCD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$24001E22-F922-47D1-B864-4FC7DFC83B14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3349cf1b1e5f63aed7e41cd72680ca3670c306f1","datavalue":{"value":"5263667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$34101FBD-8727-4560-88CC-7BF80C1D6C4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458501$077C45BE-3BD0-43FE-9608-B8763341EA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458501$DD866738-115E-4908-8177-00754C35FFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c39862c20df13f9f627853e97d2a19d2cb52410","datavalue":{"value":"axiomatic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458501$FE27379C-147C-4317-BD1C-74CE0F55BBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458501$5C68B254-6E23-4694-AB8F-ED9FC90087B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458501$901C7E9C-C92F-4056-9C11-88F4C6CC5AA9","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":"Q5458501$41779188-A063-46DE-BF84-E9996A92787A","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"f411cdeb244e908131057df9f21a7bd85988cdf9","datavalue":{"value":"bafkreieplhavugf6pi6pj6jye7xfmk7lsxh74z3qx3j7n2ygx6qsnuobti","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458501$3035B92B-9431-481C-B2C8-A683D9C7D450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc7d157831fb560c9dfb165b6fa904fea4f97b","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7a1c5d1075236020dca255df89bd8e0785ed09","datavalue":{"value":{"amount":"+0.8733789920806885","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":"Q5458501$9E66C755-D420-476E-8C72-230512C40A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624c15ac79f8b04c5b00510533ba4e6d96011e57","datavalue":{"value":{"entity-type":"item","numeric-id":952487,"id":"Q952487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23d8d4da459832137832691a661877c10a67181","datavalue":{"value":{"amount":"+0.8542221188545227","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":"Q5458501$A4901878-CD8C-470E-AA94-157C0FD394B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fc8aacb77721006b3bd1e0aeabf0de6d924fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2852351,"id":"Q2852351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734d04b031fccc7818119bdf0b667a07e8792190","datavalue":{"value":{"amount":"+0.8412095308303833","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":"Q5458501$43A0363B-A3C8-4BD6-BAB3-9D0F5BB597EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f401ea73318666d32139faa52cd2010b71705e","datavalue":{"value":{"entity-type":"item","numeric-id":5310673,"id":"Q5310673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e32bd67085a9d8c433229af65c0376990d512b","datavalue":{"value":{"amount":"+0.8374238610267639","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":"Q5458501$1C53408C-77CC-46AD-B2D3-AB3950B7410E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0da1773c6a64d989062f1e55d81ec87afc7482","datavalue":{"value":{"entity-type":"item","numeric-id":2464940,"id":"Q2464940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd027ed973aa9a1bd5b3b1ee52cabf07e75efd2","datavalue":{"value":{"amount":"+0.8190210461616516","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":"Q5458501$2EA4FB22-B621-4D9D-866D-6A1E0409CB56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458501"}}}}}