{"entities":{"Q1886320":{"pageid":1897062,"ns":120,"title":"Item:Q1886320","lastrevid":69191580,"modified":"2026-04-13T05:22:57Z","type":"item","id":"Q1886320","labels":{"en":{"language":"en","value":"Expressive equivalence of least and inflationary fixed-point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116236"}},"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":"Q1886320$6B9D70EC-079D-4269-94FB-E3E7D46751DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e858741292281a9b31a20972e3ca99903061c79","datavalue":{"value":{"text":"Expressive equivalence of least and inflationary fixed-point logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886320$3A9B9EE0-483D-472F-B25D-D792C6505B74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f975df3e2c0964ca9261fb7be5d524960d5770c4","datavalue":{"value":"1052.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886320$C0BB5522-7239-4D94-970A-0B54F291CA52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$14F5E31A-B860-4154-A966-38AA908575C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$F79869F0-3D0C-4CCA-9601-A4CAAC22BFF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886320$651E4B9B-B421-4652-B35C-B1044661E69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886320$474D1399-2189-4873-8B81-EA463922E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886320$D263A620-02D5-4078-96F2-B6D38408728A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9fbee801c7aa42221e7f1abeeacadb0b33cd569","datavalue":{"value":"2116236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886320$5E5F65DD-A933-478D-87F7-7AFF19CEA981","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886320$1C51800A-D02C-459B-8F89-03B5F8A27338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886320$357672C9-B11D-41C5-ADD3-21392DC04E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886320$E72FD74B-8AB8-4628-A593-EAC7CF193139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc4d5acf6627927437e06c54712281aa2e7eaff","datavalue":{"value":"infinite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886320$C9FA0ADD-2887-4248-89C9-7F43F58B7385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569e4ac7aa359e269324411e22f6857c9bb8aa5d","datavalue":{"value":"LFP-alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886320$9391DD20-382F-48E0-9C8E-00512D351ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad556040b85bc92db04bd875dfed42674abab69","datavalue":{"value":"IFP-nesting depth hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886320$4AEB7CBE-1709-4998-A397-6CB85B91D8B0","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":"Q1886320$A79A013B-2EF6-4267-A050-5E5019F06062","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7085ef2086d3d800c450510bf384ca0ba5a1cc5f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886320$653C1C08-CDF7-499B-B389-B16314D85B71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e84502f534b72a1f1077059fb4697df68a9f88f","datavalue":{"value":"W1983330347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886320$D915A3E5-B922-4C7F-BC53-1C900AAF378E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311eb0f6758b505863158aef2e213a62e05ad36","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$D5F160FC-14DF-49E9-9C7E-A2C3FCD33849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$9EC902CE-0A02-4935-BBA5-79EE00AF7A38","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":"Q1886320$192BBBF0-CE1E-4781-A463-174425C00C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825f9261e173f7260e4cb6325d137ba10b950947","datavalue":{"value":{"entity-type":"item","numeric-id":4137152,"id":"Q4137152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$A370A802-384A-4B38-BB9A-2822B5E42D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$841ACF34-3991-4B88-835F-96F29756D699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$C9512153-C924-40D4-9000-C44672EF2275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ba7bbdfa2f595c9ac52ade5fd0e2ee26ed9eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4063427,"id":"Q4063427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886320$1F2E7592-8A14-4E01-BE41-12826B026D3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31185484086184887429a820312d2ec5c8929383","datavalue":{"value":"10.1016/J.APAL.2004.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886320$17043ADE-AED5-4113-98DD-99D80BCAB3EF","rank":"normal"}],"P1643":[{"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":"74a111ef7ff1c3540576657925ee5aec743516d8","datavalue":{"value":{"amount":"+0.8228015899658203","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":"Q1886320$295FC2EA-7BC5-4F47-88D4-067294C750A6","rank":"normal"},{"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":"348450ad73c3382e2a7c244fd004ea389ac6b5c8","datavalue":{"value":{"amount":"+0.8187631964683533","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":"Q1886320$E62DFB88-ACEB-43FF-9528-3FEECCB093E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd4f7a4dd76b97dfefd72fc0432d186b8ab1e70","datavalue":{"value":{"amount":"+0.8158366680145264","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":"Q1886320$08570CEF-7715-4B2F-AC78-3018136C48C8","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":"a6d98128282a8172eff1cdf8cf1e454022dd0e05","datavalue":{"value":{"amount":"+0.8012582063674927","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":"Q1886320$9E6681E6-AFFF-4A24-9FA7-58A5545D68E6","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":"58b9a52bfca85ee5f579150a6e442c75ab273de5","datavalue":{"value":{"amount":"+0.7828627824783325","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":"Q1886320$90EAA621-3FB9-4243-BBD6-E309A84D0599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive equivalence of least and inflationary fixed-point logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_equivalence_of_least_and_inflationary_fixed-point_logic"}}}}}