{"entities":{"Q4640309":{"pageid":6669890,"ns":120,"title":"Item:Q4640309","lastrevid":90106214,"modified":"2026-06-04T19:15:10Z","type":"item","id":"Q4640309","labels":{"en":{"language":"en","value":"An Isbell duality theorem for type refinement systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869457"}},"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":"Q4640309$70108912-F53B-4F18-ACB9-83615C74D9E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5ea6b790cec820ff21b4648a00e720bc5a75de1","datavalue":{"value":{"text":"An Isbell duality theorem for type refinement systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4640309$C4264D17-AE86-482D-B33A-62F532109844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"180facb15bf4d8a7988b39ec54cee48d44d0816e","datavalue":{"value":"1390.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$EBD9D9CB-4D17-4E50-A1B0-97AE67D3F055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ed9cf87fd49b2dc36170c7904c084427a126c44","datavalue":{"value":"10.1017/S0960129517000068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$6346F661-C7D1-4E44-883F-03F63C709523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$270AA2E4-001C-4C2E-A2DF-E174E0D4E61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f377508bb60773fd982917157c68668b1c0938","datavalue":{"value":{"entity-type":"item","numeric-id":2133465,"id":"Q2133465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$5D16357B-8D02-42FF-8A99-EC4E48E6280F","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":"Q4640309$5382C6A5-93EF-4F2C-81BD-76330D8C233E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4640309$A28133B3-9C48-4531-B450-791C4260B60A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa39d785c59114f3c3cbb4bc3516d75d8146a50f","datavalue":{"value":"https://arxiv.org/abs/1501.05115","type":"string"},"datatype":"url"},"type":"statement","id":"Q4640309$D1AE0E4E-B958-47B5-9A89-D36C52458691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$C70933A7-7C21-424F-8D78-FDF4513465A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$6AF9897C-EE4B-4391-89AF-E2145BE9ED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$8623C992-B13C-45C2-BEFA-2C7FA453CE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$3E51A272-D19A-4041-9A32-79741FEEE184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7a3e25442fa39e0f2e6a0eea6f1103310685fe6","datavalue":{"value":"18F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$FEC53163-94A3-445A-96DD-5F27872CDDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$BB50FCE7-578E-49CF-B2A4-D23C35BD009C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ed49aa52fe9a06f67233d0216e82eee87ed5c3c","datavalue":{"value":"6869457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$367E0962-E40F-4BCE-A90A-3C522EF8D8AB","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":"Q4640309$6C7578C4-BFF1-472B-94A0-1362D4D59D90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$43BDB735-EC70-46EE-B3D3-0837F5F0327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3d9e463ed97558e5adcfb69629ebb333860895","datavalue":{"value":{"entity-type":"item","numeric-id":2890506,"id":"Q2890506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$EEBFB2D0-D607-42AE-8178-D8CD647FF68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$D352C847-2C76-4365-9B79-BCEA791D5BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$410AB098-83A0-49D7-A78D-E5F9E14B55AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9701c4e4a8a6a6373c23900beb1d6949083c86","datavalue":{"value":{"entity-type":"item","numeric-id":5603226,"id":"Q5603226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$45CAF423-FAB0-4022-929D-C17FE3D57B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$32F20343-845C-4232-AA8F-3BA306FB2238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7853f86beb7594e79fa4294bbae8237396f9dc87","datavalue":{"value":{"entity-type":"item","numeric-id":5891134,"id":"Q5891134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$117512E3-DAF8-42B8-BA69-EFF2BC2D0521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$14F3B9A7-5232-45A2-8067-079362EAC6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0f96bd7644b87078b54e3f53823b650999a057","datavalue":{"value":{"entity-type":"item","numeric-id":3163399,"id":"Q3163399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$B598C297-8318-47F7-8B8D-C4F1FB5621CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$6D436121-A72C-47C1-935A-6985053D8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$24ED274E-00BA-431C-AACF-C640BF76B663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d4bf9c9b77da10317f514f0365dd5899492d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5517689,"id":"Q5517689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$F31FAF15-F65B-4AEE-B467-DC7B0F1B07FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$37A3601F-7D4B-4CDF-AA84-927B3734BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$22E4918C-30B4-4BE2-9116-82F8AF0C134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$6D04402D-07C4-423A-9EE9-603B98138E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$5DEF4A64-2735-4693-BFDC-7EE81ACFE4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$19B09771-5F01-4CC8-974C-F675D5138DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70ec7e25259dfe0f24fc73b23b0ff5b77e43e69","datavalue":{"value":{"entity-type":"item","numeric-id":4679163,"id":"Q4679163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$003CDCAF-7604-4A51-8555-F79CDE4CD8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$53587C83-51E2-4634-9D9A-EB47512F02DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$42AE9877-D882-464F-A8AE-CCD92A0B5A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbc2fb2178522e2f1c356188a818530de9cd6df","datavalue":{"value":{"entity-type":"item","numeric-id":3374890,"id":"Q3374890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$3EC42BE9-E3A6-4AD1-BC4C-DE6C02728D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb26583f5c977543d6c19ab4f93b35735816a38e","datavalue":{"value":{"entity-type":"item","numeric-id":2986824,"id":"Q2986824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$1EC6E5CD-CF9B-40FF-9BAE-CA249735383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d34a9c4e2d8231512ffc28ee4d474595b3025d","datavalue":{"value":{"entity-type":"item","numeric-id":2819783,"id":"Q2819783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$2D6D271B-C0A2-4366-AF4E-A161A66BFD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba783bfd6a483fec8728401dd350b558e9821911","datavalue":{"value":{"entity-type":"item","numeric-id":4635915,"id":"Q4635915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$765FBECA-6B94-497B-AF16-3A740365E6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$DC699952-EF77-4F73-AFEF-E4898878B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1ab0377b45882eb7ab8ca94378d5073d4cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":3086784,"id":"Q3086784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640309$7C1E122C-6603-4582-B51E-FA0091AC348B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"072001d3b538e3dcb121fb48b5c30cdddd8e2c15","datavalue":{"value":"W2962849127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640309$BFF0019E-3169-43D7-9DD0-8C1CE4509D31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196b0bdac58fa31a0047cbe87fd24c68195aa865","datavalue":{"value":{"entity-type":"item","numeric-id":2819783,"id":"Q2819783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728073d9df8efa15fdafbee6050c57f1e8aa7429","datavalue":{"value":{"amount":"+0.7438403367996216","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":"Q4640309$B3B3F246-7174-4D61-AC52-B9AE7170B843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5077806c315c625317f35b726511f70a5e4396","datavalue":{"value":{"entity-type":"item","numeric-id":4635915,"id":"Q4635915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9edce4ca68bec14658b5f8e2e32f94ca02fcac34","datavalue":{"value":{"amount":"+0.7079596519470215","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":"Q4640309$4E9C39A8-1B13-436C-9F4D-C17909DCAA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9da80a6f26c458f8760ad4f6668abbee479183","datavalue":{"value":{"amount":"+0.7014443278312683","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":"Q4640309$29DF6F12-700C-4D16-AD48-A94C631C012B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538f59f2f47ac861685fa7159300fe779d13b403","datavalue":{"value":{"entity-type":"item","numeric-id":2871879,"id":"Q2871879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c768f9484a283d58d6ee28d0e609fb1b581820","datavalue":{"value":{"amount":"+0.6974945068359375","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":"Q4640309$F54AB60E-BE8C-417C-8509-890E0AB6A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7377b467ddcdb934ed475cca21da3b08c2c16e0","datavalue":{"value":{"entity-type":"item","numeric-id":4945251,"id":"Q4945251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c282a869d40fc096138367493e77c060c611ff","datavalue":{"value":{"amount":"+0.6875835061073303","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":"Q4640309$9FD134DD-F9E3-48A0-A08A-C5FA3641B32C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Isbell duality theorem for type refinement systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Isbell_duality_theorem_for_type_refinement_systems"}}}}}