{"entities":{"Q2956732":{"pageid":2967451,"ns":120,"title":"Item:Q2956732","lastrevid":79611464,"modified":"2026-05-06T14:19:21Z","type":"item","id":"Q2956732","labels":{"en":{"language":"en","value":"Specifying type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676213"}},"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":"Q2956732$20B8D05A-0030-4F08-A91F-BF77F6C98E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f51662532cf63206eba2f5c8bb193c0e22d481f","datavalue":{"value":{"text":"Specifying type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956732$E0BC62C4-F7D4-4AE6-9B7E-2577CCC9F17E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98c55ab1347b3f4ebfe78b85a043c3225a1727ee","datavalue":{"value":"1355.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$347B12BF-1EB5-40E1-A20A-B13269D87BAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55ee74db3568d67bf7537d592a1bb09eef2e7367","datavalue":{"value":"10.1007/3-540-61735-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$C7C3A166-43CA-4783-ADEC-A7DC74C6D4C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65a3f50079372433eb11d1b825685c889dee8cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2956731,"id":"Q2956731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956732$FFB9BEFB-E570-4503-AB8D-F3771D468204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956732$627C167A-B890-44EF-8AB8-6506B89077D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-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":"Q2956732$ADF7D0DF-335A-45B0-A2A6-6C379B4090F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$4030BE3E-838B-42E6-9AB5-1EF892D66542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$42FFF84F-D226-4166-AED5-B3BDE155E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$92289F47-C961-4890-9305-198A7EC1A23F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a023918c83644b4d5711cf689e5007fddef41c41","datavalue":{"value":"6676213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$4F177A89-2B3C-4742-AAEC-D644FFF77458","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbcbbe5d9c9f2b1c9f9b16dfe30663715298cdf4","datavalue":{"value":"polymorphic type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956732$C786B81A-DF48-4075-B271-7E4529E20A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956732$C1D01BC7-824E-4466-A98A-86C64C85E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba71a6cf246e70cfeb08f640c3f77fa519b71c08","datavalue":{"value":"qualified types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956732$36A6F590-A39E-476F-86C1-2DE86A008395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7917a769a1603aa5fb462dfc27030cfb55c54688","datavalue":{"value":"axiomatic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956732$4A70FD05-84BB-4976-8DC9-087C3C8BD4BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956732$A782BA7B-3FED-4FB3-A95E-5EE36FFB1C9A","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":"Q2956732$9745EFBD-75CB-470F-8BA7-9995EFAD4422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c05bf7898a6f1ece85a4f2da8c5ade2a70a54cee","datavalue":{"value":"https://doi.org/10.1007/3-540-61735-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956732$3370D204-6528-44B7-8820-BDECDEEAB3E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cedb83fa7f9a69b1dbb6c56d1fb197f1a9b412b","datavalue":{"value":"W1533278172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956732$830518DA-9D7C-493B-8C5F-D469924DAA62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9374a1eeddf31b20fbdfc2672e680ba41ce5e6","datavalue":{"value":{"amount":"+0.91941994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$C96B25BA-5851-406C-977B-EF3E1158F962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b26495c37af8eda616e6dbce30e8adb8f72e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":5942703,"id":"Q5942703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d15282bb7ae630c73baf332bd51e82693a2b21f","datavalue":{"value":{"amount":"+0.9167381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$D5322828-1BE7-4AAA-9719-1B640B7F9366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1dbdd6054753d1aa5e305aa32d16bd35b1136d","datavalue":{"value":{"entity-type":"item","numeric-id":4364385,"id":"Q4364385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dc77572cc3b5d523dfdadc853ce67d99e4a407","datavalue":{"value":{"amount":"+0.91310775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$B5A7E28F-C430-4F25-9137-5912B00CFD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d998d3ad8e8d7b70bd59f3167c0b503140110073","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc95d2744a70c0351a29d732241becdbfb31e950","datavalue":{"value":{"amount":"+0.9048986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$F1DD370F-1133-4559-BE67-2F261F86ABF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a9f9018a9c946df78045c17bc9e7dcdf784a5a","datavalue":{"value":{"amount":"+0.9041142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$A2CD1D1A-B29F-4B46-B1F5-D7A3EC64DACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d3f85a528e72ab6063c8ae104ed235152b5a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4699352,"id":"Q4699352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92f0f9919070c209c7fb070d8c74f716aaa697e","datavalue":{"value":{"amount":"+0.9017031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$65A3ED02-A845-4B9B-80A5-8659B0505A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d222f25c9032becd172c75b8ccd69102a313883b","datavalue":{"value":{"entity-type":"item","numeric-id":3678652,"id":"Q3678652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4325aa1e85fd9ef74645e3faec893fbb46dd34d3","datavalue":{"value":{"amount":"+0.8996735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$09215CC0-6660-4A10-A090-78CEC905CB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084ddde5e5f144d2d7434e6d50567eb56848ac0d","datavalue":{"value":{"entity-type":"item","numeric-id":4319801,"id":"Q4319801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b892d33bd356bcb0115e55b949a0db9c6c7e2ddc","datavalue":{"value":{"amount":"+0.8993767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$8E18BA3D-0B3A-4CAC-823A-A522B1655E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f9242db5cf52fae93875abf93dcee96f827d6","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cb77712d7b364dd240159c944a48fcf1df2abf","datavalue":{"value":{"amount":"+0.89635694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2956732$1D859701-B263-46DA-8501-D5D8E33C7566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_type_systems"}}}}}