{"entities":{"Q3089163":{"pageid":3099878,"ns":120,"title":"Item:Q3089163","lastrevid":85752101,"modified":"2026-06-03T11:22:30Z","type":"item","id":"Q3089163","labels":{"en":{"language":"en","value":"A logic of fixpoint definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5942146"}},"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":"Q3089163$AE84AE87-56BD-41E8-91BF-20638AA3BAB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12f84cb8cd96fd21809edabef5e9d9399e89a717","datavalue":{"value":"1219.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089163$063397C8-7584-48EC-ABA7-BF0BBD6868D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"727393301d96876ba125e854671a1a21318d39b8","datavalue":{"value":{"entity-type":"item","numeric-id":1294995,"id":"Q1294995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089163$555E0F73-C7FA-41F5-91EB-33D1E80BB83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089163$B5937A98-949E-45AF-A1D5-3C1E30C393DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b583fe8af21fcb70fe55f9de31b79b22d333e7e","datavalue":{"value":{"time":"+2011-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3089163$8DCA1EF3-D5A2-44B7-A0D0-466DDC865CB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e3df77fffad369300fb58547a56a485909699e","datavalue":{"value":"https://www.mat.unical.it/ASPOCP09/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3089163$774CA580-42D8-4F07-B951-DA12D6E61C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089163$CA23FB03-EE13-4A8E-B5F4-5F2EDA6C16BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089163$45E4E744-9013-43DA-946E-22B3311E79A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089163$D91B4D44-D3F3-4DFF-8EFE-178F5543D380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bd37a7b60df27325dc2519e9f855def0567357d","datavalue":{"value":"5942146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089163$AB81B48C-AFEF-423F-A250-C5ED19CE4380","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b998bdf64212a381ea28ebac6813ff38b9fa40c7","datavalue":{"value":"fixpoint definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089163$02A41748-422A-43C9-9ED2-9D49211CA9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15eeb358bd8f9bc6844813340929bdaf30b2bbe2","datavalue":{"value":"FO(FD)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089163$C2F89CB9-91A2-418E-80FA-3FA14B136ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4543741f17068af05b31673eb64336d172e09bbf","datavalue":{"value":"integration of ASP and classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089163$1562ECEF-550B-451D-9237-7408A9B62079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089163$C0A9A897-6EC0-45FF-A475-1AC8C501F27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31dbebc832c0180d82107767b1945a7ed55b3b22","datavalue":{"value":"SAT(FD)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089163$8322EC0D-6156-4501-9551-CB8CBA11C31B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089163$09150104-1F14-449B-9B5A-4B158C7C92E4","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":"Q3089163$821739E6-8E6A-445C-87F7-07E457A4FFB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3809e3c8b52c47cef81bcb8dc775752c7c975","datavalue":{"value":{"entity-type":"item","numeric-id":3585169,"id":"Q3585169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d07bf6ed2b4e414c0ddd34dfb5b0b79340f4df","datavalue":{"value":{"amount":"+0.9044395089149476","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":"Q3089163$99C23729-D824-4A78-AFBF-5180D073F8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d19275483cbf66b50d61246fd799dbf226df6","datavalue":{"value":{"entity-type":"item","numeric-id":3502709,"id":"Q3502709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd92a7463b49e8ee3ba45a915c4e1588b30887d7","datavalue":{"value":{"amount":"+0.7767566442489624","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":"Q3089163$8BDF29EA-461C-4D41-96D6-C2D02A4610D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8de8eb4a710c7bce392bc0ead33add3976c656","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c965f6e4787867c13b50f479d4515d95e7caa77b","datavalue":{"value":{"amount":"+0.7658363580703735","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":"Q3089163$A23ECB33-0BD9-464C-9FDE-2E4585C4BDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3020bde238b0da89beab7a1a7f33b93a1439f8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fccc6c9979017aae91f5d9295aa2ed38f3354d0","datavalue":{"value":{"amount":"+0.7639213800430298","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":"Q3089163$D28EB7AE-180D-4040-9F5F-55CA2BFEDEF8","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":"57a0822712eaa40da3427bcb0a772c4b98b35675","datavalue":{"value":{"amount":"+0.7565663456916809","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":"Q3089163$FCFDA6F6-6D35-4D00-ADF1-AB433178ED80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic of fixpoint definitions","badges":[]}}}}}