{"entities":{"Q383830":{"pageid":385597,"ns":120,"title":"Item:Q383830","lastrevid":61430556,"modified":"2026-04-10T23:19:32Z","type":"item","id":"Q383830","labels":{"en":{"language":"en","value":"Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236088"}},"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":"Q383830$E54DB0CD-229C-4044-AA1C-B6444A508625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a1148129462d93cc3d848694a6c184be5555019","datavalue":{"value":{"text":"Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383830$EF95C447-C0B3-434A-8F1C-8B9A5F4994D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed4c20562f50e9346d6ad9496bbe6c96e6c4d68d","datavalue":{"value":"1277.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$BE0F5969-DFB4-4E46-B7A1-AD3649D2E0F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18a75b3a37d13ec7084b58828ed7f6dfa296ef96","datavalue":{"value":"10.1007/978-3-642-45221-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$D9814E39-E7CC-4A8B-B969-60776EA8B066","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":"Q383830$15FD9445-9358-49EE-AF95-CFB649A95EEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383830$A1BD1491-C0A7-4578-8904-09F8F492AB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$FA96835C-92B9-46A2-8544-011CD2248B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$A4F83C8B-88A0-4906-82A7-28F508A80BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$AFD64B7C-8717-440A-956F-1BCA936BE7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$2AD7B6DE-DD48-4C83-B55B-7E61B236CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$62F09E4B-83C3-4965-9525-F06A5C526FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad584dd9e9db4b9223454a6bcb562997bc8d90ff","datavalue":{"value":"6236088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$0AD5EABD-A4C4-4625-A85C-3D91A9C63030","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":"Q383830$525AA4DC-4B0F-484E-A507-45BFA66FD054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383830$98599F31-B625-449D-9956-6CE1632FAA3A","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":"Q383830$F72A0C7C-08EA-4529-B58C-B24248954372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfac83f664c1027a806bd08541dfb2ac02e89b42","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q383830$B8C675AC-0345-4A0E-8611-68DDBF59E34A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f790a28136fe6b4583378e3fa9b5fce08f864f0","datavalue":{"value":"W2562160110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383830$FF1D34D2-772E-4332-961B-3D0A3E7F3C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2939995adef05b51643ee52cfb1742729a1c996","datavalue":{"value":{"entity-type":"item","numeric-id":766300,"id":"Q766300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c81b399b9da6254c67bec5db54be23fad447500","datavalue":{"value":{"amount":"+0.899032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$EE02FF03-E073-4064-A3BE-66C7451EDA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcbe831ffb1762734749a3bfc86da9334d6a808","datavalue":{"value":{"entity-type":"item","numeric-id":610791,"id":"Q610791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba5407de2d5197c44ba96f56cbfc0b996a87a9f","datavalue":{"value":{"amount":"+0.8976111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$9F3D607D-DC1B-4BAA-88ED-97C71B40E3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a03965219f7ba7d04294c090c71c640f647ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4586077,"id":"Q4586077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f568c9ca22f19056637ed17e626bf510d472989b","datavalue":{"value":{"amount":"+0.8926304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$0EC78927-FDE3-49C8-827D-0A0C633A4612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18984321fdd7d28ea3568758b408e9c01ad966b","datavalue":{"value":{"entity-type":"item","numeric-id":1863978,"id":"Q1863978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f0c3a0d58979b9061adc898ac7751e4f55dd7a","datavalue":{"value":{"amount":"+0.88954586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$D7F9BF07-C12D-4BD5-8EA8-5A4A7FEE3918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd206255dc2c8bb8723353a41ee8ce6ffb16f95","datavalue":{"value":{"entity-type":"item","numeric-id":894690,"id":"Q894690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970e505186382d863c7b2b0d96aafee313fc0944","datavalue":{"value":{"amount":"+0.8892193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$3A424412-EC2D-4583-8006-CEEAF4A3F905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b117ccab5f12985491c0834f635492baf2346b","datavalue":{"value":{"entity-type":"item","numeric-id":2565501,"id":"Q2565501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b3b00dc645edf83e11e02e8048ec6e1b7f5faf","datavalue":{"value":{"amount":"+0.88920754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$16885309-CA65-41D8-A724-9243FB3A2630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0785fa8909b75f8fa405a8c0fe298e580562afd","datavalue":{"value":{"entity-type":"item","numeric-id":708446,"id":"Q708446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7003776cb0fdac7209ec9555ca252d7843349033","datavalue":{"value":{"amount":"+0.8829006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$458343A6-A15F-48E0-A158-CB132688C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b34b59a843c096eb624546fb6a3771055886f4","datavalue":{"value":{"entity-type":"item","numeric-id":959041,"id":"Q959041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5b6176326a38b6116e94edebcc572b37151e94","datavalue":{"value":{"amount":"+0.87922823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$2CDFE7A5-FC17-4CCA-A951-5E7BC4BF566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4951b4f6ba5edc6d8eb5c9297c55ccc5d54fe09","datavalue":{"value":{"entity-type":"item","numeric-id":2425574,"id":"Q2425574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe83f52053bc975c0bae656a57b36a2b8477c1a","datavalue":{"value":{"amount":"+0.8774645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$63A73AF7-9034-4BDE-B2DF-B0A79A1D0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc742ffd3477c5715727d3d94a8929b021c20f6","datavalue":{"value":{"entity-type":"item","numeric-id":1881356,"id":"Q1881356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7666514c2de7d4382c47b463ad96efc8586e1e","datavalue":{"value":{"amount":"+0.8770069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q383830$952DF7BB-A4D0-46ED-9BF9-BD67161109D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_for_programming,_artificial_intelligence,_and_reasoning._19th_international_conference,_LPAR-19,_Stellenbosch,_South_Africa,_December_14--19,_2013._Proceedings"}}}}}