{"entities":{"Q959041":{"pageid":960889,"ns":120,"title":"Item:Q959041","lastrevid":65642283,"modified":"2026-04-12T03:59:56Z","type":"item","id":"Q959041","labels":{"en":{"language":"en","value":"Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5380449"}},"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":"Q959041$147F7E03-1FB3-41FD-A89F-1EBD0FA91945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a7b92f48ce45b8a2a1c6c6043646ec8950a4842","datavalue":{"value":{"text":"Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q959041$A5B3A509-ADD8-440F-87F9-3D5F1B231C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5987c52898887e3889da73a7db663c3806f4aabc","datavalue":{"value":"1154.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$C5DF95AD-61DD-4975-94E2-E5AA82CBBC12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2a42632409dd2ab2162691f6ca8a417aeed8ebe","datavalue":{"value":"10.1007/978-3-540-89439-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$8C6A229A-4C09-40F9-BD55-36E528C1CCAE","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":"Q959041$76EFCBF2-BEA7-44C7-AF1C-E8F03425B080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3bf115d2e27666ba88fe8d385af1aaa93ab7eb01","datavalue":{"value":{"time":"+2008-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q959041$72BFA501-4C44-4860-8137-6EE54484C1B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$8B410443-F47F-4765-933F-A49C5A21BB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$6B611FF5-DF1A-49D2-AB16-CC184F1287D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$2ED4FA6E-2C58-4655-92D4-B32C9D0E5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$3AEDBB44-A413-4C90-A569-AE6042495FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$CB0EAAC2-A0F2-49F0-B3ED-6F237849D2E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4af381d6f2d444653ff0f2b7ef8cd016d41a5cd","datavalue":{"value":"5380449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$6294F2F1-F983-4F14-B453-933DAB53F1B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"876fb0cc3526e415b58c0adb93387f0b0ff466ae","datavalue":{"value":{"entity-type":"item","numeric-id":23330,"id":"Q23330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959041$D3AD259D-BD7E-43EA-8058-55B81B762D82","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":"Q959041$6B6D31F7-C11C-4CB6-B758-B1E2BBE59691","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b97a60b859722043ff7d6612afb4cba2616472","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q959041$365FF6AC-C788-42CC-84FB-51185D63A82C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4156186b7858eabe639da55653118b4a4e3a21e7","datavalue":{"value":"W4376546492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959041$C34D071D-83D0-4873-BA6E-F765D7461E62","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":"9362c32df061d30e09c106e7d364c37dac7e5e0c","datavalue":{"value":{"amount":"+0.9076619","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":"Q959041$927AD954-7783-42F7-A844-2B25FD9E5778","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":"aec457910499ae9fa7d60d3648528f1ff6a860a3","datavalue":{"value":{"amount":"+0.90528667","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":"Q959041$A2A3086B-7133-451D-B0BD-D0B2439BAF7D","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":"0c6443ed8f41abefa6d0546b5f8d53c892935ce0","datavalue":{"value":{"amount":"+0.8991879","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":"Q959041$93AC9E75-811D-4628-ABF6-270BF2854C2F","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":"5c672e0477b304bd8ecf8f265114e3b946b75df4","datavalue":{"value":{"amount":"+0.8968015","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":"Q959041$6DB23428-1F59-44E9-8AAC-156ACB7A2E78","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":"cb386e12934e7a4688d66e0da9e57c88b5756b66","datavalue":{"value":{"amount":"+0.89665806","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":"Q959041$6F1F0246-9BEA-4E09-A12D-25FF803C2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64353e526fe1e4fcf68752581e2db7d2bd5e481","datavalue":{"value":{"entity-type":"item","numeric-id":2425579,"id":"Q2425579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab12f8076384621301e1112f0f7d7155441ebbde","datavalue":{"value":{"amount":"+0.8893908","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":"Q959041$96883611-8A22-4CD3-9F61-6EABDA673E25","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":"79ea46366f3fca9dc2c2b6180d8e4faadc50bae0","datavalue":{"value":{"amount":"+0.88461965","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":"Q959041$3DC0FCA1-C1F0-4D39-92F3-421BC8A3B1F5","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":"f4df57dac957009ddfb11f00bf53ae9c78420000","datavalue":{"value":{"amount":"+0.88426924","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":"Q959041$773C6C78-E69A-4B8E-91F4-300B9D3262A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfabb489a45c1ad225e2aef55edeb5976f3a956","datavalue":{"value":{"entity-type":"item","numeric-id":2425580,"id":"Q2425580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d97591eb81a0a8f241ab7fb7b6d70d011493d35","datavalue":{"value":{"amount":"+0.88362014","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":"Q959041$462E5D0C-6389-416C-8BEB-662875A73BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00931dae3769b9b49a7c1db9bba607f9c5a31f8","datavalue":{"value":{"entity-type":"item","numeric-id":1416839,"id":"Q1416839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabe939b31693f818bcbefb866662f256c83f4f4","datavalue":{"value":{"amount":"+0.8827631","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":"Q959041$725D4DC4-CA04-484D-AE30-131FEEDAD3EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings","badges":[]}}}}}