{"entities":{"Q792298":{"pageid":794146,"ns":120,"title":"Item:Q792298","lastrevid":64373832,"modified":"2026-04-11T19:25:40Z","type":"item","id":"Q792298","labels":{"en":{"language":"en","value":"7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852989"}},"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":"Q792298$3EEA9600-573D-4029-9CAC-4A2174347BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebe5f389e5ad61e393bb76eec69112da47c4b45c","datavalue":{"value":{"text":"7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792298$B4D8D569-C1AD-4A82-B2C8-E7F1449563DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5d4f6072ef3b895ae276b896e9cf5a87ddf0338","datavalue":{"value":"0537.00025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792298$7A38900C-5ACE-4AED-9CC6-2E2C4A95D6D8","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":"Q792298$B8AC1C46-32E5-429D-B623-DE0BC6A288A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q792298$B0506A0D-5343-4230-B185-4FDE1672F34F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792298$FFB64ACC-8885-47E7-B5C7-6374A5B70085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792298$99665202-402A-4087-A19E-506CC1497B6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c20a3a5222483d029e1e5e448113d40bb2e9f33","datavalue":{"value":"3852989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792298$891D94BB-46B4-4E78-A153-119C04638FF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q792298$73C953BD-3017-420F-9824-B8BF275334D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q792298$2FE1EFFE-97CE-4EB4-B3A2-98D979115044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q792298$0EFBB992-FE01-4D21-9C79-6B60B0A9140F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880643b1e6ca3bbc3fe0d7413567775e23d2e7f9","datavalue":{"value":"Napa/California","type":"string"},"datatype":"string"},"type":"statement","id":"Q792298$895CCA10-56D8-42E9-84C6-4BEC628A8BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cf9c2dbb2266941c8608a79d5373d5474d4128","datavalue":{"value":"CADE-7","type":"string"},"datatype":"string"},"type":"statement","id":"Q792298$5924E6D3-A1F3-4866-905E-321ABE75A7E9","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":"Q792298$6A414E1B-5CF9-46CB-9FC2-38832ECA4604","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":"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":"Q792298$CED98BCC-38A9-40B5-8F01-74583AE71AB1","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":"e6c3d1368ece103191bd1c8a77b01994573e5f90","datavalue":{"value":{"amount":"+0.838210940361023","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":"Q792298$F518190D-3583-4F5A-8056-DEA0FDFEDC48","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":"358c57ce7eacd92c28a4ac4bde11392eb5826ec8","datavalue":{"value":{"amount":"+0.8252895474433899","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":"Q792298$04864733-64D3-40AE-80B9-05A6595F0401","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":"77f5990f95d6fc0a05c554d7ae7e285c23130d0b","datavalue":{"value":{"amount":"+0.8252623677253723","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":"Q792298$53B191F6-F674-4B25-857F-19845EA49866","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":"8a5f4b72aa01cc05b9493d3fa212db53f1f71b14","datavalue":{"value":{"amount":"+0.8232062458992004","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":"Q792298$88980C4F-9344-4346-9685-89C6A275E89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"7th international conference on automated deduction, Napa, California, USA, May 14-16, 1984. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/7th_international_conference_on_automated_deduction,_Napa,_California,_USA,_May_14-16,_1984._Proceedings"}}}}}