{"entities":{"Q4415138":{"pageid":6444737,"ns":120,"title":"Item:Q4415138","lastrevid":41199540,"modified":"2025-04-19T00:08:16Z","type":"item","id":"Q4415138","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1954132"}},"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":"Q4415138$9F6B6AB9-9E31-40A7-9E00-132745B02C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b36aad7a4d40c234098b1633d1945f5a062d43f","datavalue":{"value":"1032.68742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415138$3BF619A5-7F83-42C6-97BB-67D32DEFD919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4415138$7E2F1126-D568-4E34-8481-728626B5446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4415138$6F81DDA8-D0CF-4CE5-B9E3-17AF2D4C7603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fce6970c24c0c55b82513b9985a67a6b65dfce22","datavalue":{"value":{"time":"+2003-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4415138$31B063A9-1A3B-4428-92F6-1AA713B16224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad564ba7d17eeaab44282c04b2d1082cd1905a5e","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2557/25570095.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4415138$77FA6A65-0028-4AE0-A5C0-8B6D9A47D353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415138$42FB9DD7-DA49-4D5C-A33A-5FF6A7A7F603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde1c5c6c69c16a025500e7b720d470899bff8da","datavalue":{"value":"1954132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415138$8EC12181-8B48-4F79-B0F7-E930CD6A2582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d84b680fce16fcc727f401ab7b42132123e482","datavalue":{"value":"Reasoning about time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415138$7AAD63DC-181A-4079-81E7-C21AABEE7E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415138$2B082355-B2D6-4729-8667-32363BC6A87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415138$C11DD292-BCDC-48C9-A83B-DEAE4B5E10A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4415138$B3E2A66B-690B-4DB8-ACA6-A2BDD0D412C1","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":"Q4415138$D38E29AB-8C8C-4CD1-944F-47D4776FB19C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2fbef516d514a864585f896173f543d8f4f0d8","datavalue":{"value":{"amount":"+0.90719","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":"Q4415138$D11B62A9-B365-441F-A565-82295F0688A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b419e0e91c848df98c41d87bf2df9ba6f378587","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c47637c9e0f9482989683f999ad807863a53bd8","datavalue":{"value":{"amount":"+0.9032898","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":"Q4415138$7BEAE52B-2A0D-435C-84B8-AC9DC93C84A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbe0552fb72c063c646d421cce83ca75f448266","datavalue":{"value":{"amount":"+0.89804435","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":"Q4415138$DD5F3E05-22CA-4277-B4D5-24496BC40E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2017250a51c0e570699c6b43fd6edeebe2ed3c46","datavalue":{"value":{"amount":"+0.89573085","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":"Q4415138$7BA58F0A-27EC-4F8B-B1ED-4158185BE8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc616493ac9c0129409a3d4e064a7bf6f62e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":5469517,"id":"Q5469517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb77ca3c7fc22f1b51f85ff1e3b7b376568e098","datavalue":{"value":{"amount":"+0.89452076","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":"Q4415138$AAB108D4-32F9-4EC7-9040-1B49CF802BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de9230e193984f68b5a0812b6e79e0933c55bb","datavalue":{"value":{"entity-type":"item","numeric-id":453513,"id":"Q453513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5347504dea0202f9d91688b13387d39478108537","datavalue":{"value":{"amount":"+0.8942739","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":"Q4415138$42B5EBDF-B04F-4113-9F5C-6596FA3AC17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e658fa9fb0af4df6d72ddd7f084c7dd3c6b025c","datavalue":{"value":{"entity-type":"item","numeric-id":4824484,"id":"Q4824484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7d1a2ba064e1ce1662ea78c06630209cc88664","datavalue":{"value":{"amount":"+0.8930887","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":"Q4415138$5B00433F-BEF3-4390-B214-D6CC9E2DF8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288cc287f6e26459074d44a31767f5bd5b4e9458","datavalue":{"value":{"amount":"+0.8884038","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":"Q4415138$C109831E-260C-4C18-920E-40C030188E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a5a2758a5f507b2f0dcd4b7e59da0d7393d50b","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ba9126ca6240ebc38c810476b9f256c52f52e8","datavalue":{"value":{"amount":"+0.8881413","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":"Q4415138$B5C14EBC-ABC2-49BE-B710-941263096A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1cf971686a7a945b060610d34e6358f37746f9","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae42ab2ec14d62eb11e603ca7cebfbce7658d7e","datavalue":{"value":{"amount":"+0.88712883","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":"Q4415138$9E61B924-FD37-410E-B1D4-E7A520EA7E22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4415138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4415138"}}}}}