{"entities":{"Q4842629":{"pageid":6872209,"ns":120,"title":"Item:Q4842629","lastrevid":47341849,"modified":"2026-01-01T10:48:30Z","type":"item","id":"Q4842629","labels":{"en":{"language":"en","value":"Complete problems for fixed-point logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785339"}},"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":"Q4842629$533A5868-810C-4BFD-A425-EF72DFAE4E62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8140435614c40aa5519824627e2b0010e821577","datavalue":{"value":{"text":"Complete problems for fixed-point logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842629$EB912FDF-6DE1-4C86-A4BC-10AD73445CE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"354ee7293aeafbf9c1025a9f44aeb1eb715ae709","datavalue":{"value":"0826.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$9CE2E74F-24C2-4EB2-9D96-D1FFFC07A930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bfc94147095df86d2e149cc009aeafe5e12c39a","datavalue":{"value":"10.2307/2275847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$25199D09-CB17-4EB7-9F1B-2944B9EF5A45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842629$7595BBF4-C7A7-4829-A1E4-9CDBBB010869","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842629$2C1CC94D-2356-4522-BB43-8713421FDB07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842629$9671096F-D691-45C4-B666-6133AD8D36F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$A48570AF-F262-4FFF-80BE-FC097699FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$005E4834-CB6B-4402-98D8-2F32ED143126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$8777EE8B-13FC-487A-92B7-CFE1DDFEBCA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fed064fac99283f9c621b8260eaff04be4d4cfe","datavalue":{"value":"785339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$404B9C02-B64F-4513-9DAF-E5BB58FE24B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842629$F4453497-DF04-4639-B3CA-B54055BB260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842629$3306467E-304A-4319-BE1B-5C81459342F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76621e87e4c74a328aa3723196c49ff8cd539ad3","datavalue":{"value":"partial fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842629$3CD198E0-8A85-4D63-9A1F-2FCBB44BDCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"892bfa5aec3f5b2431f106fb67f635f629a383fb","datavalue":{"value":"inductive fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842629$293674AA-0E5B-4708-8025-D20616872C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842629$E19B69D3-EA92-4CBC-931D-9AE0F8E41D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61386f1484243be8b4a102dfb11b2240e90e43ff","datavalue":{"value":"PTIME-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842629$CFD9BA94-CEAA-4796-8808-8B7D91D6B8F2","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":"Q4842629$05DDFC5C-BE3A-4C22-B68E-34E2FB150A9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5018fd2ab8be397b5a9cb97d03b2af034df94b7c","datavalue":{"value":"https://doi.org/10.2307/2275847","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842629$82A6FC26-E9FF-4408-AF52-428EA3D35347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"966e21d4a81fcf17b49e0741e0591fd82b9ce720","datavalue":{"value":"W1977307202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842629$0CCDF7D0-9C0E-43CC-A053-261F30873C7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842629$8A2A906E-9CD1-4612-BF83-3A0A7713BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842629$D6681970-F1A1-4E42-985C-4402D0332338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842629$3AA79D98-FDDB-43D7-88A0-DD86249F83EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd20bec01f922f56f37f259f385be050b2fece5f","datavalue":{"value":{"entity-type":"item","numeric-id":4411833,"id":"Q4411833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc732fdc5f800d472a9a7926a01ad31a7d9b2eb","datavalue":{"value":{"amount":"+0.7924959659576416","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":"Q4842629$A9D28D54-75E5-4A08-88FA-4601CBFBEB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9827d3ddabc443b91bec52004d51003777e16c2f","datavalue":{"value":{"amount":"+0.7832408547401428","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":"Q4842629$4C967610-8C33-4E5B-AF38-1DC4B796F3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db591a2a748b6561a086fe755225175e85fdc614","datavalue":{"value":{"entity-type":"item","numeric-id":4340419,"id":"Q4340419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842b44e02a31b2eeefb860fbe07ea814fef5de72","datavalue":{"value":{"amount":"+0.7785767316818237","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":"Q4842629$BA5F41C9-70C0-42B7-AAA1-892F552B4FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c2e6f32934a5bb0c5839a0bee36c83eeca9525","datavalue":{"value":{"amount":"+0.7781857252120972","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":"Q4842629$54A097C8-78CB-4C50-8F6F-CADB814C3CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a34555a0a28ee9a3330ab42e422de3f4db8476","datavalue":{"value":{"entity-type":"item","numeric-id":2211373,"id":"Q2211373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327ec1c221e3181345b2c04e6a0b4b0cca1c2af0","datavalue":{"value":{"amount":"+0.7724899053573608","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":"Q4842629$8F4C8578-BCE2-4550-8892-79D9080CE7D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842629"}}}}}