{"entities":{"Q3535676":{"pageid":5565580,"ns":120,"title":"Item:Q3535676","lastrevid":80679773,"modified":"2026-05-06T16:45:18Z","type":"item","id":"Q3535676","labels":{"en":{"language":"en","value":"Polarised subtyping for sized types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365914"}},"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":"Q3535676$689A6A7E-D6A8-4063-879D-1154702AD311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac6f19b2e7decb891745a3e37fdf83534b37b80e","datavalue":{"value":{"text":"Polarised subtyping for sized types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535676$54B30483-0A7C-48E3-B9E6-7D86EEA8B5C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1279880dd5f9abcb19b31b277eb622a1c064de00","datavalue":{"value":"1156.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535676$6DD3FF8D-778E-4A24-979A-1CC0E0286E80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce178c853f22c0c881d51f3267b5c93a32dc2bc3","datavalue":{"value":"10.1017/S0960129508006853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535676$65D523BF-FB78-4BF6-B297-084DC059DC9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$AF1E5312-F957-4BD6-ADD7-2B2C3D0ABA10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$9B3A1BE7-21DD-410B-BE75-869333DE0AC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535676$969CF2BF-EB9D-42D5-8788-6181E81611E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535676$7F9FD719-8E8A-421A-909A-D1CAF87EDA73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2ad5b3a503f8d0c92f1f494a6b312135ca72f88","datavalue":{"value":"5365914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535676$85075EDE-71DD-4B0F-859E-167826360E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d511e31182ec9d0029a0d3a974b876d1b2f754c","datavalue":{"value":"subtyping calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535676$52C77A91-2478-4C25-B99F-174C64BDEB31","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":"Q3535676$19EBE748-7986-4913-90C9-F1D1799943DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2109afedce1b483ee7fc2708dbda6319653a96","datavalue":{"value":{"entity-type":"item","numeric-id":4519172,"id":"Q4519172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$140F9E7F-15B4-46C8-9172-6137D7785375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$05C2DDCF-E74E-43F9-A91B-3E90460074B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d8d107cc484ffc2be9d341cdae3571364725c","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$0872257D-5B54-4760-963E-47FB8FAB0E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$7FA651F5-FFA5-4297-8FB3-997FA876DF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$0C408E78-0613-405B-945A-C9217374CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1973aaed55a4e2d3fd84ece3e4faef40c3724266","datavalue":{"value":{"entity-type":"item","numeric-id":5466793,"id":"Q5466793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$BE580701-87F5-41A8-BB69-CD07785EC3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$A3B78AD5-8561-4735-B022-10233CA25622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$E049A7BA-8796-4BE7-806E-D9BD4BCB2216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb425e19efa9e5decb07e9dd177882dc02eb9359","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$BBB92B0A-DE0F-4A32-A952-785069AEF0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535676$6C992380-2063-4785-9840-5ECDD865AD88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82e5b905f8bde35b35880fc337f3c8c35157c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3434712,"id":"Q3434712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a428728098607cf1a07e2cff6990b9e791e45a","datavalue":{"value":{"amount":"+0.9890401363372804","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":"Q3535676$1F4E2EAE-7CF8-4354-B04C-18F26433AC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d5361dd4309bdd0910e20348430b8e8ca81840","datavalue":{"value":{"entity-type":"item","numeric-id":3540196,"id":"Q3540196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0503ec432e0a26f6b497c492f44a46a2e89e522","datavalue":{"value":{"amount":"+0.774137020111084","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":"Q3535676$96466D83-BBC8-4AF0-BA28-F7E44C0F9106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5c49e676c41aa5ec4011d82699145efeda181","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a6baa3005e4c69cbb9973ae8c23dce801f2220","datavalue":{"value":{"amount":"+0.7543554902076721","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":"Q3535676$F7E72CD9-D45C-43C1-86FC-D11C2A997CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b884a2808af6016251c395ab044a85303d4e63","datavalue":{"value":{"entity-type":"item","numeric-id":3146272,"id":"Q3146272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52cb8a3db2d9b1bc7b6e235d7ecba89a0b292c2","datavalue":{"value":{"amount":"+0.7394104599952698","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":"Q3535676$9F9EE168-E3DB-4048-88F4-CECC8452F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ffd8feacfcde15c98b27127614c68284a4a493","datavalue":{"value":{"entity-type":"item","numeric-id":1791209,"id":"Q1791209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a62fd5bfefce2936cd4fcb6eae6e5e4e9fe7cd","datavalue":{"value":{"amount":"+0.7390218377113342","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":"Q3535676$13B73D5D-BBB3-4FE6-8F68-35A65F4DC266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polarised subtyping for sized types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polarised_subtyping_for_sized_types"}}}}}