{"entities":{"Q610791":{"pageid":612567,"ns":120,"title":"Item:Q610791","lastrevid":63149934,"modified":"2026-04-11T10:57:14Z","type":"item","id":"Q610791","labels":{"en":{"language":"en","value":"Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825507"}},"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":"Q610791$A0EFF4C2-88F9-492F-977D-F1E160F8C4B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d52f07dc152f2171402340569d880b86a4392b","datavalue":{"value":{"text":"Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q610791$C6C837C1-89BB-4F11-BCB8-C596A7C8AE53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"655948f07e8b9129416744aa17bb03444445b818","datavalue":{"value":"1203.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$14C2FB93-837B-4AC5-9EF4-F300C3C9D986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7b19f7735203224d8ad8b8fed2f197a127f4b98","datavalue":{"value":"10.1007/978-3-642-17511-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$6CFD14C4-736D-4522-AF5F-EC82D7331184","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q610791$6C6ED3F6-B12D-4B70-8C51-B50578AFCDA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e996322cd370562763be856a5240a93d840c641","datavalue":{"value":{"time":"+2010-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q610791$82C22D60-DFA9-4D2C-A6F9-AFE09B15074F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$CA7A0D80-25E7-4761-8FDB-325068D647C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$7AF4EB2B-AA08-45F8-A948-9E3D0CFC0ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$2F2DD615-2835-4351-96F6-0DF8A7F7A0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$61CD65BD-FC6C-4207-A0AD-EA8F861ADE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$C02F2500-B24F-4F00-A6F5-4A33E77C00EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99c92c07167feef2379bca8067ca1b62b9e8ec78","datavalue":{"value":"5825507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$E7CF7FA6-ABE4-4992-B0DA-B0C89A2F6AF5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65f472ec62812266d82ecc36cbade7b844a7dac2","datavalue":{"value":{"entity-type":"item","numeric-id":21923,"id":"Q21923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q610791$E7341896-259E-41CE-8F0A-BB203900B7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q610791$0BFD527C-CDBB-406A-9740-91612CAB9DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q610791$D73B700F-A53A-4CF5-AAAF-E5DDD7B40F33","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":"Q610791$4596A42E-2FCE-4898-ACFD-7F37A58BAAD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd233c309bfb189e4e92404e4f3c7e448dd281d9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q610791$EC7E038E-688D-4F97-AD82-1BBF959B5A0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1390341d323ed2aa12001423f1cabfbb07b41234","datavalue":{"value":"W4376562731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q610791$70B36599-92AD-4CA3-9CE5-5DEC48B797DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_for_programming,_artificial_intelligence,_and_reasoning._16th_international_conference,_LPAR-16,_Dakar,_Senegal,_April_25_--_May_1,_2010._Revised_selected_papers"}}}}}