{"entities":{"Q1188720":{"pageid":1199469,"ns":120,"title":"Item:Q1188720","lastrevid":69852456,"modified":"2026-04-13T10:46:36Z","type":"item","id":"Q1188720","labels":{"en":{"language":"en","value":"Automated deduction -- CADE-10. 10th international conference, Kaiserslautern, Germany, July 24--27, 1990. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 47197"}},"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":"Q1188720$EF843D9D-CF53-44C2-9DD2-90C69474AEEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8e0b558f51a6a4e88747bedefc90260750334a8","datavalue":{"value":{"text":"Automated deduction -- CADE-10. 10th international conference, Kaiserslautern, Germany, July 24--27, 1990. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1188720$C6D7B961-5415-40E3-BABD-73CECF7F2947","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e5f93454e34de165204827938d0a971c2caf97c","datavalue":{"value":"0925.00070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$D40BFE6D-9AAA-4AF3-9013-D14EB046F419","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a7a0258653c62ae3a94d9f604c174b7ea68446c","datavalue":{"value":"10.1007/3-540-52885-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$DD72EAAD-CB1C-4A7F-88D6-1AD57B51B78B","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":"Q1188720$821DBDA9-89E0-4E41-88D5-48C74FA8BEC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1188720$DE06A21D-877A-4F82-8A56-AC5167C125D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$F3C35471-5AB7-42DA-A29B-AD3C490C4663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$1933A1F2-AA85-43CD-8533-FCFE55D65BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$64F2D404-D3EC-41E8-B4FE-A6697FFAD986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$DF4B5010-0365-4DC0-BF3B-37FA8036C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$7F732C6C-2ADA-4B2B-908C-9F0114CD75C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0fee132604953be8b0941821183d1af73aba23e","datavalue":{"value":"47197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$B86C7029-C277-49A6-833D-C2251A920160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c475cf6574caedc1d8507f16d548773da4f119c","datavalue":{"value":"Kaiserslautern (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188720$9FA1AED2-B98C-4E29-B2B9-CF002129DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188720$33D14974-5D4B-4840-8185-E448C135F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188720$B5B452FD-0EB1-498B-AA02-00A262C365E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188720$977D6D66-AAC8-4A3C-A910-A5F15B8ED48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11ea87acfd6fc71b84b90e6ad9f78fa24997996","datavalue":{"value":"CADE-10","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188720$0C320413-DF6B-4464-9A55-F1D05C35541B","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":"Q1188720$B31150DE-795E-48DC-AC72-A69030BFE51C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"665ff721667a0a4a6469a1746e7faad113fd2174","datavalue":{"value":"https://doi.org/10.1007/3-540-52885-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1188720$20EFE511-B14A-44F9-85F5-6FB16CE38651","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f18b95d5dc85534a506001ba1023105cd5346b3","datavalue":{"value":"W2506148024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188720$3B8E0874-A314-4E1D-ADF9-FDBE78920A02","rank":"normal"}],"P1643":[{"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":"fdd3e5d00b6f3c89bf9ec491091815b9f5388e54","datavalue":{"value":{"amount":"+0.8469348549842834","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":"Q1188720$5149DBF0-F8CD-45A6-A09C-48B317A6494D","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":"9e88ece54ccdcb53e6015f4a83f23b536636725b","datavalue":{"value":{"amount":"+0.8379892110824585","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":"Q1188720$723840D8-A315-4889-AF51-9856B41F56FC","rank":"normal"},{"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":"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":"Q1188720$CCC9F2FA-D389-4BF5-8130-6DF757502421","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":"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":"Q1188720$2DCDB9D2-C771-48ED-B169-AE697582E012","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":"7642e93be2b72911c88d587d3ab38df466308bc4","datavalue":{"value":{"amount":"+0.8178243041038513","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":"Q1188720$42038221-A0C0-435F-9804-026564CBDFEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction -- CADE-10. 10th international conference, Kaiserslautern, Germany, July 24--27, 1990. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_deduction_--_CADE-10._10th_international_conference,_Kaiserslautern,_Germany,_July_24--27,_1990._Proceedings"}}}}}