{"entities":{"Q5483318":{"pageid":7512878,"ns":120,"title":"Item:Q5483318","lastrevid":49895575,"modified":"2026-01-11T19:25:57Z","type":"item","id":"Q5483318","labels":{"en":{"language":"en","value":"Fixed-point logics and computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046793"}},"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":"Q5483318$F4AFC8AA-B15D-4EC4-AD10-C65888315862","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227d9502f789f219b86ea04ed19bdcfc9c5a35d0","datavalue":{"value":"1105.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483318$C8F469A7-C55B-4E21-AF2C-3335A41AA089","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":"Q5483318$46E3C1AF-098B-4C2D-A20C-180A5BAFA708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5483318$58D0FC6B-BD47-4893-ACBE-A1A998CBCC7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483318$89D2AF7F-0308-4409-BE7F-9C5E741B4753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483318$0571F6CA-65B1-47A2-A330-A92B79F48D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483318$64BC7E7E-1FDB-46E9-85C8-162EC4D02A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6f14d273e7db3c8b2b6c187a62455f5782fc398","datavalue":{"value":"5046793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483318$86F4E0CF-B5F8-4516-8D5D-713B520601B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483318$C2A68804-6C7C-45FE-85C0-650B4D2922E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483318$5A1F0094-9D47-43E4-B8ED-0E24BA02BBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483318$FF025731-0836-47AE-9108-F57B9E989BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483318$E212059A-0CF7-40A5-A4D6-DE4C6DD90416","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":"Q5483318$9C426E7B-A15D-416D-8005-7E8E5836D192","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":"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":"Q5483318$A009B6C1-AE40-4FCD-9E5A-92E6BB356E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c47706ff0bc8f12b9362fca2ad8ab9e481c1894","datavalue":{"value":{"amount":"+0.8074082732200623","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":"Q5483318$092C3A16-EF80-4E14-8195-6C36DC023588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebdba5fed38aaadacb66604db6f0be16390a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4508261,"id":"Q4508261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c47706ff0bc8f12b9362fca2ad8ab9e481c1894","datavalue":{"value":{"amount":"+0.8074082732200623","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":"Q5483318$C3398E23-3672-41BD-8C64-53AB3DA0231C","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":"ccf42f785c8944cd7c9fc1f17ca8d41da8b57654","datavalue":{"value":{"amount":"+0.7895346283912659","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":"Q5483318$16303C94-3570-42AF-8D26-EB1C130DDA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a946db2baf7ec6dea79b03260c67965169fe9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3791123,"id":"Q3791123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2b60b9f8ea89b81ede362a2a0e25ffef196a89","datavalue":{"value":{"amount":"+0.7864723205566406","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":"Q5483318$669E2609-8A27-4200-9187-04086841BD24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5483318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5483318"}}}}}