{"entities":{"Q1295984":{"pageid":1306734,"ns":120,"title":"Item:Q1295984","lastrevid":68497710,"modified":"2026-04-13T00:06:44Z","type":"item","id":"Q1295984","labels":{"en":{"language":"en","value":"Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1313879"}},"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":"Q1295984$AFF2CAE7-8395-4917-98F4-568313A3B076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b232d9548fb48082e70675fab213a47242ab7103","datavalue":{"value":{"text":"Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295984$DDC42A90-8AB9-4ECD-84C5-45BEECB4B26C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad05df34223502edf1408d356bc99718b344a60f","datavalue":{"value":"0917.00015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$E0A518A1-3B4F-4A2C-A151-D1F581661AB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d883e4b23c8f2378acc6125484862d7c531bef7","datavalue":{"value":"10.1007/3-540-48660-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$3CBBEEAF-0BC3-478A-AAE4-67FA4747AD49","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":"Q1295984$BD40974F-04DB-4B72-B3AF-77838E08328D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f17fe6f73043bfd4b99079c382b6d17c4e7b22f","datavalue":{"value":{"time":"+1999-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295984$A5016DF3-C61C-4B26-9834-381E5405EC04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$636CBDEB-1316-4080-B998-DDF2973F9332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$4E4F25E0-3F22-4AA5-87A7-CF7B63B9D82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$92EF1418-3002-40EE-9BF2-F25E5DB6FC24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84510142fa965c0f120ae2963f698e7de0ecd364","datavalue":{"value":"1313879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$739D1535-9C30-472E-972F-655CEFF666E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976db3ede86419f801052df2563dbb408e45e313","datavalue":{"value":"Trento (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295984$14C07479-DC65-4401-8EEE-459EC0C60B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295984$E0B707DF-62D9-48E7-864C-9B879E28C68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295984$3B5B1F0C-B69A-4E9B-99B7-1FED0BDD5BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4faad15f5fae43ca1b04f20fed4f8cbf992053d","datavalue":{"value":"CADE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295984$D83FFF90-CFA2-4BE6-B259-85B4405D212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295984$2E167231-38E8-41C0-A1A4-2C5D08D60AF5","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":"Q1295984$2C613C06-3A1C-49AD-9B3F-5EE6B6C3D5EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c12977c2ca6b03dc630edd38a5e56dbf5550a50","datavalue":{"value":"https://doi.org/10.1007/3-540-48660-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295984$388BB985-4D2C-437A-8063-A5BC7F8C1D18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee29a1ab8c3698599d2438915b246cf8156dbdf8","datavalue":{"value":"W2499957903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295984$D94EF3FF-A24A-4386-BB6D-03CD8896DCC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_deduction_-_CADE-16._16th_international_conference,_Trento,_Italy,_July_7--10,_1999._Proceedings"}}}}}