{"entities":{"Q3079915":{"pageid":3090630,"ns":120,"title":"Item:Q3079915","lastrevid":85711574,"modified":"2026-06-03T11:15:30Z","type":"item","id":"Q3079915","labels":{"en":{"language":"en","value":"A fixed point semantics for logic programs extended with cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860252"}},"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":"Q3079915$BEE9D823-FADC-4DB8-9264-F7FC7B11732C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ab195afd0333dbd069c5c28733ce4d4b90bce0b","datavalue":{"value":{"text":"A Fixed Point Semantics for Logic Programs Extended with Cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079915$C49BFCDF-C881-4EC0-A0AC-303FFF39D5C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e670904a62476a561a0cfe45fc77cbfec7e2406e","datavalue":{"value":"1278.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079915$8C67F5A5-4E9A-4427-8E69-271583E132D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2655fdf381503c62feb191a974375395df3d1e81","datavalue":{"value":"10.1007/3-540-45013-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079915$22AB979A-50C0-4994-9ED6-E7F64DD565DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2a20ae9908cdd5ce01b798243591507a77cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2039952,"id":"Q2039952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079915$4800C825-EEF0-4E0E-BE8B-78C6FD3093FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86935266cc6d3617b6c3c496c123aea71946662","datavalue":{"value":{"entity-type":"item","numeric-id":3079914,"id":"Q3079914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079915$13F7D883-8F98-4EAC-B945-123093051FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079915$2C407D6C-A413-4AC2-8B92-45FAB853E36E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079915$1005E1F2-B543-463C-9315-95EC5C3CF86F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079915$F7F72775-595B-4E52-A274-5764F7D2B055","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dc6cbfdee94e4a28bf3d73b285469cb847d117a","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/125440","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079915$046EF862-FCC0-4138-A262-8481257EA203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079915$DD37541C-0204-494E-8AB5-6FF206D8FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079915$3B0468D5-0B45-4B9B-A17B-112F78F7428F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7297f7afa0c2513361ef41377d0c49fe7f8e6fdf","datavalue":{"value":"5860252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079915$215F4664-2B94-430A-882B-323E164C5943","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":"Q3079915$254ED656-749A-45CF-B1F6-5326260F99D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5217061856fc481466a13abaaeee476058a10843","datavalue":{"value":"W1543300635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079915$55E1518E-E1C9-4BF6-BA5F-11334FBDF220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1661bb1dd475af6dfd1c1c06c72c6603da3968c3","datavalue":{"value":{"entity-type":"item","numeric-id":4319164,"id":"Q4319164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73c06b4be1c14f4e33ddfa79158bef5076b82b7","datavalue":{"value":{"amount":"+0.8224730491638184","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":"Q3079915$74C12874-32F1-4B76-9F8F-D64DC9B62E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30191befca1415e30e797ab6879f35c9c88b014c","datavalue":{"value":{"amount":"+0.8176660537719727","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":"Q3079915$E8D41473-12F3-44D0-82B4-FE6C6A3E24A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2bc69f520970fc4718370909c30f08c5215888","datavalue":{"value":{"entity-type":"item","numeric-id":805227,"id":"Q805227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d00f7d964ee83f0434184b9f37fca56c6bb2f06","datavalue":{"value":{"amount":"+0.8144249320030212","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":"Q3079915$368CC110-6DFE-41AF-A503-7E8C42E5A24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f019cc73cdad5e0f2e8eee25bc06340b751f92a2","datavalue":{"value":{"entity-type":"item","numeric-id":5170718,"id":"Q5170718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b811f5b6dfb4ed001ca79ae99a609478acac91","datavalue":{"value":{"amount":"+0.8124107718467712","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":"Q3079915$89F13B09-EAC7-4C3E-AA4B-88F99232F859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad489c1adf063728834f574020346a78f93a376","datavalue":{"value":{"amount":"+0.8113170266151428","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":"Q3079915$E47B080F-C980-41E5-80C4-912FBF3A0DE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixed point semantics for logic programs extended with cuts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fixed_point_semantics_for_logic_programs_extended_with_cuts"}}}}}