{"entities":{"Q3509072":{"pageid":5538976,"ns":120,"title":"Item:Q3509072","lastrevid":50397308,"modified":"2026-01-13T23:27:49Z","type":"item","id":"Q3509072","labels":{"en":{"language":"en","value":"The complexity of independence-friendly fixpoint logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295729"}},"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":"Q3509072$20096407-595F-460E-A273-D4E4299DE9A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c839beacbed409161535c55ebb5346231c628928","datavalue":{"value":"1148.03323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509072$B70747F7-B0E4-4C59-A83D-17C811CAF5C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509072$DA33353F-EFD2-4BD5-8836-3B48E144D6DA","rank":"normal"},{"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":"Q3509072$9E6B4961-B747-4866-9357-2443DFA608F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3509072$E2B86EF0-5F70-4441-B0F5-C0CEBE7630E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509072$64D44785-C26D-46C4-BD29-BE7D6B07DEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509072$9BD6C184-C1B1-41CA-96F9-053F64B10821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509072$B2E87FA5-B862-4EA6-B8DE-D67370AB44E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509072$C7D15B94-A31F-4E89-BC61-41D275CD83E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7153c9070e86f496088f82d90a56b9e3db178192","datavalue":{"value":"5295729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509072$DD52608C-5767-4606-B6CC-B3FEDFA2C4E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c51d26fee889b30618529c3c84020484a3e6813","datavalue":{"value":"complexity of model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509072$36AC4F41-3325-4B19-8720-20B1F3356810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509072$DC6B443E-EE75-48E3-9A62-804EFA6569DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508c2ef7e037c351a605ab3fd6ee1caa4ed30c38","datavalue":{"value":"combined complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509072$1E8F884E-F483-4910-B8F5-9D88E1F2E9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5bc8bc68e0ffa5bc2d938b5e78972c8c5afe56","datavalue":{"value":"second-order logic on finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509072$7368AEA1-4C33-42B0-9EE9-67AD44FEB9F9","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":"Q3509072$5C89A897-272C-4E72-BF5E-510D5F32F224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c626326ac1db6d92e871a5ee0f4a3993dbb1210","datavalue":{"value":{"entity-type":"item","numeric-id":5394588,"id":"Q5394588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42328d9c79336e2afbae2880a0709debac2b99df","datavalue":{"value":{"amount":"+0.9937161207199096","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":"Q3509072$AA6D747E-B981-4FCB-9407-9DEB1B51D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdac3fc694d78caaf4c80314dd57abc65e6372a3","datavalue":{"value":{"entity-type":"item","numeric-id":5292627,"id":"Q5292627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65b973a242f42cbc68bef1b34ee04c06e19ed9d","datavalue":{"value":{"amount":"+0.8572655916213989","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":"Q3509072$294BFEE8-C51A-45F5-8B88-50C2BBA96E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1897819873a2f4dae24033f04f2fdc2d672df216","datavalue":{"value":{"entity-type":"item","numeric-id":2753677,"id":"Q2753677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5527ba254677757c2a477bf8c758278f90ddda3e","datavalue":{"value":{"amount":"+0.7866736054420471","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":"Q3509072$F2435AA6-5A1F-4AA6-A68C-962B51FA1411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3e9f1edaebf0a1c0809181241c9f1593f13a50","datavalue":{"value":{"entity-type":"item","numeric-id":2003922,"id":"Q2003922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26ea896123751916432584a9134bba93ea84b6a","datavalue":{"value":{"amount":"+0.7676687836647034","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":"Q3509072$A89E640A-B743-463E-9188-9289E92592EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e2713e444c9eb9a3e313a4114fbbc9a485cdcb","datavalue":{"value":{"entity-type":"item","numeric-id":5441546,"id":"Q5441546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50235a9cb669f4d90e75a130b947bf14a6d1710d","datavalue":{"value":{"amount":"+0.7635414004325867","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":"Q3509072$1C1D1809-960D-49D9-96BB-5BAE4DC42D7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3509072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3509072"}}}}}