{"entities":{"Q6851673":{"pageid":20606701,"ns":120,"title":"Item:Q6851673","lastrevid":75073603,"modified":"2026-04-17T18:18:01Z","type":"item","id":"Q6851673","labels":{"en":{"language":"en","value":"Computational expressivity of (circular) proofs with fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165602"}},"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":"Q6851673$A8018A43-2747-4F9C-B43A-D14C3B35FED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a653b7a947719f28de7c09c907b6bc86d1c5533","datavalue":{"value":{"text":"Computational expressivity of (circular) proofs with fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851673$0805F265-3770-4EB2-9DD0-557E93518BE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6646479209bd8fe8f9abb1116ff3e6af84c38ff5","datavalue":{"value":"10.1109/LICS56636.2023.10175772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851673$6E807D56-6467-4CE6-ADF7-A2D4BECE82CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2351080059503621b4dd8c360cc65469cb65c300","datavalue":{"value":{"entity-type":"item","numeric-id":2146056,"id":"Q2146056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851673$B7AB5A1A-1A8A-4C4C-BBC5-4966D3004E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851673$4E1329B3-FB81-4090-82F7-4D46B350FB98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-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":"Q6851673$29A6AF89-D280-40D5-9120-9F8BE117C5CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851673$B769B87B-2434-49E3-B813-5769FCCDAF57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb55d4cc127aa56dbc7880a6cb1ad0c59bdf64b6","datavalue":{"value":"8165602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851673$CA545688-3B99-4E4E-8C48-E1D60D1A6988","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":"Q6851673$23A48F43-5FFD-4A6F-BA0D-7F27C625A460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational expressivity of (circular) proofs with fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_expressivity_of_(circular)_proofs_with_fixed_points"}}}}}