{"entities":{"Q1159599":{"pageid":1170348,"ns":120,"title":"Item:Q1159599","lastrevid":66405435,"modified":"2026-04-12T09:51:12Z","type":"item","id":"Q1159599","labels":{"en":{"language":"en","value":"6th Conference on Automated Deduction, New York, USA, June 7-9, 1982"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3747011"}},"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":"Q1159599$FF3C5470-626F-4E23-AA84-A2E21FE7035C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a6ea1a4f4423897022e5658c6f689bbe75fca8a","datavalue":{"value":{"text":"6th Conference on Automated Deduction, New York, USA, June 7-9, 1982","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159599$1914C75A-F39E-4699-BD5B-AC09E37C1624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1f84d6125552ff86e0f3ae8d22f4a74bc5101a4","datavalue":{"value":"0476.00025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159599$24FB6071-5D7E-4AC6-9806-1A40437C64F9","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":"Q1159599$84A23A0E-A6B5-454F-84D4-A31ABB418B13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1159599$AE42365E-268C-4A8D-B907-DF102B5DC18C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159599$C023A955-632D-4BDE-BC67-32AF534D4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159599$977275E9-50A9-4651-80D7-015A56F23ED4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33c866af662724829f6fc6347a8891ca208de260","datavalue":{"value":"3747011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159599$10DDE860-827E-4F23-A32F-5914B84E8C2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159599$226268CB-000B-4B0C-8219-E4CC8BCC9372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159599$64BF3766-DC31-404D-BFBF-421648EA0EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"859015b03527790c1377a7e120d0bdb00862a8a5","datavalue":{"value":"New York","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159599$909B6C71-8E95-4798-8829-80DB4AD8C9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3554865d8052da663f492be29c9b9b556ffe994","datavalue":{"value":"CADE-6","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159599$1899E5E3-F1E1-4F4C-B4C0-C9CAD97307F7","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":"Q1159599$8DB20BB0-DDCE-4DB2-8870-0FD1527AE1FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09fd6c2e063f7c21155923090154d9343ee36bd","datavalue":{"value":{"entity-type":"item","numeric-id":1079552,"id":"Q1079552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f77ede406463e8238e4cf067d9cef1e86960596","datavalue":{"value":{"amount":"+0.890306","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":"Q1159599$E99C135B-69F2-4FB1-8367-8A4B5C3EA024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e3a16fe5cccad5236a53243e77de9015e09ae1","datavalue":{"value":{"entity-type":"item","numeric-id":792298,"id":"Q792298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30858393b362a0e45f945a0ac8d9f4c8899d149","datavalue":{"value":{"amount":"+0.87229216","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":"Q1159599$E681ECEA-0FA8-4841-B422-CA28EE52C0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323b35b48a43cb45e7a7719d153d189e68e9bffb","datavalue":{"value":{"entity-type":"item","numeric-id":1920212,"id":"Q1920212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f905ea5dc8b6c17b31c322c35a8a01fccb4b750","datavalue":{"value":{"amount":"+0.871617","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":"Q1159599$51020C10-AA43-4D34-9316-9E0274A9903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b06932f2b3514e228d01b1abece31acb242060","datavalue":{"value":{"entity-type":"item","numeric-id":373634,"id":"Q373634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ac501a7124f7a10a4a260fba0af0a305c2e7be","datavalue":{"value":{"amount":"+0.8700192","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":"Q1159599$C313F7AA-78EC-4EFF-B347-A9A09BEDBDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e05e3763ef889a14e63cc327187b34b77de4fa","datavalue":{"value":{"entity-type":"item","numeric-id":1137026,"id":"Q1137026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52bc7bff6ddc6c34d9e3eaec83a4ec72afee7be","datavalue":{"value":{"amount":"+0.8684558","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":"Q1159599$8B959BBF-498D-4509-8931-1A59EC9DF9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fbb009f2fde337a5589d87f34eb1a19d7a04a2","datavalue":{"value":{"entity-type":"item","numeric-id":1305166,"id":"Q1305166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50915fc7aa876dea386c44b829b2e45569e3bc3","datavalue":{"value":{"amount":"+0.8672539","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":"Q1159599$FFB363DB-3623-424E-B3AC-AD4137C97897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e8f99ddb344976a17255806abc4ca1c7cc7b1e","datavalue":{"value":{"entity-type":"item","numeric-id":1327704,"id":"Q1327704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c12f8ce77af68efc39957ad50f6a46d6d2c7a1d","datavalue":{"value":{"amount":"+0.8583896","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":"Q1159599$AAAECF32-2F46-4073-9DBC-5B994B758B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6059a413bdc153ab86b6d5b18a8f6e50ca0f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1295984,"id":"Q1295984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d503d6458510b7b413d31474fef39a84e5f083d","datavalue":{"value":{"amount":"+0.8568517","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":"Q1159599$5160496F-B0BC-4EE9-9B37-BB40A8956EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828b7126404b497144627e404ce44e098065c2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1210767,"id":"Q1210767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250de0b0991b4f753a2eb241b932a8e8f5550f2c","datavalue":{"value":{"amount":"+0.85304755","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":"Q1159599$477E3B48-DE9D-4787-8E8C-4F700B27E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a9c275cdc673c2f8a35b0bb141fc43674effed","datavalue":{"value":{"entity-type":"item","numeric-id":1953299,"id":"Q1953299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3453e1b44f7c1476589c29742e64f8f876dc7ba4","datavalue":{"value":{"amount":"+0.8522036","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":"Q1159599$BA7FB3BD-267A-4114-BAB5-D54C1802C2CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"6th Conference on Automated Deduction, New York, USA, June 7-9, 1982","badges":[]}}}}}