{"entities":{"Q2864151":{"pageid":2874871,"ns":120,"title":"Item:Q2864151","lastrevid":79500719,"modified":"2026-05-06T14:03:26Z","type":"item","id":"Q2864151","labels":{"en":{"language":"en","value":"The bicategory-theoretic solution of recursive domain equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236107"}},"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":"Q2864151$7C9EE36E-41F3-41FE-BAB0-DBF6DF336CB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b17c58e4d65be33c7ad74c51c58685bbbbeedaa","datavalue":{"value":"1277.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$1255D552-84E5-486E-BE46-0CCF57374CD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae5d51a8f2f733a0d8f92003216f08ce70ad6775","datavalue":{"value":{"entity-type":"item","numeric-id":598190,"id":"Q598190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$ED681399-6E59-412E-A027-F729B0E67AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$11689411-5B73-48BB-BFB4-93C3812612DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$3DB37A4A-D73B-4BFE-8052-FBCCECBB2882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864151$31D1633C-2D33-4003-A0D7-F572D15939CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$3A4798A7-3B64-4E59-97D9-E73B5D54CB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$5405DA9A-8661-4A5F-8D08-478E6E751E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db94c21dbe04274a9c1fa5aa1b0593fe4bfa07c1","datavalue":{"value":"18E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$112E9BF9-B143-4D29-942A-7B067841D6DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90a86cbad7e4cda5176e8f1ad7b3d63aa9bfb67c","datavalue":{"value":"6236107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$E8B86D17-F9CC-48BA-81CB-4DD26DA70173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a70fe5fcfb05ac658bf18e70134412ba36d5d6","datavalue":{"value":"bicategory theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$B3F72757-5B73-48D0-9584-DF246C4EB5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$AF2AAA20-EC21-4A4C-BE18-928525D467A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9770abf3f95901105fdacc2bfa5c9b0cf665234","datavalue":{"value":"recursive domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$9B10019B-1102-44FB-8A37-2AC02B0D81FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f09b4628f3fc7ed8cc24f0ab5c343f1b43fe2c96","datavalue":{"value":"bicategorical limit/colimit coincidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$CAE905E0-1930-4A61-8087-EBBFD4027998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506dc38d0a98866a84f92240dd41f72d3f44b8a8","datavalue":{"value":"algebraic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$653E8DF6-FCAC-4235-BA35-C524EE78418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14895de0d06f950e17b1b67ae4e17d15b6c7092a","datavalue":{"value":"algebraic compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$9194DDC1-81EF-4D5E-983F-5DC66A6FB31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c39862c20df13f9f627853e97d2a19d2cb52410","datavalue":{"value":"axiomatic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864151$416B6D90-0776-4121-977C-DEC23D64AB7F","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":"Q2864151$43AC88B6-E8B7-487B-AAEB-AA688A5A2DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a446d5216d539dbdbbe58192db51c2d357bba3b5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864151$09A2D98D-F21D-4A99-BCAA-C66BB6117E0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"538b94be2f10dbb7f2b27e3a887521a20c3656f0","datavalue":{"value":"W2036542851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$B7667665-77C0-4997-8699-EFB9A2039FFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde268768cb5a3bbc4a6ccecc6a7bc4da7784515","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$6B609083-B18D-4360-A191-ACA3BEA94274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9daf32634b4463f4148054a23ef5bcd3c01b7de","datavalue":{"value":{"entity-type":"item","numeric-id":4366766,"id":"Q4366766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$BEA84B91-CB18-4AFF-BDB0-D2F69B1D45CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$17FCF0B6-B963-4AF6-B800-A6233683F279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$B793A05E-58FF-43C4-80A6-E2A49D540143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$8074939F-3DD8-448E-96BE-9C1EB63246E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fa9df701afe9775f6ba13b30a54088e84295e0","datavalue":{"value":{"entity-type":"item","numeric-id":4362910,"id":"Q4362910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$FA65157E-EF12-4C3F-B1E1-DA552C195222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8e1b6e029ae7bb1a05e1fe42124368a8102316","datavalue":{"value":{"entity-type":"item","numeric-id":4936144,"id":"Q4936144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$FD9077AC-3D63-46A8-825D-9423EE5DAB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$5D8820B4-6148-495D-AD13-71E6CE9FC2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$BB039103-F640-4F79-8764-354036A96E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81ef112fe975a95128ef61fde3700e6b2affec6","datavalue":{"value":{"entity-type":"item","numeric-id":2762220,"id":"Q2762220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$C2720324-5455-4E8A-84DF-27E469A437DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$94CE4BD9-36E7-4774-BF1F-B540B512C639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$3AC69573-CDF8-46AB-BE59-AD3CC8CE78DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$771C86AC-5C99-441E-A732-DFB7FCF08B7F","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":"Q2864151$669D1F66-FB78-46ED-8D38-AB6F09B2192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$F42A40C8-1EE1-4CA4-92E7-BBB21F67A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$5FE28ADA-46E5-4509-A4F0-AB047F8686D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$647643D5-82DC-4DEC-A27B-BAC2ADB9548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc83ffad6b4663692dca3e0aa4064ce03f3d012","datavalue":{"value":{"entity-type":"item","numeric-id":3324131,"id":"Q3324131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$F26BFA57-96CE-473B-B633-8456A76DBA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51356f42b4428d3c5b0aad4769e5e290ef65ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4248541,"id":"Q4248541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$EB9C3063-B102-423C-9870-AF4A79E82D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8644b6fa84b10099411357bc9783d7d48c635ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4719352,"id":"Q4719352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$4C83339E-E9AF-47BC-85D7-2E9F34C5D096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$C1DDCAA0-7CC4-4BA7-8BCE-8D7A2B481719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1c7b6df9d0ac656056f5858db253db53d7a66f","datavalue":{"value":{"entity-type":"item","numeric-id":3708172,"id":"Q3708172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864151$362267C0-27E2-498B-9C26-C1F915A5A79E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7127b6f45ba0fb2106c76e0e510671abeace465a","datavalue":{"value":"10.1016/J.ENTCS.2007.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864151$1F1F96D0-96EC-4B81-89BA-374174FB3AF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c4efefc002047c3539c20effb6d7315246fdae8","datavalue":{"value":{"text":"The bicategory-theoretic solution of recursive domain equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864151$F68D4EE3-4E64-449C-8B8C-4A729495427C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998ade1746f757f9fa3d443cb4597c63577cf480","datavalue":{"value":{"entity-type":"item","numeric-id":604478,"id":"Q604478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f667bdc49c0d833736c99106233f9fb1a98828c","datavalue":{"value":{"amount":"+0.7951766848564148","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":"Q2864151$65AA6B3B-0699-41D3-837F-5913B01B69E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee03811315ba128e8e3078b8e191e4878c9b904","datavalue":{"value":{"entity-type":"item","numeric-id":860876,"id":"Q860876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9951f4918dbd8491184dfc85fd4181e9e8d38cf2","datavalue":{"value":{"amount":"+0.7839782238006592","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":"Q2864151$7263A4A1-3368-44F9-884B-A183C2400868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f62f5ff011c86ea40c02f9a39bd5170827d565","datavalue":{"value":{"entity-type":"item","numeric-id":5492828,"id":"Q5492828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2665f93bcce4a13018f1f784c049e61462d36f","datavalue":{"value":{"amount":"+0.7820020318031311","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":"Q2864151$034B8A08-0F21-4740-A4C3-3DF9EC2C8B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee603bad0c9d55f2cc48c5d20d467633af74014","datavalue":{"value":{"entity-type":"item","numeric-id":3711753,"id":"Q3711753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f708ef4be1ee6b583f9254637384719e14d13c","datavalue":{"value":{"amount":"+0.7746606469154358","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":"Q2864151$F74C536A-8EB5-4B61-8A4D-EBC65F349C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc563c2b23feb3db0cceae890595993444c0f49","datavalue":{"value":{"entity-type":"item","numeric-id":2864147,"id":"Q2864147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abe0d8300f8872bdbf2de885e03b08abfdb7196","datavalue":{"value":{"amount":"+0.7659023404121399","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":"Q2864151$65B78CE3-E6B0-4FD2-AF94-FE97D31F38A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The bicategory-theoretic solution of recursive domain equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_bicategory-theoretic_solution_of_recursive_domain_equations"}}}}}