{"entities":{"Q5350159":{"pageid":7379733,"ns":120,"title":"Item:Q5350159","lastrevid":100823393,"modified":"2026-06-05T23:12:26Z","type":"item","id":"Q5350159","labels":{"en":{"language":"en","value":"Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6766096"}},"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":"Q5350159$BEF9E8F0-E469-4D29-913D-3772B78BA25B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6fe03f97af86d6de800fa70e58627346c655b0","datavalue":{"value":{"text":"Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5350159$D28D9148-3D27-4BF7-B2C1-5F4B92C98396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ac22c43f057235c7f234ed1ae29bff4c7b47d32","datavalue":{"value":"1389.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350159$B6D61432-89DA-4154-A65C-B6B6070C3302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f30fbf241dcff7bda46e30ee12c7795b236f611","datavalue":{"value":{"entity-type":"item","numeric-id":512648,"id":"Q512648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350159$26A33C62-60C0-4741-A8C2-D94E02B89217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350159$E97B6D8C-62C4-43D2-A063-37840590413F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5350159$102CA088-D83E-441E-A470-A6C37D4F5CD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41e05a1824dbd0ec168313322c6c977f7eecc0cc","datavalue":{"value":{"time":"+2017-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5350159$567486FA-D0CA-4272-852B-466ACF4640B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350159$1356A60B-07F9-40D7-A3B2-74A97D31341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350159$38B75A6A-64E4-4C73-9EBF-B8F3E3F5E37E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc84e3bf83590ba5bab75209b2f5c0278d2f5643","datavalue":{"value":"6766096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350159$208D31D1-6F31-4F40-ACA3-CDE25A119698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbe99b06a56a772e67531db7b5d75f216e8188a","datavalue":{"value":"fixed-point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350159$85527EA8-761F-4F04-A146-D5047D23BDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc71abbb0eb29d287fae2ef615d24c8d5b85163","datavalue":{"value":"higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350159$93200123-EEA0-49B1-9007-A7A3F9D8A94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5c1967043a06b95abb9045dfd1a79fd6b5bf82","datavalue":{"value":"semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5350159$29FF4FCD-F9E0-443B-92ED-309BEEF48A98","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":"Q5350159$7E75BF30-F3E8-4FBF-9106-DF6BE34B1554","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14235f202817af63b017f0ddc0c7d99d494d9e6f","datavalue":{"value":"https://doi.org/10.14232/actacyb.23.1.2017.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5350159$5778F89A-F367-4A75-A585-758441217351","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41c738c6341c4b983dc18927941803a78ebbdced","datavalue":{"value":"W2611754684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350159$63F463A8-5B82-4402-9894-38D23E3D845A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b91bae99ae7b1790bc2c35780177fb859c8cd0a6","datavalue":{"value":"10.14232/ACTACYB.23.1.2017.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5350159$6A6E3B40-E86A-464E-ABD7-DDC8BF77FC47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbc171d2c3cf716d2d765716b15b3cf18935361","datavalue":{"value":{"entity-type":"item","numeric-id":2257304,"id":"Q2257304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbeab4ae575befa591f0db9fb92de22a004c3301","datavalue":{"value":{"amount":"+0.8036025762557983","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":"Q5350159$ECAB8EA2-0E77-40AC-9C93-6B626CE922A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36c3946f410b09b20c0f3fabe587d6179bb2879","datavalue":{"value":{"amount":"+0.7997791767120361","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":"Q5350159$C57D391A-1A0E-4FE2-9F40-71F1B32599FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2b32bb84cc603f6b17679101b3842107bc5a66","datavalue":{"value":{"entity-type":"item","numeric-id":2938139,"id":"Q2938139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b63401b97aa448b55748ccfbb253817070a6e71","datavalue":{"value":{"amount":"+0.7978947758674622","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":"Q5350159$F4532058-3646-4815-A1DE-40171E929553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0002ca78cc4f99bc914fc26037672be306e24cf","datavalue":{"value":{"entity-type":"item","numeric-id":5096193,"id":"Q5096193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a3c63b84d00e4a1c9b5f9525020c11fe6bdac5","datavalue":{"value":{"amount":"+0.7807680368423462","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":"Q5350159$59CA6A42-03A8-4661-A985-672A4DE06108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e30e6d7881e720306e6e4fd37183a928d812d6","datavalue":{"value":{"entity-type":"item","numeric-id":5278010,"id":"Q5278010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e98b56bd8859a8f4473b1d989c91718199a020","datavalue":{"value":{"amount":"+0.7479972243309021","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":"Q5350159$C8C3083D-0239-4010-8B01-A5AF04544273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Overview_of_an_abstract_fixed_point_theory_for_non-monotonic_functions_and_its_applications_to_logic_programming"}}}}}