{"entities":{"Q1193588":{"pageid":1204337,"ns":120,"title":"Item:Q1193588","lastrevid":66455586,"modified":"2026-04-12T10:11:24Z","type":"item","id":"Q1193588","labels":{"en":{"language":"en","value":"New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64870"}},"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":"Q1193588$5BC2F048-F6A3-4F04-86BE-C4ED69F0773D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d22f8f3a2af51d8bd4acd72c6ec3ef65b2df6e8e","datavalue":{"value":{"text":"New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193588$670D7C69-D34A-4C45-A627-633E25A1C898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3121e072bfc961991baa5757231d0ebe994b7af","datavalue":{"value":"0763.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$388ABE77-AA8B-4182-AE26-0F5A89458490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beb27483cf2b8f70ce815efa4c5608d0044fa577","datavalue":{"value":"10.1016/0890-5401(92)90018-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$73982BF3-2C02-44FD-BE11-2A8E8E6B044D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$551A02B0-E6EF-40E3-8DF1-138A420C5DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$C8F2B43B-7733-440C-A431-D337A842D99C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$DAB6134D-B122-487C-BB42-0E9557A38DA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193588$A3BDA459-235A-44BA-A86F-A7DEE4BCC879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$9B6FD23B-0BC5-4B03-B3CE-2D6E7F309247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$D8B1A965-3FDA-4B13-B0A2-845F9BD62859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$E7AF6E83-EC65-4298-8EAA-E559EF4C00FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$4CE7D2DE-2AFC-4FFC-BCEB-43291FF16DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$9E81C2AF-563C-425F-9259-9D4574E365F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$2B58EEE3-A0CF-4110-9C05-938C95B9AE2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c9144abe5efbb5d2b6137529e55a19be1f8d83","datavalue":{"value":"64870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$3FD621B5-D73C-4DBE-88F0-54E61ACA2F5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193588$7A7E44D3-5DE1-4D43-BC9F-B0FA9565C0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574d1f87775a03b857c5257999aa694fe866472f","datavalue":{"value":"higher-order typed constructive predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193588$A6D48F24-B61B-40BD-8166-711C688C1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1292a5ba8ce8abdd7e091b830868ecb69ef63c3","datavalue":{"value":"fixpoint computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193588$1B8B2CC8-62EA-4452-B9BF-F40E49CFD53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52064b6ea4ec3af1d67affb7370b09565c3a3322","datavalue":{"value":"categorical semantics of computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193588$9A006376-3311-46EE-8F82-84E8CEC47ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e7fca66ddafadac503f68e90207f9a11016ee9","datavalue":{"value":"fixpoint induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193588$47339B07-C853-4371-A014-1CA8E671553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193588$BA9625AE-91AF-47C8-86AA-4305152906EC","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":"Q1193588$958DFEFF-6D3B-4006-A6EA-B64621832C52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$94B92F13-46DE-4A66-9CB5-E75E31AB4D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$F391D92C-58B6-4447-B09E-DCA5F219DF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$A0C840FC-0267-4DC0-B88B-40156333C5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$6566F343-3DF8-4C1D-BB10-7B47491EDD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$9EAD9F18-7757-4C1F-82C7-5091940B0AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$26F98597-66A0-40D6-8DB5-37F2FF9AF9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54868b722751ad0e075936ac6a123a5f7734f8","datavalue":{"value":{"entity-type":"item","numeric-id":4029341,"id":"Q4029341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$64A9CD53-A5B6-41E8-B680-8C25AD5843EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$6D6E825D-DBCD-44CA-B712-C4E8B7C32BA5","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":"Q1193588$E7F7FE40-04D4-4260-B1B8-5935B9036237","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":"Q1193588$AA62ED09-0C57-42E6-8293-B1F17D97B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$31EBB168-9C87-4EFE-9586-5A4AC93A8DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$08633461-B8AF-472B-94EF-D0FAEBFA12A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$B6CB14B7-43D9-48F8-8EC4-B2F4D4814B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$95E853BE-61B2-47F0-99E2-A7A2F97AAC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$6ED43AB7-3FD8-4F69-AC4A-A3E99791F76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$DB52762B-99A1-4B7F-8555-056F2B63C592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193588$CC8C9F3A-2662-4D42-B263-EFF74067CF9C","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":"Q1193588$9F464531-81EB-4D59-B19A-69724D06C12E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59a0bceb118f9e02b6071a3d8cd48754205f6b9b","datavalue":{"value":"https://doi.org/10.1016/0890-5401(92)90018-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193588$F993EB89-8C3D-44E8-BB5A-41B741AB33D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d66b09dd4efbdac3592df2f837953c7a98da267a","datavalue":{"value":"W1977260399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193588$29FB6C25-6010-4EED-9BE6-AE232797621D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd971ffec40c96d2b06f84d2e8ac03deea44e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1349677,"id":"Q1349677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce565c071e486d2a162ae09da4f8748f72b0fabc","datavalue":{"value":{"amount":"+0.7823651432991028","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":"Q1193588$2413CF72-989D-4F53-A30A-91CEA906F76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b905c60618bde02af9bea17ea9672d378ca6778","datavalue":{"value":{"amount":"+0.7736355662345886","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":"Q1193588$61CD1868-14AA-4BC6-9443-3E0E8E3BCE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e786e5d16f490e364a5c5d2fb15592e01ee620c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5707fcc374273952ee5668ea7204205949808ffc","datavalue":{"value":{"amount":"+0.758164644241333","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":"Q1193588$4A86A012-3CBB-40BB-974B-D518857265F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e103291747f6e60a3c6347bc4e927c5acc79d91c","datavalue":{"value":{"entity-type":"item","numeric-id":1923803,"id":"Q1923803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b641ad32d6dab812afdb11f62e9b1d5c4b67bbc","datavalue":{"value":{"amount":"+0.7396849393844604","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":"Q1193588$86D20762-599A-4CEC-9BBA-952F9D0D51A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcb65e092eb5ae6f63b5fa479f6942638d55972","datavalue":{"value":{"entity-type":"item","numeric-id":2757831,"id":"Q2757831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b641ad32d6dab812afdb11f62e9b1d5c4b67bbc","datavalue":{"value":{"amount":"+0.7396849393844604","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":"Q1193588$0FE67D0D-73B1-4A97-BBDE-9C74AEB35A24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_foundations_for_fixpoint_computations:_FIX-hyperdoctrines_and_the_FIX-logic"}}}}}