{"entities":{"Q3585169":{"pageid":5615073,"ns":120,"title":"Item:Q3585169","lastrevid":58214952,"modified":"2026-04-04T06:36:04Z","type":"item","id":"Q3585169","labels":{"en":{"language":"en","value":"\\(FO(FD)\\): extending classical logic with rule-based fixpoint definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773245"}},"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":"Q3585169$FDB93123-B10A-4E56-8AF3-4D00EA173935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"105a2bc41f04895908ac727555e674c512b6f360","datavalue":{"value":{"text":"FO(FD): Extending classical logic with rule-based fixpoint definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585169$D71AF33A-5F73-4440-9D0A-786A09BBCBA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52bbc925d55763d972967236a0dffc04a35e0031","datavalue":{"value":"1209.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585169$E7124FD6-DC94-4DE0-B095-EA20C5DD8565","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45bcebcae4333e3a8fcebe6e01147ff604091988","datavalue":{"value":"10.1017/S1471068410000293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585169$9C8BEE5F-D690-42F5-AD85-8EF01B6FE892","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":"Q3585169$AEA62192-E75D-4365-BBEA-964E57D1CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"623e3d14066b327fb85d777a7dc242cb21457da1","datavalue":{"value":{"entity-type":"item","numeric-id":2931257,"id":"Q2931257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$01134E13-5DB3-4FF3-8272-232ABB1DA69E","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":"Q3585169$87C5E13E-08BC-4890-93DB-EAE51A812005","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$8C41B466-5F9A-467E-8564-699842D2A9F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585169$AB002B3E-AB46-46B8-A5E6-7B267C9872C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4d85afcee80326e063eca7285670388c9cd711d","datavalue":{"value":"https://arxiv.org/abs/1007.3819","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585169$A91667F5-ED2B-4B7C-B4CF-E33245C3EB4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585169$A1760027-DA76-4BC9-9EA9-958F59DA6AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585169$2C7A3FF8-0CEF-44EC-8BDA-955F22670934","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de588f8c896d77151526dcf1ed1bb65cd4902c3","datavalue":{"value":"5773245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585169$2ECF8BA1-0E2D-4B16-850E-552504CF124C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c24d54d478149b7b9245578ea1f1ae1bc76282d","datavalue":{"value":"fixpoint constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585169$472FA235-B13E-48C5-8939-FFDE2EAA44FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b998bdf64212a381ea28ebac6813ff38b9fa40c7","datavalue":{"value":"fixpoint definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585169$139BA0B2-D07D-4622-B4A3-755AB8ACC96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffcab6817a50e686355371bd712fee67661d546e","datavalue":{"value":"classical logic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585169$4D569601-D0F4-4EE5-8648-BE096D2359E5","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":"Q3585169$87BDCEE2-AD38-4B83-A496-D2FECF9168A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$36CF058E-0EC5-4342-842D-F954DC8B811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$AFDB3A37-A120-44CA-8B78-5FD3F50C2DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4118754afd2dcdc1ee0dad96a14d2a78b55da9c","datavalue":{"value":{"entity-type":"item","numeric-id":5277803,"id":"Q5277803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$3A4DDC94-203F-45DA-9B45-5E54B37AFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$3D751AB0-A51C-4E07-B21F-112583136C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$D6AF3B8D-12F1-4A71-BF36-4693EB34A3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206b63a5c1d81f095779f242fd8ee8e20f738ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$F2ACF9A8-F391-4CA2-B8A9-A9CCB2C01E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa056a4bae13deab186fe40f422b76ff6cd27667","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585169$38E2164C-3B98-4B14-917B-2A28668039B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fc0764136c352403b0417de5ec7e01e6fdd3a5a","datavalue":{"value":"W2006396461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585169$AB3DEF53-4A53-4B39-AFBE-A08A1CF4A7D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61929c59b493b20345de579273a6ab2c960090ed","datavalue":{"value":{"entity-type":"item","numeric-id":3089163,"id":"Q3089163"},"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":"Q3585169$A7DF27B5-9AE8-4CF5-B797-66DCFC4874FC","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":"a1105fd885563cf71745c750cbe36a048d53103d","datavalue":{"value":{"amount":"+0.7802764773368835","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":"Q3585169$C2F1709F-C0B6-453F-90B8-6655701B818F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dd8c1087f013aaca83b285922c5f6244098f88","datavalue":{"value":{"entity-type":"item","numeric-id":3643111,"id":"Q3643111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a93bbf148dddeda6ff5604312062238812dc065","datavalue":{"value":{"amount":"+0.7694154381752014","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":"Q3585169$8B5F3C8E-FD5C-4E43-9933-5CC21C9B9759","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":"c0034f06756858a734da29e7b9cd8c84ded42a38","datavalue":{"value":{"amount":"+0.75727379322052","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":"Q3585169$AD2FFFAB-C7A6-44D2-9E6A-7AE31917122F","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":"ee5c4dc068a1110e49349c3cd18bfaa943277cb7","datavalue":{"value":{"amount":"+0.7422868609428406","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":"Q3585169$447F3CCF-404B-4B75-96A7-DF2E5667A961","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585169"}}}}}