{"entities":{"Q952487":{"pageid":954335,"ns":120,"title":"Item:Q952487","lastrevid":50491976,"modified":"2026-01-14T04:54:20Z","type":"item","id":"Q952487","labels":{"en":{"language":"en","value":"Synthetic domain theory and models of linear Abadi {\\&} Plotkin logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365120"}},"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":"Q952487$5C2E44E9-C258-47BA-A059-0C531C0A8256","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"836569044fddc0d4dbd9d48d761302290c9db720","datavalue":{"value":{"text":"Synthetic domain theory and models of linear Abadi {\\&} Plotkin logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q952487$25998972-2161-4292-B024-EB149A4B7F35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50434d45fc69d6dacd7fe2163de1dcd25e2e2549","datavalue":{"value":"1153.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$68EFC821-94E5-4420-9F0D-10EF10EFA48B","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":"Q952487$B0C563BC-E293-468F-8AD7-EAD465C0A712","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":"Q952487$A34993DE-5C2E-4507-94AA-AE1C44E6BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$D6068B7A-69EB-4797-A6F4-DD77366D234C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$74555F7A-FBAA-4B29-B0CA-088F0CE70771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0c5d55f421b4befea01725a45f89d7530e49d2","datavalue":{"value":{"time":"+2008-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q952487$F677BCAA-BF7F-4685-9DDA-8DFC298888C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$9554D07F-CD62-4361-ADC1-9A6EB14D0080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$FC47FB3A-31E9-4E32-BE17-16F462370FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$045D7429-6D75-49F0-B503-0FE880A93DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$C3C4086D-BAF7-47B5-97A1-1CEC3D053C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$DC1E8E7F-8012-47C1-94BA-202D3F66D979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$24A8CC3B-B6CF-4CD4-9963-F78D1D342F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$7659A6AA-547B-4916-BC0C-09670312694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$E0F02F8B-978D-458E-9FB3-E7BE37EEE1A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e6ff1d85dd74c393369658b2ccf04da49c4277b","datavalue":{"value":"5365120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$719ABE8B-3AE5-4E02-85E5-E2D9935208A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q952487$B12E2003-D058-4496-A102-887F788E34F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q952487$C0C0BBF3-99C5-47BA-B440-3578501593A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q952487$1125F534-676D-4432-B77F-8542D3105154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca216c9bb39fab1074ba17a4d77046e86cb96ea","datavalue":{"value":"linear lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q952487$05485237-9C38-48AD-8F35-9AEEB6A77378","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":"Q952487$CB2C4C6B-6040-49E6-BD6A-FB48BD8BA9A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ffa3bcfd4e838d179a0346de54c4fd003b36240","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q952487$84C93048-BC1F-41E6-B3D8-CE72D3AE4A6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1293e492399b7854dc6731ddc507e55ef7bc74df","datavalue":{"value":"W2030533270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$B209CD05-A7AD-4A74-A7C9-F0C0CFB99E49","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":"Q952487$63C20603-08DF-45F4-91C1-6D701D9C4726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3021d90eca077841517bd64fc171b2a128b003a","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$B90EE5A4-C434-4D70-986E-7D398EE66D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dd947d2cd3406080a0c1bde67fc5e828ea2214","datavalue":{"value":{"entity-type":"item","numeric-id":4921510,"id":"Q4921510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$E8DA32DA-894C-48E8-BF75-5F3F5B302037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a84670e1043abc01048ef4420e31272ab86a57","datavalue":{"value":{"entity-type":"item","numeric-id":5697712,"id":"Q5697712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$BDB5E6A1-0B30-40F0-9D1A-0CF20BD9644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9e8713562da92a5db76020e33b20e5170d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5310673,"id":"Q5310673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$8B384D29-12B8-4C27-B9B7-044F90D3B5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232aae59b50267d4a9aefe303e26c6f030aae386","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$370516E7-6706-42B3-91CC-048117D8D733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8853aa8514bc7d65a99148e18c419fa4e037a896","datavalue":{"value":{"entity-type":"item","numeric-id":2464940,"id":"Q2464940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$5FF729F1-7B63-462B-B98C-42A73F70BF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$A1B50804-AB33-40B3-94F3-7759163D2B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$F9CAD76B-EAA8-4A91-AAFA-C8B32F615C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$EDF7CA40-7168-4496-BD78-B633B697CBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$1CB502CE-476D-4B34-94A2-A31175DD018F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d18d8430b188e5969cb1d2a330f0542e59f413","datavalue":{"value":{"entity-type":"item","numeric-id":4100657,"id":"Q4100657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$7FFEF94D-4921-4BCF-A523-502C2F21EEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08427b30aac08e02f04f166ab00d76cfca546567","datavalue":{"value":{"entity-type":"item","numeric-id":6171748,"id":"Q6171748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$E7D7C4FE-A09F-4A75-BF2A-825A9EBB7775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8172d2b409dca4f9256400d17d78d5eeab9e4524","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$74370121-8137-407F-B3E0-639430868073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$DAFD47F7-F443-4894-8EAA-9C897F067694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e533ff3eac48df1b8e2e6a165bd6b4f2b2bd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4263806,"id":"Q4263806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$28D295A1-2064-47A6-8254-FD9AB6A74F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38d57b28f1dfd16bb90952011bca60c1374c697","datavalue":{"value":{"entity-type":"item","numeric-id":1886324,"id":"Q1886324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952487$E3443C03-C730-44E8-9498-158689A1AFD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49449069fb7540ad254a2260d003f296cfd95a25","datavalue":{"value":"10.1016/J.APAL.2008.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952487$F44484E8-D265-47FB-A3A1-829897FA9120","rank":"normal"}],"P1643":[{"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":"a73d80d606eba0c48d2d401326c34dc63d195912","datavalue":{"value":{"amount":"+0.970358908176422","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":"Q952487$E803B69E-B359-47FC-B7F2-2CF82653EC18","rank":"normal"},{"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":"3f4a57b2791f18131c11acbcc4b355123d94398a","datavalue":{"value":{"amount":"+0.8559820055961609","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":"Q952487$2793B550-8190-48C9-801A-EF5132E0A19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fbb9be1592b07b7213b5c8e95c87d09d6c5d166","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"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":"Q952487$AF77D9D6-5561-45C6-A104-CE8126685F61","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":"796a8c197de1fcedb43c494c2c9cbf3da4b15441","datavalue":{"value":{"amount":"+0.801918625831604","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":"Q952487$EF2C55A7-6EE0-44BB-804A-D558FCEE9702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c58cabd5e0278d90399dfae0be9fde7349b682a","datavalue":{"value":{"entity-type":"item","numeric-id":3591407,"id":"Q3591407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b3965ddc6e09f04f972e611e630149f4b3397a","datavalue":{"value":{"amount":"+0.7922722101211548","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":"Q952487$1CE7EE29-B288-49FC-A6BB-A32571E0E247","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:952487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:952487"}}}}}