{"entities":{"Q4902254":{"pageid":6931833,"ns":120,"title":"Item:Q4902254","lastrevid":51631307,"modified":"2026-01-19T04:06:02Z","type":"item","id":"Q4902254","labels":{"en":{"language":"en","value":"On generalized well-founded models for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125217"}},"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":"Q4902254$4E7B5810-A23C-4A79-9554-0AD51D5DA804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcaa962d5cf3df13256e7c57497dea190a0310c7","datavalue":{"value":"1265.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902254$B5AF825A-316A-4DC4-8BFF-F246348C1976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a9afd804e02e6467973b4aeff35a521f9ab77cf","datavalue":{"value":{"entity-type":"item","numeric-id":1388034,"id":"Q1388034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902254$5A2085CE-100A-4E02-9BF4-682F848CA51C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902254$899B31B8-BE36-4AF3-88C6-A7D4F39B57D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902254$B3D09D55-97B7-4C6C-A86F-2086536E9843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902254$AE2F5DEF-839F-4BAE-A0EC-6D16C6D62B52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af10c2f185bbd47842beac8306e7585fd81da41c","datavalue":{"value":"6125217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902254$91A425E8-B2E0-4226-9C79-BA3C8A3E5AE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902254$7C7011FF-339F-4C26-945D-EB861F7A6982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902254$E7B505C1-6802-4AD4-9B62-DB1C4FF5B247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0977424e2bd478a91e71403040bf58e812abae1f","datavalue":{"value":"multi-valued interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902254$E9CF47B1-C1E4-4E8A-991F-AED8E7F93D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902254$BDFE83F4-84DE-4D82-9FA5-63052630BBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902254$8340A3C4-55B0-4EBA-86C6-474C3E401581","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":"Q4902254$371711E3-43BB-4318-881B-AF1E409F95CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e091343d66cd052158147758a97e8ef46147d82","datavalue":{"value":{"entity-type":"item","numeric-id":5457692,"id":"Q5457692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9aeb97acc944ff3ddcebacd179b4dbbf2fe3014","datavalue":{"value":{"amount":"+0.9506268501281738","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":"Q4902254$BCE13132-07BA-4BC1-90DB-212B0DC59453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce80f5dcd97ad9df77a0d05d5d645f3a04322091","datavalue":{"value":{"amount":"+0.840735912322998","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":"Q4902254$98625AFB-5ADB-495A-BF8D-A45A8C50206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213ea9a9031d7732040880595449a301d3a8ade","datavalue":{"value":{"entity-type":"item","numeric-id":6488525,"id":"Q6488525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b924b916fe681657da2df3adee661e767bac4cb","datavalue":{"value":{"amount":"+0.8337720632553101","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":"Q4902254$B35DDD46-4558-4EA4-BFDD-10769D26250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab9f0821d2e7779b9bb5afeb57ab2a584597b35","datavalue":{"value":{"entity-type":"item","numeric-id":4900311,"id":"Q4900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb58049d6c40c77bf5dae5483158c0d67a64180b","datavalue":{"value":{"amount":"+0.8216392993927002","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":"Q4902254$17D92611-AD05-46E0-B842-23829C969BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebff1a88eb2e8d92ed58b7d72126e2aa1677fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":3634954,"id":"Q3634954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6ac42fccca1a575201ae47aada37b7f0db52b3","datavalue":{"value":{"amount":"+0.7948775291442871","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":"Q4902254$51325860-0102-4999-8650-EAE19976B5B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902254"}}}}}