{"entities":{"Q1940488":{"pageid":1951230,"ns":120,"title":"Item:Q1940488","lastrevid":43434485,"modified":"2025-07-25T19:41:17Z","type":"item","id":"Q1940488","labels":{"en":{"language":"en","value":"Automated reasoning and mathematics. Essays in memory of William W. McCune"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6142696"}},"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":"Q1940488$1FDCE15F-C785-422C-A386-6C8AA1F4A452","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9764afbe2b3049aee4e14ec801898b9b36fded3","datavalue":{"value":{"text":"Automated reasoning and mathematics. Essays in memory of William W. McCune","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1940488$52F0F4E0-4269-4E4E-87E8-2A2835F19069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f51b3715338017320402d6fada4cdf6622ce828","datavalue":{"value":"1259.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$0CBC30AB-15D7-454E-9AF0-CCE7C10C4D4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51645f142e08244294409f83412d4167c85a1da2","datavalue":{"value":"10.1007/978-3-642-36675-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$444FDD6E-3DCE-4997-9911-41D03D5A7918","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":"Q1940488$AA61203D-8B30-4FFA-8D5F-404589A30960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b19acb3e8c7a2662dfca6a9069f307fd3945628","datavalue":{"value":{"time":"+2013-03-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":"Q1940488$C21E2108-BC38-4798-8287-C2AFD7F8172C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$0C4BE291-C694-4637-8255-2C79875D969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$649D3405-7D48-432F-904A-571F981AE1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$FEFAF12A-9218-44CA-B9F3-7D66A249B6B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd4bf63c351175646ddcf899a1ae6cb20333ece0","datavalue":{"value":"6142696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$00DC5403-3921-47AD-AD0A-C35810BC0D74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940488$25F166EA-9589-4074-AACF-D1C6B268BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1940488$E4F0726B-0166-4056-B13D-91E5AB9C82D6","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":"Q1940488$4A714787-AA25-46B7-83B4-25CD13A47C9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"808cb43bcf5a40c53504fb207b685d1e758bd4f6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36675-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1940488$C9F7A27B-2AAC-4A06-9C75-6C5BD937B05C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb8dda07555b906a783204953acb13ff4d2b5fd5","datavalue":{"value":"W2223646834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1940488$7B533485-398B-40D2-984E-CB33F23FB404","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1940488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1940488"}}}}}