{"entities":{"Q4322072":{"pageid":6351673,"ns":120,"title":"Item:Q4322072","lastrevid":47299732,"modified":"2026-01-01T06:56:07Z","type":"item","id":"Q4322072","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720178"}},"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":"Q4322072$FDD05D01-3E5A-4DBD-A66A-B45C9E58400A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b2def41fa1a99e4586e7ac7d7b72a1a4964939a","datavalue":{"value":"0886.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$EF5A3815-3D99-424C-BFA0-DB4E93313F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1a6c7535b20d7452176d83f0851c39b81996235","datavalue":{"value":{"entity-type":"item","numeric-id":1854550,"id":"Q1854550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4322072$301E7264-04CE-4995-9914-4912B6D076C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4322072$9A003A16-F334-4B09-AA0F-5F14DE61C600","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":"Q4322072$7CD1FE94-E139-4BC6-8532-C6D582C3E394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4c7b0f2b4b2e00db0c2bbeef25414a187777048","datavalue":{"value":{"time":"+1996-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4322072$D5A23AE5-026D-49D0-AB21-AC54E5CE868A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$A1D8EF9F-E599-4268-9332-264A96C667D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$14C27110-14A2-4331-B617-5A73F3FD31EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$B8DA10BE-95A1-4861-8CCB-22A7D309DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$01AE1026-30F1-4A00-8BEF-24E65456EEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$1271A99B-7913-4C67-9C29-538564DDF905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ddc449ce1336f4d771486fa7ac5570975757ac1","datavalue":{"value":"720178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4322072$FA68BA38-1BC1-4A16-8197-0B1B9D8821D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0a5068a4946316d3ae87a58ec5f376a10a19f0","datavalue":{"value":"type soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4322072$298B328A-C721-4DFC-B7FD-F223205543FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a6d75828a20389b95fb4f379abcc0f827e58e","datavalue":{"value":"untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4322072$EF3D2036-AFDC-47B9-BE1E-0144C9964554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661d114a5a67f1321475faef7e8326981570adbc","datavalue":{"value":"delegation-based object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4322072$0A67BCD4-09F1-4A05-803A-F067BF6BC429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e836154f2441e63688c3561fc296fc4fee0262f5","datavalue":{"value":"type inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4322072$30A5F604-783D-482E-995E-05C1865EE305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7730c3522024f54a132360a8ef82f36929cf135","datavalue":{"value":"static detection of errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4322072$4F71779E-0EF2-46B0-AE7D-2753F381CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4322072$CB4DFE56-7E61-4F34-8827-B84FFD5EE770","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4322072$6B5CCA4F-F433-4CC4-B27E-9DF866B07C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4322072$9E8C6E0D-4AB0-43A8-8C36-14B2B8893D7B","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":"Q4322072$E4DBCAD1-BA93-408A-8DED-E58552BFE6DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f72d9cc6489b292f8aee20e719fb8d777bc8e7","datavalue":{"value":{"entity-type":"item","numeric-id":5055878,"id":"Q5055878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d752bddd9bbd200af7eaaa6c0039dfef4c17ce4b","datavalue":{"value":{"amount":"+0.8455478549003601","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":"Q4322072$145BCF4B-DA57-4870-AFAE-DEFD324E9781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fab4f05caad4963a9a6d7c1d6a3799436307ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4375807,"id":"Q4375807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97367489d7ebec8b4f3a7e55327abd58d1b8b8e2","datavalue":{"value":{"amount":"+0.8438299894332886","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":"Q4322072$72DDCF5F-8455-405C-90EE-2A1D6DAB8D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1733e0a99814017540fbbeab0a9b8ee3318e77c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268463,"id":"Q4268463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97367489d7ebec8b4f3a7e55327abd58d1b8b8e2","datavalue":{"value":{"amount":"+0.8438299894332886","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":"Q4322072$A919DC47-A61C-43D8-A644-57A0F00C47EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfa4432a41114e5011a8e6463c49cfeec027344","datavalue":{"value":{"entity-type":"item","numeric-id":4474827,"id":"Q4474827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52a5d29b41b05130a15813d3098a421552d613d","datavalue":{"value":{"amount":"+0.8148896098136902","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":"Q4322072$F9409903-F61E-44F1-95DC-C206EA65E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba9fd087b4ae6e1e74aa276b8f0478d6c446ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261073,"id":"Q4261073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afed252a5d640ba51e75d5be27a84f5391bceedd","datavalue":{"value":{"amount":"+0.7826404571533203","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":"Q4322072$08568267-DF5D-4DD7-91D8-18ED69B3E580","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4322072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4322072"}}}}}