{"entities":{"Q5308850":{"pageid":7338424,"ns":120,"title":"Item:Q5308850","lastrevid":41755642,"modified":"2025-05-08T00:17:18Z","type":"item","id":"Q5308850","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5198305"}},"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":"Q5308850$74621385-DFC1-45C2-8D4C-047DFC82382E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"410a54c0c252604246eb8eb6e5ed8e66307f2030","datavalue":{"value":"1119.03333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308850$1E6B4B15-BC9C-41EB-9323-C00F91D1470A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd065be93133bb19768ab070e3b202d1da8bdc9c","datavalue":{"value":{"entity-type":"item","numeric-id":2997573,"id":"Q2997573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308850$03F973FD-56DD-41D6-9972-73734E425D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aeb6347602a6d4199b37741e199235fee3806ce","datavalue":{"value":{"entity-type":"item","numeric-id":3446184,"id":"Q3446184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308850$E623FE17-27C8-4717-BEB0-2DBF11FE00A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"780d8a9daa7b871a80154f97ba5f7ec86b8b8783","datavalue":{"value":{"time":"+2007-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308850$F775230A-773D-4E47-A4EB-17D2C062865D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308850$5ED605C8-BD93-4558-B962-F438E8F39CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308850$F1D52918-6CDF-4348-8450-681D47BDCA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308850$FFB53219-E292-4EBD-9D47-E9FCE6F33BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308850$0578E546-BE71-4A48-B302-38A3C6346E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3568aa99fca4d919d1e042589492d4f234022d8c","datavalue":{"value":"5198305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308850$D412B50B-427C-4C54-A899-512BAADF198E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308850$DB6DD609-F3DE-4170-A41C-14102AF0567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e854c5faeb59a78ce9a8e88a9ff0abfcbb42d5eb","datavalue":{"value":"default logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308850$A353D9F7-65A0-4E04-A48F-159B0DFF380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308850$30C50028-6563-4679-9D24-08204CB1DF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308850$E9458EE6-F15A-496E-BA2D-CB12BDBBB392","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":"Q5308850$FB5DDE23-CD77-4EFD-A882-1C1C09E6382F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5734a02da8b95995e48ba33dc5dca9a70e231fab","datavalue":{"value":{"entity-type":"item","numeric-id":4943322,"id":"Q4943322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bded54a32c8675b1a6b32b53f9cd2f50d274ec61","datavalue":{"value":{"amount":"+0.84528035","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":"Q5308850$70616127-1642-4EFD-B600-B25390F23342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbf46fae11de5816f779b228d892707da2ca346","datavalue":{"value":{"entity-type":"item","numeric-id":3639567,"id":"Q3639567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9773deeeae5dd7f3b824c1cd971f6edbe8ccde2","datavalue":{"value":{"amount":"+0.8416539","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":"Q5308850$18DA8716-C919-423C-A5DB-7EB1B64B02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dddbefd291a6bb20d4921a2263b813d445e666d","datavalue":{"value":{"entity-type":"item","numeric-id":5959353,"id":"Q5959353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae95432a90a1076e3c5e547de98c313b1962fdc","datavalue":{"value":{"amount":"+0.8361767","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":"Q5308850$4769632E-A62B-4395-8FEF-D9722EBB8AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c71158a50d85bb879c2256732c85fd371a1cd11","datavalue":{"value":{"entity-type":"item","numeric-id":4919613,"id":"Q4919613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264cb47b9c068a4c15486c796c7eaf64f4962454","datavalue":{"value":{"amount":"+0.8244519","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":"Q5308850$2AD73696-092C-4E81-8AC3-CA3EEB155625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e785a970277aaabe8241dff344ec6e3951785f54","datavalue":{"value":{"entity-type":"item","numeric-id":1312967,"id":"Q1312967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1d6bce4ac85466974d37bee384d540281840bc","datavalue":{"value":{"amount":"+0.81651884","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":"Q5308850$75D7F839-0607-4147-9D2C-74846EE6D14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ded331b10b6dc67ac99f2ca9ebc9da5c24ebaec","datavalue":{"value":{"entity-type":"item","numeric-id":5483689,"id":"Q5483689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e88143f4bc10f2a06e1d006d7613dffb5ed155","datavalue":{"value":{"amount":"+0.8104379","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":"Q5308850$E63A40BD-DC34-4753-8BAE-604BCE492B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf64ca1e34fd7179be6e1b46170f056120754963","datavalue":{"value":{"entity-type":"item","numeric-id":2816962,"id":"Q2816962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb9e79ddb2259c5f8f76ca4449bfe9b18c1a06d","datavalue":{"value":{"amount":"+0.8104216","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":"Q5308850$21A49497-A208-4096-A83D-D6C0C78D0ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34e23f26bc44b23f402baadf20896d8d2d60d41","datavalue":{"value":{"entity-type":"item","numeric-id":5309437,"id":"Q5309437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c58a11e922777c43b21bd1641845a0a389d185","datavalue":{"value":{"amount":"+0.8086399","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":"Q5308850$2B94B85D-5D80-4A6F-9D81-462BEE43D38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e8a9fb50181cb49c6c2f3f306c96c26cc3ccb1","datavalue":{"value":{"entity-type":"item","numeric-id":1333271,"id":"Q1333271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bd634221af7d1ed6e1daa477f171c3fb5d9a88","datavalue":{"value":{"amount":"+0.8080401","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":"Q5308850$D321D311-FE83-4224-8EC8-94B1D0C9B2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8a79bac9efcb83361b4abd3823a0099ed75dea","datavalue":{"value":{"entity-type":"item","numeric-id":5958391,"id":"Q5958391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f595d58ed18a01ae61e2dc2a7236015cec0026f8","datavalue":{"value":{"amount":"+0.805164","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":"Q5308850$0A4FE362-CBAA-40AE-8EF8-DD4F835DB740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308850"}}}}}