{"entities":{"Q4532728":{"pageid":6562320,"ns":120,"title":"Item:Q4532728","lastrevid":47924005,"modified":"2026-01-03T02:36:24Z","type":"item","id":"Q4532728","labels":{"en":{"language":"en","value":"Fixed Point Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1750080"}},"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":"Q4532728$C0979DF2-2948-496E-8A3D-B5E00061F16A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a804b173d906b29d489e3f0878eb39093b7a5c5a","datavalue":{"value":{"text":"Fixed Point Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532728$F49D78DB-FBB0-4102-93D4-3D40CFCD4A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a65ade9d6cec80dc3bbde07f3897a86694cda400","datavalue":{"value":"1002.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$51CC905B-7F7F-42DA-A3E3-976349F812E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e26670b2d34ebe5058e649e368a48c906ed89c5","datavalue":{"value":"10.2307/2687735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$C4B3A3E0-683E-442D-976B-243BEDCB8F41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532728$71D6CCE6-11C4-4468-A0B8-20651E1F625C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532728$A6BDBD20-1A66-498C-9914-B532236489ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532728$7B5AD440-23CC-43B0-88D7-0B92359B78DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"794e49147bac0666dd0d57231b01201bc53c2d02","datavalue":{"value":{"time":"+2003-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532728$EF07AF44-591F-42D0-867A-8FB9F9B683D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ca9d6d50eb19c306725bd17ee6c231b5713de1e","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0801-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532728$CECC9C6F-1682-43F9-81BD-C2A9816DC154","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$5C12C9DB-B414-4D1B-A66E-8E34CBDF514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$820EF355-E2B8-4153-9AF1-87484921FEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$31A351D6-2ED7-49F5-BB61-899059F95A2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"268b4c19e6b1bfc4ce2e1cfd4a80734f915e0ce3","datavalue":{"value":"1750080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$A4FC952E-701A-4977-9E8D-56CA5AAE604F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532728$5C19CE9B-A534-4FDF-9FB4-06E3EBCACF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e388782ac2fc469e47f124b9760028703ad7ef","datavalue":{"value":"fixed point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532728$39F1D557-DB33-4410-98C8-1437B894F85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532728$96914EAB-1D98-4588-9841-6ADA5ECBF85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc4d5acf6627927437e06c54712281aa2e7eaff","datavalue":{"value":"infinite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532728$B736B298-8121-415F-8545-7ECF47EA5394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532728$E9442815-488C-4122-9DDC-0C3BDD4B6A1D","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":"Q4532728$139A6A96-E3D3-40A4-8751-001AE097B3D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa571b514da193c79e6d8959dbf31d89c0de7ecf","datavalue":{"value":"W4212919334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532728$802351A1-5CB6-469F-8A79-AE43858FCA70","rank":"normal"}],"P1643":[{"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":"8cee9f8f11bad5e09a075f717d5685b6a9357d6b","datavalue":{"value":{"amount":"+0.8692353367805481","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":"Q4532728$EB471464-72BD-42E4-BB6A-D3DF2EC336B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709bf6fac54272827ebd080d3dacd3af6cefcbac","datavalue":{"value":{"entity-type":"item","numeric-id":4434612,"id":"Q4434612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f043aa4b709d982be9b014cbe0011a04268c5bbf","datavalue":{"value":{"amount":"+0.8464099168777466","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":"Q4532728$1F98F3B6-D9BF-4591-833A-FB65BFD9A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15769970d02960fc833e12faf567aa7446ea94f6","datavalue":{"value":{"entity-type":"item","numeric-id":5483318,"id":"Q5483318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bece820cadec8d29f6fce45bbe7f701c2be22ce8","datavalue":{"value":{"amount":"+0.836013913154602","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":"Q4532728$EF8EA314-4BDF-4F17-9E6E-F3430479B01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042bc40c436fef70a3cb87eafdab0e65537c9893","datavalue":{"value":{"entity-type":"item","numeric-id":4247808,"id":"Q4247808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aced510bd175f2910dd94ec9ec7c4b64674c6926","datavalue":{"value":{"amount":"+0.8325949907302856","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":"Q4532728$D15FE857-ECD9-4029-BB7A-227B243D74A9","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":"b9495a0ac77e93f6810c037aa196158504da96a1","datavalue":{"value":{"amount":"+0.8305445909500122","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":"Q4532728$88D49C29-2642-4BD6-AE2F-420B6D350848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532728"}}}}}