{"entities":{"Q5096247":{"pageid":7125823,"ns":120,"title":"Item:Q5096247","lastrevid":54382019,"modified":"2026-01-26T17:53:25Z","type":"item","id":"Q5096247","labels":{"en":{"language":"en","value":"An extension of system \\(F\\) with subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572027"}},"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":"Q5096247$FBD0EFC3-E851-4932-9530-76E60606194D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"435cb99308cbc6f581340479821e49fe27c6e962","datavalue":{"value":{"text":"An extension of system F with subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096247$5A264294-4519-4CA6-80AC-B254904BC438","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04a85934585bb1326a1c864828af25d831a7cc4e","datavalue":{"value":"1496.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$03A8EF83-4254-4353-95F8-93326579DB2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c3b5457fea165a0d546a6666c251d959815b78d","datavalue":{"value":"10.1007/3-540-54415-1_73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$DC53DC93-671F-477E-98F4-C20DF2A7056C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$51C21E48-8D85-489C-8DDC-1EC6E047BB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$B9153471-5CA4-40B9-886F-9A97143B6E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$B88FA9B5-7E2A-4E19-AB4C-40A0B5CA74CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$AEB53A0C-D3AB-47D5-8A38-14BB9303A469","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$FC691BD7-CD28-4A1C-8C1D-BFEEB0AD1FDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096247$9C9C0781-755F-40DA-B6F6-9FA51F617FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$531D999A-15EA-4042-975C-430C37077DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$CD0DC252-B855-4C79-A6A5-7F85FD92F24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$26F6B057-AE39-4AAC-A8EC-7C9A574FA31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01a9e2685b9aa2100558c8af68fd09e7c606483","datavalue":{"value":"7572027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$865A6BDA-33E4-47A9-BB9B-9ECE225CA26B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ec140453fd06c78a4ef683a55d8c6c46505ce59","datavalue":{"value":"Q56982259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$8341566C-CF4B-42E8-BD85-DEE2A2D0A29D","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":"Q5096247$A7617ECE-A64F-4A6F-92AF-0443DE0FFD57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1d2f832e304f5f965a29a3c86b0bd5956629f14","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_73","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096247$C79595DE-E494-4BAD-933F-E863D7E690CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab084fde9a9e408944b1f1ec1b9b9ad06bd4e63c","datavalue":{"value":"W4206115163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$E503A045-4403-4253-AFCF-2E70276D9F64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$FCAE394F-11F1-4288-B7D4-8FA94FC0FCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$24406BE7-99B6-42D2-9905-BAB99B26BD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$EF48BB09-0E2F-42D3-95CE-9184846F79AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$215D17D0-4D2C-40BD-B85A-08AC599468B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e76eb3f817de473bd9934fd44a22c28c69cd15c","datavalue":{"value":{"entity-type":"item","numeric-id":4855343,"id":"Q4855343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$0AA6A99C-0E10-4D81-B32A-C0745A046A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$4D67D7D0-B4E8-4114-B463-6D5FD40DE4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258a9f1cd60932eb32f1cda1e9cc16d7b11ee004","datavalue":{"value":{"entity-type":"item","numeric-id":685400,"id":"Q685400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$226471AD-89BE-4720-B99B-9D5EB527DF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$BBB112D5-33C8-4F7B-9110-91C45A89F36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$F8AABBA3-A3BE-4C12-8207-8A23B6BF8976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$DECD83FF-145D-49E7-96ED-E0D500304E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c6d6d042c46abf1963fa55483f5344d41b204","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$192878E2-378C-4FA3-9078-9500CD9B7F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$1ED79CA1-0D1C-414C-9FBA-FC5DDC65DC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096247$0A782E49-A336-4F91-9D27-B7A64C52C2D4","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"afa2e07ee62f38d8b645ef7911524156c5e0958a","datavalue":{"value":"conf/tacs/CardelliMMS91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096247$1D7E7C56-99C3-4077-8269-1FFC4D1403E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84c98ecb8d20117ac3288cc27c98c898b554d","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e443d042caa270adc01c03c1ec2c2bea3b5b8641","datavalue":{"value":{"amount":"+0.9057289361953736","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":"Q5096247$64984273-386D-415B-B42E-5B4FB805D8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c710f6f2aed8bceb772ddc597c88c6b329e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4855343,"id":"Q4855343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3e01f971eb096523e51a47fbbf761e3c84bbff","datavalue":{"value":{"amount":"+0.8960908055305481","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":"Q5096247$CF719AA5-102F-4534-A353-89430E68A189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee3a3403892b4f66e652e5a89a91407811a4734","datavalue":{"value":{"entity-type":"item","numeric-id":1605176,"id":"Q1605176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f65f3c08e3e4b4f03c5bf2b14b0894bc6bbf647","datavalue":{"value":{"amount":"+0.8249471783638","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":"Q5096247$9AC78408-EDAE-4CB0-A0BB-5F2F1196C056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572711cdf34838976e710fb939031862ffef574e","datavalue":{"value":{"entity-type":"item","numeric-id":2892742,"id":"Q2892742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af5a025cb9bff3465da51ae92799f3a1dbd9a78","datavalue":{"value":{"amount":"+0.7915456891059875","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":"Q5096247$9EB6B591-E281-4E1E-823A-98872254B7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308368c857222d20647caffb3b30f17db91dd7db","datavalue":{"value":{"entity-type":"item","numeric-id":1918933,"id":"Q1918933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7861c5744314807840c2fc707dd4a70a62c03d26","datavalue":{"value":{"amount":"+0.7889440059661865","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":"Q5096247$9170CAED-2C34-4F75-8BF3-1A74FFEB99D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096247"}}}}}