{"entities":{"Q1079552":{"pageid":1090304,"ns":120,"title":"Item:Q1079552","lastrevid":48962359,"modified":"2026-01-06T08:10:12Z","type":"item","id":"Q1079552","labels":{"en":{"language":"en","value":"8th international conference on automated deduction, Oxford, England, July 27 -- August 1, 1986. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963761"}},"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":"Q1079552$CBE928B3-EA1E-41CF-B71E-B9B00795D482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ceaf71f9592eecc062842e54b52e26ec12fc314","datavalue":{"value":{"text":"8th international conference on automated deduction, Oxford, England, July 27 -- August 1, 1986. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079552$37D6E110-0D55-45F2-B668-4C993D67AAA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e768e9514a12e9bfc4b97c96ee235d2cffa09074","datavalue":{"value":"0598.00015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079552$B578AB8D-4B21-4E2F-8F42-9AF880EBBE57","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":"Q1079552$5041D6D2-1396-46FB-B936-6E15A8E68E7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1079552$865BFB30-C14F-4F3F-A440-02512ADE4709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079552$D809417E-555F-4FFA-90ED-E65CA90EB7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079552$1E280E51-2039-4DD6-B304-663384900144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1e25e539c8efa9f9ab72b935eb4b1acc33936b6","datavalue":{"value":"3963761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079552$AD2B876C-DB6A-4C7F-A9C9-93C9C71C2CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079552$C50C95B0-617C-4D6F-A9E7-502F6E42DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079552$497C0A39-6A76-4E7D-9B9D-1C1E60A2B1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079552$857DF693-27F7-47D3-A189-2ECAF2872B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3e4ff3b8f78db7d658b5c1e878584b07d24f6a","datavalue":{"value":"Oxford/England","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079552$36BF6BBC-09B9-420A-B7CB-3F63AD4EA1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3e2dbe5feece6a59f5cff8f264924f359bf651","datavalue":{"value":"CADE-8","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079552$9F29A107-E595-4C63-82C9-B5436EA3464A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079552$C6B67CFA-C8E3-493C-AA8E-3587EFEA5A95","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":"Q1079552$A22BB470-58EF-4674-A21A-4C97F4F13A89","rank":"normal"}],"P1643":[{"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":"94a0b0b8bc6e28260095207b2b6b9b9db3492f37","datavalue":{"value":{"amount":"+0.8505388498306274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079552$30F387AF-B7C5-40DB-A3AC-FBD8911C9CDB","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":"4291d998e4200a122a3890c6fa0daa13d5e359aa","datavalue":{"value":{"amount":"+0.8368027210235596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079552$160FC761-BC57-49B3-A451-42F0C6A05E8A","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":"4e257bc6401d975a9e072787b2f6d2c75592de96","datavalue":{"value":{"amount":"+0.8348108530044556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079552$003ACC8D-D4B0-440C-A9E2-53A2224ED9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7aaccd077c962dd022b81ae185d156883cc29","datavalue":{"value":{"entity-type":"item","numeric-id":1188720,"id":"Q1188720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a241cb794deceea3ede032f9920a6687e473009","datavalue":{"value":{"amount":"+0.8258936405181885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079552$829EDA52-759C-4C4B-9488-CD5E381280FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2735f4a7395cc827f99a97ae68d5ceac0969424","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b3c2d4c1e026c6dc57809354e0d685e82911e2","datavalue":{"value":{"amount":"+0.8225329518318176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079552$F19B7EAB-2943-47D3-83F9-4390271A2BAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1079552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1079552"}}}}}