{"entities":{"Q3395262":{"pageid":3405965,"ns":120,"title":"Item:Q3395262","lastrevid":50751698,"modified":"2026-01-15T01:11:46Z","type":"item","id":"Q3395262","labels":{"en":{"language":"en","value":"The Significance of Memory Costs in Answer Set Solver Implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598159"}},"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":"Q3395262$5D1256E2-D4FF-4B5E-89D9-BCD551EB5F50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8abed9686f469bff6bd94ffa7fc116451f8e69a","datavalue":{"value":{"text":"The Significance of Memory Costs in Answer Set Solver Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395262$8F5831C4-CF73-43C2-94B6-B4F90D36A0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"916c617b236d67227711e5dbba4866ed4d93573d","datavalue":{"value":"1192.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395262$69283410-E277-45A0-BD9C-173C287FB1BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ecefe21c6ae876627103481238d3a51a19d6a6","datavalue":{"value":{"entity-type":"item","numeric-id":479833,"id":"Q479833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$A6A52FF8-28D7-4EE8-AB29-C07915D264C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c51524f2118ec25d64ba6301d3e4c63f558cdad1","datavalue":{"value":{"entity-type":"item","numeric-id":702103,"id":"Q702103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$F297B354-21AB-4C89-869C-3E0549079644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e27fab386d7bf9ecd8a1ca10a404e753ba3aa3e","datavalue":{"value":{"time":"+2009-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395262$8E84D28B-A96B-47D1-924D-115083877E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395262$D43CCEFC-E52C-4394-841C-A2A83B2245CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"936710bcce33b44b4d479e5fe36fc52dcf597ef9","datavalue":{"value":"5598159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395262$97EF255D-1EB9-4BC7-9AC9-D0447951406C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a82567bca99b2ed338b9b54fbae2870deaafc2a","datavalue":{"value":"answer set solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395262$ED99B879-0BB4-410A-906A-4BC4E17A23A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395262$AFC60343-AB0D-4EE6-927A-59F851976487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8851cf2b3d73da9cf95a46aae6ea1a567522a5c","datavalue":{"value":"cache utilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395262$499FAAAD-05B7-4059-80C5-B97ABE3F948E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62610d48a72f7e626d2d18f93b80715d3ca786a","datavalue":{"value":"optimization of memory bound programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395262$87580B9F-24E2-4FB4-82B0-F7F6AFB59038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0285c1459053ed2f6f6244a40b126e3dcf006a","datavalue":{"value":"declarative programming systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395262$46FA4384-F2B0-4FC0-9F8D-22E898E24685","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2397af574e013d1cb2f59fb4483a52a833abee","datavalue":{"value":{"entity-type":"item","numeric-id":16611,"id":"Q16611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$582CE1F8-D1A9-4008-AF19-7692304DE364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"100c0696ed4d4ea2c37a8cef2dd9855e7bd7d1e6","datavalue":{"value":{"entity-type":"item","numeric-id":14083,"id":"Q14083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$D325FE90-05C8-48DB-9948-DC3C5B11FABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$735B0D22-D8FE-4052-8287-1392157384F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$87A48A17-8F32-4403-AA3A-76DEB61BE9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$A776E522-8004-433E-9B04-401286029972","rank":"normal"},{"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":"Q3395262$AE7A4901-B293-478D-A506-E3809726CDB9","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":"Q3395262$ED1D5295-8F93-4552-A102-1AE2008062EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c41fe3992228cafbec5e3d4d47201c362ea92e8","datavalue":{"value":"https://doi.org/10.1093/logcom/exn038","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395262$AE771A1F-889C-459E-97A6-01861E045F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bd1792aa47e96d418b1d2ac0c672c65e9c3d148","datavalue":{"value":"W2126715257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395262$4EC8925F-64E7-4C60-B1B9-0AD92B3CD6C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7f34b334b012df1913a56ea892b75ff7058a33e","datavalue":{"value":"10.1093/LOGCOM/EXN038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395262$789ADF50-A747-4BE7-B390-D7EB16613142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395262$824F6F65-9E53-4520-A216-6B7275E1B699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1138bb31f6c9257809a7176f80bed4f35ddaf42","datavalue":{"value":{"entity-type":"item","numeric-id":5475769,"id":"Q5475769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a3f53590b065fd00d17c560b1d5d4f0954a70f","datavalue":{"value":{"amount":"+0.7252832055091858","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":"Q3395262$97D658A8-704C-44E9-A287-24746018F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46db543420f11676f0d39ffebe50c3e77eade4d","datavalue":{"value":{"entity-type":"item","numeric-id":1028643,"id":"Q1028643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b891b5bb333716ec8ac4177d5901a025f6965d6d","datavalue":{"value":{"amount":"+0.7233773469924927","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":"Q3395262$FCBF200C-C970-4ABB-982C-0F305326B2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f965dee0a264858ef5a98a69afa73d4f9201b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5475768,"id":"Q5475768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5f6bd24bb4d868e7337244a1d71442322e7c8d","datavalue":{"value":{"amount":"+0.7167128920555115","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":"Q3395262$BCA3A7AF-60CA-414D-BF29-13BBCD66C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac66bc9ca029040c62eed7431c5205e4f067b33b","datavalue":{"value":{"entity-type":"item","numeric-id":2883067,"id":"Q2883067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcf75a3991ce6cbc2e609fa1259b8c603635391","datavalue":{"value":{"amount":"+0.698404848575592","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":"Q3395262$7A0D99C9-D79F-41F2-B04C-3B2507813219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988df5699e94b306a5047c721c9848e5a1dc02a","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e36697297037f1d64ad5f08a93ed1c505e3e2d","datavalue":{"value":{"amount":"+0.6879367828369141","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":"Q3395262$2CBFCDD7-A314-44A7-9511-DD3CCABE95B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395262"}}}}}