{"entities":{"Q5307050":{"pageid":7336624,"ns":120,"title":"Item:Q5307050","lastrevid":41893536,"modified":"2025-05-09T12:10:16Z","type":"item","id":"Q5307050","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195142"}},"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":"Q5307050$30266887-C1DC-4DF4-9DD8-4C11C958CE39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307050$E185D570-4733-4E1C-AEDC-6457C49E99EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92ecebb32d6e53b368dea0903e3c0b11ba091126","datavalue":{"value":"1126.68582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307050$6C24FB6A-F187-410B-B203-69B905ECA088","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$A724A195-648C-4C3E-9F42-353461EB1E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$7737AADA-3F53-4E92-A2D6-8D01AB372545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$22DD2C7E-E972-4AFE-B0AE-AFD1AF918BC6","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":"Q5307050$FA5C1794-613B-4293-AADD-B292027AE37E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1fa8a744de31aab5e0066db3d2fb556fbdf6da","datavalue":{"value":{"time":"+2007-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5307050$71FDC2A1-E179-4BB0-B6C0-8CC70BC60104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307050$95554EFD-A5D4-4B00-975F-37ED836FC5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307050$1AC535D5-EC08-4A4B-A109-2EF19ADB00D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da50b9e8ec34c12237224d104a27c98973bb4e97","datavalue":{"value":"5195142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307050$6D270A1A-3110-4ABF-A47D-0E0CB1CFF427","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6aa9fd56093cfb020406fbde474e52d3eaa56029","datavalue":{"value":{"entity-type":"item","numeric-id":22088,"id":"Q22088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$BBA9D80E-FF8B-4EAD-9DFD-F8E740057AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$63BF184C-71F4-4B15-AE61-584864DFF54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c326307158b5645c1325f44a8655bebc65c0dee","datavalue":{"value":{"entity-type":"item","numeric-id":22033,"id":"Q22033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$CC21FEA5-574A-4270-8753-C16A42AC9B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680c244b02c0203bda666c4a12f1fe54854dd0a1","datavalue":{"value":{"entity-type":"item","numeric-id":22085,"id":"Q22085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307050$1988963C-3E19-43E2-8A86-ED196F484C01","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":"Q5307050$4DAA214B-95CD-4ECA-ADBF-5A6C3CF56C18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da687b8d72dd2f5ab38e00c50bffc670fa7530e6","datavalue":{"value":"https://doi.org/10.1007/b98691","type":"string"},"datatype":"url"},"type":"statement","id":"Q5307050$E1E169B5-9310-4607-AAA1-E19E242F360C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307050$383B7B76-3B70-4F2F-87CC-42F5E3C16C86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307050$E2EED8C8-71EA-4378-BF6A-9770626BDA8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30b8756afc6d30817f957d8862375e1c09b431d","datavalue":{"value":{"amount":"+0.9519779","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":"Q5307050$F1AEB86C-1D5B-4E6B-B07E-FB2E00EDCB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20efe89d20e675dc45427aaddb215d18b113b756","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6725cadb3ab6f903cb0727b16ef5896500df22e","datavalue":{"value":{"amount":"+0.9105642","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":"Q5307050$FC30ECC8-3FDE-4898-9244-4F6BF6595BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8913ebb0a3c91f549c40ab7c824e5e4dcf413c","datavalue":{"value":{"entity-type":"item","numeric-id":4933276,"id":"Q4933276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280e3e9c79d120060e2b3184295275198d444ca9","datavalue":{"value":{"amount":"+0.9025786","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":"Q5307050$760162C3-7EA3-49F1-B0B5-069CD94E58EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9128912dc68fb41d9eccf562a42cffbfb9de60c7","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d09d4622d0c6dc9b4ec14b6edf2208f545d1809","datavalue":{"value":{"amount":"+0.90170324","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":"Q5307050$034C734A-B4A6-4986-BB84-91ED20BEB6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f274cc87b8ec45bb7822d108aff351eb2e3d49","datavalue":{"value":{"amount":"+0.90006226","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":"Q5307050$57F2FA96-09E7-4353-945C-F00773A6B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f5970ed80505f70f7584058987ce68cc1abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae3ca58377095c55d7c1b1779dc093a0e240312","datavalue":{"value":{"amount":"+0.89556384","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":"Q5307050$8D24EB7B-8EC8-4DB4-BD8E-960D9CD68CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e63e737fb9c9a2a508e3809bb7977e2af01b58","datavalue":{"value":{"entity-type":"item","numeric-id":3172889,"id":"Q3172889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa48e0c976943805f9615ba0549355f885c0f9d","datavalue":{"value":{"amount":"+0.88776493","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":"Q5307050$704DB864-FBE4-48C3-A3FB-8FCB872D8614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235bae3eeee0b7a5b5b9ee7c7e5b0f4fdafdab4a","datavalue":{"value":{"entity-type":"item","numeric-id":5089009,"id":"Q5089009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c2086544deaa827de6c65a6f73c503ea8eccd1","datavalue":{"value":{"amount":"+0.88368225","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":"Q5307050$5F8832AA-84FB-4C5E-B55B-7896C29C7BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a95a7710115b024d14d35acf26f7b5312e34bc","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f65dff0e9c60b085a974597a09598086e93b520","datavalue":{"value":{"amount":"+0.88037145","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":"Q5307050$A13E862B-BB7C-47F8-A5F0-326A5DCB9FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9e6eac3c48ab2bc3460d70885994e889af819f","datavalue":{"value":{"entity-type":"item","numeric-id":4878774,"id":"Q4878774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e901ddbe1d001a870a0858d6e5c9779259a26c7","datavalue":{"value":{"amount":"+0.8799119","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":"Q5307050$FE7E2902-EDBA-4F73-9C9C-94990D9085F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307050"}}}}}