{"entities":{"Q4371669":{"pageid":6401268,"ns":120,"title":"Item:Q4371669","lastrevid":46984092,"modified":"2025-12-26T00:05:26Z","type":"item","id":"Q4371669","labels":{"en":{"language":"en","value":"Knowledge compilation and theory approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106104"}},"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":"Q4371669$9D4C8D3C-7EB5-40FE-B11C-DEA021F693DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82f1e76a75e45abc922d03bb93b45e794735f7b5","datavalue":{"value":{"text":"Knowledge compilation and theory approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371669$E544AB13-2A43-47C8-8224-333E8435F298","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ed1453836aafaed637dad78391108c498c298c","datavalue":{"value":"0882.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371669$01251321-B5B8-4B0F-A782-66DA74C7309E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19a37db8d59bc49f6a87e52ed196ca5129614380","datavalue":{"value":"10.1145/226643.226644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371669$D9EEE289-E955-4D52-86AD-66001EC019D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371669$4033DD58-2DA3-4556-9F48-42DBDBFAE4FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb264ae0a359bf25e724aaa6ec1d5efb013c8860","datavalue":{"value":{"time":"+1998-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4371669$DE7A3F4C-6FDE-48A4-88D5-37D64E9A70BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a86c28032fa1c6d2fe2332380507de41c2e669","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1996-43/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371669$4E1D9AF1-09EE-49C4-80F8-71D632806E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371669$DF05749F-5FE3-4977-A51D-382BF59B2E76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e81038723f1988af3bfc5a36ebafe5ac563f2b84","datavalue":{"value":"1106104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371669$4D130583-09BC-4CB0-9495-60D6738B6A49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97cb41cfc6c549d06a10c09572edcc17f36776c","datavalue":{"value":"efficient reasoning methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371669$6BF74F78-EB77-4B52-8365-219C8689E6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371669$6DEDE3EC-D95B-4887-9E69-4323DB37CDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2864d1b6870ef2699e5e1958be36cb181ba7244","datavalue":{"value":"knowledge representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371669$F73078DC-5624-4E66-A695-D0FB2235A8A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371669$5D73351C-76CD-4B82-BEC5-5E88FDD829E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e0fdfe1e00756ef855f7200cdba410674eb8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1182165,"id":"Q1182165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371669$6C43DABC-41B6-4EB1-9EB6-0BCC433DE016","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":"Q4371669$C84EAA51-FCD2-4C5C-A581-B149729B0683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16c3d44d077c5a22ca252c3dca3f74334df1fe1f","datavalue":{"value":"W2038897673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371669$D1BB5AF4-8D19-4BCF-A69A-9E45FF7B3203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14dcc4b63a12af34ac3b264ac34f80118821517","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1491b4da34e7b32aec4be6487c768ae9a3ccb5","datavalue":{"value":{"amount":"+0.7985608577728271","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":"Q4371669$626C20CA-3A8A-477A-903B-9061BE47D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47b2769c6db4be4412be7d6d2d897e4f194b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":5479280,"id":"Q5479280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684f5531dd5db5192758cb4be72792f28b9b1751","datavalue":{"value":{"amount":"+0.789430558681488","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":"Q4371669$F2A01ECD-138A-40AB-AB58-7ED53F8614B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d7b28b2316ebd61c40ba225f891f0790dd426c","datavalue":{"value":{"entity-type":"item","numeric-id":4737597,"id":"Q4737597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5561a4e05410991032ebac4565de484408542cf","datavalue":{"value":{"amount":"+0.7864774465560913","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":"Q4371669$4E6BE7D3-F98A-4045-98FE-808287753CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f977396b23e61f08889eeececfa60d7dc7131e","datavalue":{"value":{"entity-type":"item","numeric-id":4386975,"id":"Q4386975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c10edc475539befe11e2bab2281a0d9170bd44","datavalue":{"value":{"amount":"+0.7785958051681519","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":"Q4371669$59E0221B-E6C9-4685-97EF-EC5DD2AC6A2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371669"}}}}}