{"entities":{"Q3618853":{"pageid":5648759,"ns":120,"title":"Item:Q3618853","lastrevid":49701571,"modified":"2026-01-09T05:23:46Z","type":"item","id":"Q3618853","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5539366"}},"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":"Q3618853$6F4491E5-EC0A-48E4-B965-BD92B7E45C53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f5f32f50e76930ec98ca0f9e2eb9fa21ce0e393","datavalue":{"value":"1178.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618853$B263106F-C412-4681-8D0C-E7B7684D6E4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3618853$EEC059FA-6C5E-4C66-9534-EE3DEEB8A98B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618853$ED81306D-BFC4-40C3-8212-B402FB01C5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618853$1780D7BC-F708-4386-9BB7-6A857BB0E7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618853$E9923A5F-AF7E-4CFE-A49D-9A2497B0BECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618853$DB36B6FF-F1C5-4C12-8064-CABBC0EB9B3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a644dc0859fc37449bacd3d918f3ba0563a6dae8","datavalue":{"value":"5539366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618853$324EAC6E-1308-4323-AD70-59BE7B221912","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3618853$152A2708-ABCB-4553-BE90-723E3801B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3618853$60651094-AA05-424C-AE79-82EC4D352352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3618853$4EDC5416-B790-43B7-B6DA-BF46951C2FA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618853$D5564019-9D2C-45F8-B180-FD2C6D9830A1","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":"Q3618853$17590C78-A410-46A5-9938-C87B70F4D1D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e9bc12af77f729148531e73535cb6003772aa5","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0bc708520046c247b6468dcdf39bd2e448cd978","datavalue":{"value":{"amount":"+0.9163009","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":"Q3618853$C771974C-CD66-4A17-8FC5-F592CA167D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab43f2ae37318e013baee643a395be18b9c2596f","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74347fda342a405d4cfe85c69464c3511f16f2b","datavalue":{"value":{"amount":"+0.90513134","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":"Q3618853$D47B6B8A-B924-48F9-A981-45E6CACF5991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430c2e4ba5d48dd6379297c895898a248d488d53","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96b9d65405d278ef152db3b6b21aa7341e1686f","datavalue":{"value":{"amount":"+0.88605845","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":"Q3618853$C51214CF-A557-468D-B307-819111EF70BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2544998a6e23a306d22b6d457af576cfff1c107","datavalue":{"value":{"entity-type":"item","numeric-id":2771587,"id":"Q2771587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f7c35ecc2417ab57b1e77cfd64886eb9163784","datavalue":{"value":{"amount":"+0.88133675","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":"Q3618853$F0179F38-8BD0-459E-8877-18C20DFF6692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7267086bffd531da6035d97b629f90f19219044d","datavalue":{"value":{"entity-type":"item","numeric-id":2240968,"id":"Q2240968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d84aef3ddadc929687f054b7f12be872c566298","datavalue":{"value":{"amount":"+0.8810121","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":"Q3618853$4232FFEA-64C8-48E6-92A1-CCF1376C11AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0a60404f38e09c63d9a97199efc377584333fa","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfebf3fa56ab9deb06e113c11bceb7f038fe83e6","datavalue":{"value":{"amount":"+0.8801497","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":"Q3618853$470A4AF4-BAFD-416C-8697-3544B90DFCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d720730a8fae2b8792f298108e30ab5c7b44cf68","datavalue":{"value":{"entity-type":"item","numeric-id":3151326,"id":"Q3151326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2ae6fac9a7643e630bab60f56b3563f6c1c923","datavalue":{"value":{"amount":"+0.87710106","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":"Q3618853$1A54F1A8-8EBA-424F-966F-D0E2E6FA2B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad794995c343bf9d4cfa19d5f39074a097dceb9","datavalue":{"value":{"entity-type":"item","numeric-id":5948369,"id":"Q5948369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a4951f209a44a57d827f88104ca039be048509","datavalue":{"value":{"amount":"+0.87497985","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":"Q3618853$B6993AF2-F0C2-43F5-BC81-C0DD89458A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35af7d1a485a7297b5acc47a81b40d4aca5d2a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5960823,"id":"Q5960823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72119737f1cdc2b6ce9bf8895331ed72da07137","datavalue":{"value":{"amount":"+0.8672541","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":"Q3618853$CBAEC560-828A-4DD5-8655-AAACD32B53CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3618853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3618853"}}}}}