{"entities":{"Q1407541":{"pageid":1418281,"ns":120,"title":"Item:Q1407541","lastrevid":48176884,"modified":"2026-01-03T21:11:05Z","type":"item","id":"Q1407541","labels":{"en":{"language":"en","value":"Finality regained: A coalgebraic study of Scott-sets and multisets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982475"}},"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":"Q1407541$3C7E08CE-9067-4F41-85AE-69E1193A081D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25924b4f0f884526dc890f222c209158d64b71c8","datavalue":{"value":{"text":"Finality regained: A coalgebraic study of Scott-sets and multisets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407541$9751167E-DEF8-4651-9EAB-52DB04CF6A14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff4c23ac4930062eb3871b5cda1aee3f953aa9cd","datavalue":{"value":"1023.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$E4FEFFD4-432F-4051-8316-C13C6EDDA456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407541$825AC9DF-C499-4A69-B03E-F7D8C6B9C7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407541$A84F6BAE-4BC5-495D-9428-B2BDE037D9DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407541$9F5ED751-4A6B-4AB7-A905-DC9F83D8D26B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407541$02611508-2643-440F-82EB-22E266FD9C28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4373b73e635e923caed295b36b54dadef64fee7a","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26479","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407541$F2046565-3624-4C3D-B15E-69A9FC6D3669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$B3832F64-4BDD-43E6-BE5D-AE1E0E496EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$A40456E5-0B7E-49EC-B52E-B039DF7B4932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$1695C3DE-042F-42FA-9947-F882EF1F5B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$04B77156-356B-43B7-A006-53F3ACBEA306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$535C0B51-C94B-4929-845F-7D0FD17D3BD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e565288d3493429020ab0ab04f129171fa4b7c7","datavalue":{"value":"1982475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$10EF55F6-23E5-446B-9AFD-8C53821312DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407541$748AE3C6-D85E-4664-806D-3697BE885014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec34a0943b92f7c432f2cc236e0adb2cad45f5e","datavalue":{"value":"non-wellfounded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407541$38273759-51DB-455C-B356-1196766FFF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45aae95e90632dfcd6ab7e0144d94e4b3ca37bd","datavalue":{"value":"graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407541$5BEC69DE-C63A-45E8-8B2A-2222E435F8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3071703edeb27c5332aae376cc69f50f8137f3","datavalue":{"value":"iterated circular multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407541$B31C6070-943E-4062-A30E-6A9FEC35073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"072356922f6d83efa01503a9fc0e0bac1b4b41b3","datavalue":{"value":"Scott universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407541$6B1FFB52-B572-44DD-885A-9D694006D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fd341ebfa08abbd752bf4a97b78b4d690cdfbd","datavalue":{"value":"AFA-universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407541$3EBCF6DF-41E9-447A-8DE3-74D9C21F8D40","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":"Q1407541$D148799D-26EA-4EE6-87DB-B225C04B2FB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32a316fd0c07f1e06ca3588a78a3a109f6c00a3e","datavalue":{"value":"W2176114185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$E3235429-2CBF-4987-A7CD-2EA28FF94CB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba8916992203c8ccfc9c20628f2d049c04ca8984","datavalue":{"value":"10.1007/S001530100110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407541$DABF753E-BEBC-4FAF-A1EC-08ED65E129DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f521d55327d32c32c1ced44664d2eb3a466e26","datavalue":{"value":{"entity-type":"item","numeric-id":4719351,"id":"Q4719351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b9babdba250f1d7ebff1037abcb5369d54eb7d","datavalue":{"value":{"amount":"+0.7156691551208496","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":"Q1407541$7D5793B8-D720-49E9-A41F-D4CCE64FE577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970ea9cdd2f04b44cd763a66fa878d88f8057d8e","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfefb7bb880c595dfdc92eb748d3b645f581a181","datavalue":{"value":{"amount":"+0.7153736352920532","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":"Q1407541$7A1B2950-8280-44E0-879E-EA416A82671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3046f5199addce7c71b3f9604b164209f455f39","datavalue":{"value":{"entity-type":"item","numeric-id":2249004,"id":"Q2249004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784baae41d699ca6d18ec3f00d60b7e29f892a7f","datavalue":{"value":{"amount":"+0.7088603973388672","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":"Q1407541$91C0D9EE-E95C-494C-9207-F4387B34B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2ab9e6a46f25136d008cea93c1e00f54ab2b17","datavalue":{"value":{"entity-type":"item","numeric-id":456862,"id":"Q456862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e50db37f32097692ed2b26020cfaf6a184fca4b","datavalue":{"value":{"amount":"+0.7068295478820801","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":"Q1407541$EBC4630E-F17D-4599-918B-2F6D25C55823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9958f89b062938f7f37371edf00e9ff80ddce2c5","datavalue":{"value":{"entity-type":"item","numeric-id":4499309,"id":"Q4499309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f5b6a8fd4ba79b5ee462bc933bd26fdc77f011","datavalue":{"value":{"amount":"+0.706573486328125","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":"Q1407541$864C8766-6581-432C-AD6B-21559FF5486D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1407541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1407541"}}}}}