{"entities":{"Q1363486":{"pageid":1374225,"ns":120,"title":"Item:Q1363486","lastrevid":43057189,"modified":"2025-07-17T07:42:01Z","type":"item","id":"Q1363486","labels":{"en":{"language":"en","value":"Automated deduction -- CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13--17, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1046611"}},"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":"Q1363486$2916F083-5103-4B38-AAE6-5B8F125E9B21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"189d1e8a45bae43e38b5c4d068b217dc13b6f4ef","datavalue":{"value":{"text":"Automated deduction -- CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13--17, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363486$A6998C5E-CF9A-4C62-881D-D6440B5B35FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0a7ecbf769619cfa3dab2439701b858ac7180a0","datavalue":{"value":"1415.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$3BA900E5-7378-4D5E-BBF9-EA47277FBA92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa84cce69319b187e7a872437565a1d6b05532ba","datavalue":{"value":"10.1007/3-540-63104-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$C17914D0-7C61-4202-88A6-744157ED85D1","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":"Q1363486$6D239881-A77B-40BF-B235-754F5F631A10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aee9b2667f186fd9bfc9e88cff8a9b6282faba7d","datavalue":{"value":{"time":"+1997-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363486$25DB7B91-62C8-4243-8B8A-79C67358FC79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$29BC7619-A3C2-4E6A-BB5C-A5A38BFB1EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$F48F955D-610B-4697-B478-23364FBCE0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$4948EF0D-98BC-4599-9D58-66DAECA15FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$933F988D-590B-47DB-8E22-A95F73AAD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$ACDF0388-9588-4B2B-91EA-AF80AF0EC2D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd02b97153f012bf6b4494fbe2837c530ea19922","datavalue":{"value":"1046611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$4E289225-9D9A-479D-98AD-BD3EA7A78D22","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":"Q1363486$F37345A6-4CC3-44ED-A01C-F47C1FA69494","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8abcf459057e85c602a1011ed6fbd8c6065cefe7","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1363486$4E9F51C0-C45A-4A87-9B98-5F391498430A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"414e0a9996666597959eeac4df5694bb4b9696fc","datavalue":{"value":"W2493672872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363486$93E114B9-C7C9-4D32-AE45-AC6515C92FD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323b35b48a43cb45e7a7719d153d189e68e9bffb","datavalue":{"value":{"entity-type":"item","numeric-id":1920212,"id":"Q1920212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79d84f3d325a7b82d79fde11f22c5b09c719c12","datavalue":{"value":{"amount":"+0.8910154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$4196BDE5-2723-469F-AE80-7CAEADE4E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2332e365250d0df69eb8b3aaaea5e9016f810f01","datavalue":{"value":{"entity-type":"item","numeric-id":1567498,"id":"Q1567498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35763935fc3bf91808033a1e91035e6cbb99a03e","datavalue":{"value":{"amount":"+0.88694185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$16ECA8EC-F34A-4D33-A58C-CDFD267703AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6059a413bdc153ab86b6d5b18a8f6e50ca0f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1295984,"id":"Q1295984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05f7d5948ff6aa4ac7c5ce721718a45bb03edb3","datavalue":{"value":{"amount":"+0.88342094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$C808D84D-7971-4EC3-8698-234BAC46A1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a31c8b38105ee8bda029a8d86964a2251d95785","datavalue":{"value":{"entity-type":"item","numeric-id":1389909,"id":"Q1389909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688bdcca994cf789d38ee0ccd4f0cac3a5a327b5","datavalue":{"value":{"amount":"+0.88301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$2B8E47EB-A323-43B9-AF5A-B741FB4EF486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e8f99ddb344976a17255806abc4ca1c7cc7b1e","datavalue":{"value":{"entity-type":"item","numeric-id":1327704,"id":"Q1327704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd59ae49a0f345789b9308aba0f66a3b01e5d659","datavalue":{"value":{"amount":"+0.881886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$1D27F220-35FE-455E-9916-D26218A0DCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1703913d47121ff77cd791204869bed259f37e","datavalue":{"value":{"entity-type":"item","numeric-id":1412856,"id":"Q1412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87586012a611a0b23894eede886e349d93f4b5f","datavalue":{"value":{"amount":"+0.87280804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$7A8FBD7D-1C6C-4B16-A685-B874587E0BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d22aba00ca9e20d6372242bba150d031b7c236","datavalue":{"value":{"entity-type":"item","numeric-id":1613678,"id":"Q1613678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd3f18ab862a1e5dfd63b337d8cbd23e6fbcc91","datavalue":{"value":{"amount":"+0.87202036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$295A5174-A6BA-4B17-AED3-DC2516C6F1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e39318564b9e673a86c4a6f7a1cc80fd363e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":2461168,"id":"Q2461168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ed8872e18fdf73faee37e377788d48ca407f94","datavalue":{"value":{"amount":"+0.8719585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$49DC8C57-1906-43B4-AD80-CF473D8CB48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fbb009f2fde337a5589d87f34eb1a19d7a04a2","datavalue":{"value":{"entity-type":"item","numeric-id":1305166,"id":"Q1305166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b492165bc5b7bb316eef3cabc068e1ac27ecbe69","datavalue":{"value":{"amount":"+0.869033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$6806ACDD-77B0-4623-8032-3693B00FA2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a9c275cdc673c2f8a35b0bb141fc43674effed","datavalue":{"value":{"entity-type":"item","numeric-id":1953299,"id":"Q1953299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab17dcb41d586425b2c6081b65f2a17124963955","datavalue":{"value":{"amount":"+0.8659272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1363486$C7FB9168-5688-418B-861D-D581346E6A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1363486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1363486"}}}}}