{"entities":{"Q894690":{"pageid":896538,"ns":120,"title":"Item:Q894690","lastrevid":65223885,"modified":"2026-04-12T01:07:55Z","type":"item","id":"Q894690","labels":{"en":{"language":"en","value":"Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515550"}},"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":"Q894690$CC5ACD4A-2130-41CD-9A95-EDE02C267749","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0852c8877d364714e2c7a87225952ddff5adbd1b","datavalue":{"value":{"text":"Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894690$AE0DE5F8-11C5-4A39-86FD-ED3D0EACB06F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05a58e47258fe977e83d92642f3030463dbc7cbe","datavalue":{"value":"1326.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$2A7079FF-7839-4CE0-B446-DDB722C9DE9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61be5e576a977444906de290a448637b01568293","datavalue":{"value":"10.1007/978-3-662-48899-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$033B3590-2F68-47CD-8460-AAE84D4CD3B8","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":"Q894690$5004C937-9246-4D1C-B4ED-3F71BAF770F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894690$84238958-9F85-4ADD-8446-CFE327950208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$77A091A5-2A3C-47E9-9982-6AB0E1381361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$E1F1CABF-8161-4F73-9ACD-C661BD6F3319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$2CA6798D-FBB9-4863-BEB2-58A949CB3F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$5449BA87-E264-413C-B8CF-D8806B1B4A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$48F8DF34-6DC6-44F5-AB3B-BF7D61614DF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3266fa1aebb0991abcd42299decb22d2856cfa15","datavalue":{"value":"6515550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$250FC2E7-91A3-46FF-9C2F-1F54AD86F333","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894690$9C224745-7378-4395-97E9-D1F7064A46FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a1e94f157d41116391eea794e4679c715853699","datavalue":{"value":{"entity-type":"item","numeric-id":32991,"id":"Q32991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894690$3DBAFB5C-A857-4088-9E72-EB03A7ED568C","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":"Q894690$BD215DBC-7D91-4BBD-9388-F8EF9E5B5A75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55218b613761d51c514ceb8c1b9badf42b132ea2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q894690$4AFC1060-727B-4C21-AEC8-68A533DC56D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be823fb4696d8e9dd6a67a464dbac8d8d9bc27cb","datavalue":{"value":"W2571737705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894690$6F90090F-6148-4DBA-BC52-EC2315E71252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_for_programming,_artificial_intelligence,_and_reasoning._20th_international_conference,_LPAR-20_2015,_Suva,_Fiji,_November_24--28,_2015._Proceedings"}}}}}