{"entities":{"Q4592990":{"pageid":6622575,"ns":120,"title":"Item:Q4592990","lastrevid":58284090,"modified":"2026-04-04T13:48:02Z","type":"item","id":"Q4592990","labels":{"en":{"language":"en","value":"Knowledge compilation of logic programs using approximation fixpoint theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804554"}},"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":"Q4592990$14E76602-8B43-4063-BE08-9D4E1C17058E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c6047aed07155876a451522cb7528657e6024f0","datavalue":{"value":{"text":"Knowledge compilation of logic programs using approximation fixpoint theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592990$45561C9B-9AFD-4803-9038-85DF38739498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3a71fd57f2bf5497f5fb51fb262041ec90d8088","datavalue":{"value":"1379.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$824D6A7D-59D9-4288-951F-37BC05A843C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05502b1b52f469a200a7108d3143f10ea38cc692","datavalue":{"value":"10.1017/S1471068415000162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$5390FF9A-AC47-453F-9EA2-17953055D954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$C3CC1E75-0C1D-45A2-AEAF-81040C7B64B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be75272709f70dc16737b7d1b8d5c3efdec24dec","datavalue":{"value":{"entity-type":"item","numeric-id":285932,"id":"Q285932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$1FE6DF55-2925-4446-BD64-69FBEE1C18AC","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":"Q4592990$8CC67A4B-287B-414E-B93A-E3F9B2C2E776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592990$3684D6E1-5BF3-4184-82C3-3D93E3C9FEB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dce7f78a074178ac130efc05f528ef724be207b0","datavalue":{"value":"https://arxiv.org/abs/1507.06554","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592990$B820B1FA-2F69-4268-AF89-4372DBD7C400","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$EAC32872-1519-4215-8901-CA0B6F813B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$3305A048-D037-448D-8CD2-46A2016940BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$959D2A4C-013C-4C54-A3EB-BC2872805A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$A4DCC0B9-949F-49BD-A63D-4F1543AC0E50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17809f61539e96baf3149e4f67b8d64f26a9da18","datavalue":{"value":"6804554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$BEEE4F5B-0F13-452C-B8BF-8A5FE0652AE0","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":"Q4592990$C2CDA954-BD3A-4A78-9920-5BB97E5BC449","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":"Q4592990$5B85477A-284D-421D-9C9E-41927BC6BB3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$543BE41C-3768-4851-A96E-00B58B952D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cbb31a249d7bdb4093a027979b97910137c7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2851236,"id":"Q2851236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$1A9D4961-4E8F-44ED-98C5-8F06B6601654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4233c19302914cdde76ddaae3895b4f5c926e42d","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$591133AC-6B2D-4584-B07A-6D9A9BA056DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$8FF2D383-1616-43FA-839E-89758DCE20C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$BFB3DE60-6DED-4D5F-BF3F-41AE9893BA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e287b03dbe62fe3988cf2468774fed7be938b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$B0EBB416-C0FD-49DB-AF69-87C922EFEAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$C7C1AA0B-2390-4ACB-874C-B7103A7BA339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3aa900194de12afc803b37e85dcb46e23f05f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5398066,"id":"Q5398066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$8AE5ED3A-485C-4F25-AC25-C21F57787680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$38DBAC72-DF4D-4F77-8102-CC2D5E7C2890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2467f1b2221d034d0fe8a069e2133a347586153d","datavalue":{"value":{"entity-type":"item","numeric-id":598245,"id":"Q598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$1CDD42EE-C5CE-421C-B779-12B47DB68D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e152c75c0e6839edb883579f776c9507933635","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$47DD6A42-08EA-4962-BDAA-AE55495D44F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$9276D8B9-914D-4115-8619-5C5D24E9C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$09C1555E-2F92-4037-9750-92B5A50EC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$B95EE83C-6C07-456D-98CC-D92A52EF9117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a55f3f509f5d24c1138ada657548cee43c7f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3643113,"id":"Q3643113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$A64C6B24-3F6C-44B3-A815-D97570E43B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$53D3655D-E37C-4EB9-8A64-A31DC405CB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$23F3CB20-C903-4452-9240-1DBF34E10D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$FC2BAF52-189E-49EB-86D9-4A20A8057CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$B2D0F33F-5E96-4AB6-9B56-47D2C558F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$E7953BB3-6EA4-4F49-A63B-D8C485AA18B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$E140EF02-17E5-4956-9A51-CBB4EA213F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce39a549f256d22ed5e1331ab397faa12cfbde2","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$017A988D-9E4F-4058-8FB8-3B7D592E877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5b93286e2298167f66fb7667c0ea085c615f9f","datavalue":{"value":{"entity-type":"item","numeric-id":490444,"id":"Q490444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$4B5471EB-DD1F-4F7E-8E93-BA66FFD7B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$17D0BEBE-F265-4FC8-9D60-8C4C76F88C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592990$61467493-A171-4B0A-9B0D-8129781E77F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3431633b188053552f4ed0c0ad208fc417527a9a","datavalue":{"value":"W3104362192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592990$0EDD0F33-AB4A-4C31-B35A-ACBF41B1CE3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6a77d368d267023de2ce946f794b04821b3223","datavalue":{"value":{"entity-type":"item","numeric-id":2900518,"id":"Q2900518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fdb8a3ec06b222d11cc2f5d4088ec027311672","datavalue":{"value":{"amount":"+0.7552146911621094","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":"Q4592990$E2D00336-1280-471D-B5E0-9CD389FFB0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0c3a381c041fbe2eae2b39a48dd6b99033b8bd","datavalue":{"value":{"entity-type":"item","numeric-id":4287508,"id":"Q4287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedaece220837511c81e780250983e6d50f40ffc","datavalue":{"value":{"amount":"+0.7430843710899353","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":"Q4592990$B3764CB5-F89B-4F26-B421-AB15A772F213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cfebf9bdb556e1bf8060bc49c3df40cdd5e727","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96da544839dd1ba4742fe54c8b5db24b6f8f78ee","datavalue":{"value":{"amount":"+0.7401607632637024","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":"Q4592990$26A09D15-38AF-47EA-AF97-8AA155E20604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce81a1167ce7f2738bff9d0cfb8cf6d72557842c","datavalue":{"value":{"entity-type":"item","numeric-id":3830545,"id":"Q3830545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e1fed6a1785eac0d23d1d67a9ff9a5ffc0b624","datavalue":{"value":{"amount":"+0.7379785180091858","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":"Q4592990$50549CCF-29ED-4B82-AA6C-930B732351E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277d383c847c4343d6da628ce19990f1f44a66ea","datavalue":{"value":{"entity-type":"item","numeric-id":5450872,"id":"Q5450872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9206654ca2e729d92be883116536baed060090a","datavalue":{"value":{"amount":"+0.7275681495666504","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":"Q4592990$4D1321EC-3FD2-4808-B269-CBD6F01DB41C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592990"}}}}}