{"entities":{"Q3000571":{"pageid":3011295,"ns":120,"title":"Item:Q3000571","lastrevid":79819820,"modified":"2026-05-06T14:46:51Z","type":"item","id":"Q3000571","labels":{"en":{"language":"en","value":"Polymorphic contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897334"}},"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":"Q3000571$A548D3AE-BF40-48E8-BA44-F4137B9C29B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"298e595f23013f3d1fdb8065e1018ab453114fd3","datavalue":{"value":{"text":"Polymorphic Contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000571$41B8776E-B89F-45A9-9418-5023D8448B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee0bb6c18fee834d0be0ee714dfc4694758509a4","datavalue":{"value":"1326.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000571$92E882AD-A56F-4532-8F49-C6D2CCAC526F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d6ae41ab351a49f00bf72723dddb579715ad1f8","datavalue":{"value":"10.1007/978-3-642-19718-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000571$20BB49E0-3509-4CBF-A862-0BF2CE9370BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5867798a93b1f50ef7ace46bf8a56bf25cc98f2","datavalue":{"value":{"entity-type":"item","numeric-id":3000570,"id":"Q3000570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$A1D59F42-5B84-474F-A3A6-7620644353DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4444abd7ac1232f67be5da4f004b3f4c11084e0b","datavalue":{"value":{"entity-type":"item","numeric-id":952959,"id":"Q952959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$6F8B2D7E-B1FA-4891-9663-9686B9E2AEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$341A4212-AFB6-488D-8121-93060044CC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$661846E7-A338-422C-9FFF-0D1A1C54D385","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$94BA8B9E-4107-4F7D-96B0-5905AF5EE7DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000571$BB9FA448-7801-4449-97F2-CD87C487DEF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000571$A6A7D3C5-8F1C-4C3B-925B-950C9C4ED31D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c941620fafa395c07893d3f94c69867de5c6b629","datavalue":{"value":"5897334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000571$9FF2EEA4-14AF-402E-A7FE-03EF79F0A93E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$E5D316C2-9208-4B62-9EE8-546CFBDB33E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$2F424203-39FC-4F2F-87FC-DA72382928F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d402678107181f66d2423471cfda111da71f63e0","datavalue":{"value":"preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$F20EE118-356C-425A-9006-2A0D57056128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa32ff4e2f8860bfe4fb807d807c21607cb914be","datavalue":{"value":"postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$D1BB9C66-D2B2-4212-9D89-40E2F7BF89B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965a650cff2f4c1823322e5a575d0534162a3a7a","datavalue":{"value":"dynamic checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$545C95F3-4F48-428E-B79D-154308B1AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$F6F96957-11C4-4C7D-9414-7A6AF1559457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac660d149ae710c654387b6aab03baf357dbd28","datavalue":{"value":"abstract datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$8D297089-672A-4754-8AED-F18FC3C3A833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85cafd6d71aff3fd9dc3507de854a8611d9702b","datavalue":{"value":"syntactic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$030B063C-D73F-469F-9A37-DC8222451BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$AE04287A-45D9-4B2F-B74F-D2DFB65DDCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000571$AA2D6A58-0538-4CED-80B7-39AEA5578AE5","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":"Q3000571$0CFDBF9A-A434-4D9F-8D0A-2E0EFEC86319","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42b76690fe06d907a47c8ba5af395e95e55179f1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19718-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000571$836F4FE2-622D-4091-B505-E8B4C35B85DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d333d8bb3af1be4254601f0daaf864ca5128c438","datavalue":{"value":"W4205626690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000571$1A714000-6826-4C2F-92AF-8BB28DB0928A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc3b89e3e5f225b83ff2636cb0562d13e70eba","datavalue":{"value":{"entity-type":"item","numeric-id":5408544,"id":"Q5408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$ECE24683-1255-430B-9FE5-9D475A5D69F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$B342480F-08F5-427C-AC24-B0595A435FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$6A76CAFC-4959-4D3C-904E-C1EB7674F8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$599CF2A2-361B-451F-A682-3BEAF644629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c4a5ba538113e776e922542f26f497fdd2f7e1","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$3BB2F535-25AA-4CFE-8BDC-F10897103DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75901aa4f5670d8160d8e3239e93a656e50db1a2","datavalue":{"value":{"entity-type":"item","numeric-id":5756517,"id":"Q5756517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$CC8E782D-F34D-4523-B3DA-D31AC307DB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffba66aee5604fd5e664bccedc70519627150ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5458383,"id":"Q5458383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$8BED5873-C4F3-49A3-8E71-5B1405FBCC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43863c528a6980cd8a9f2cc7bb3b0610106254e6","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$AD776ABD-9AA7-4F2A-8622-8F13D129342D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b39cc6e048f25506da92666689e386257c033c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617689,"id":"Q3617689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$B39ACA97-A437-46A0-9429-288C04FDAE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$EAE95A81-8DC7-4318-A364-96F2CF58D78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000571$7A857F09-7447-451C-984A-2A016BAAB800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8ef4e6f06284c52a30b34d694b52e6a280e889","datavalue":{"value":{"entity-type":"item","numeric-id":2819804,"id":"Q2819804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d347c90b1c135879faf3ed7ce541fcc150952b","datavalue":{"value":{"amount":"+0.8121439814567566","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":"Q3000571$67BC8EA7-209C-4915-9067-F383A540869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7a538c47871cfa0fd1f3ef981dcd17c544a18e","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed1434ba25388b43395c4741a393c7ded9ce8f7","datavalue":{"value":{"amount":"+0.802791953086853","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":"Q3000571$64383727-A00A-48F5-8442-8180B49BD8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b006d7c3a325d3d8fbf0c697205f66cd2266aec","datavalue":{"value":{"entity-type":"item","numeric-id":5398336,"id":"Q5398336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b22114f3bc5c923c619af878bf16aa3dc7166d9","datavalue":{"value":{"amount":"+0.8016090989112854","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":"Q3000571$4D5C0AC5-6D37-4EB6-B766-456BCE0113C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d771e291c823ffaae5244d0d6153f1527595125","datavalue":{"value":{"entity-type":"item","numeric-id":5178036,"id":"Q5178036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef75e5a9cbb1eb2580b8dbc248ef688fe46e5214","datavalue":{"value":{"amount":"+0.7846473455429077","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":"Q3000571$F1C0136B-4A45-4368-A9A0-547FF25FE416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1392d90c81a63b31916389ecf1b44cc6c08431ec","datavalue":{"value":{"entity-type":"item","numeric-id":5482278,"id":"Q5482278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400c93e6c165da19f1ba0f0e76ca1e4cfab7d583","datavalue":{"value":{"amount":"+0.7747985124588013","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":"Q3000571$F8D69778-3372-4410-B33A-236AF21FC531","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polymorphic contracts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polymorphic_contracts"}}}}}