{"entities":{"Q4489486":{"pageid":6519085,"ns":120,"title":"Item:Q4489486","lastrevid":41211268,"modified":"2025-04-19T17:55:37Z","type":"item","id":"Q4489486","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1474909"}},"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":"Q4489486$ADE5C627-267D-42DF-845B-83E7C9F1BAE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d194d22969c787842b2c885f4ca5fcace1afcf23","datavalue":{"value":"0949.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489486$48B93238-B2FF-4BDF-97A6-829B89B59965","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bb3cc069569633ff9e37f0261555fc8083dc4d4","datavalue":{"value":{"time":"+2000-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4489486$6854B181-433B-4FDB-994D-AA67D1300D0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489486$1A686915-80A4-4E32-95AB-7BB123B399CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489486$11F5B57C-FB0A-4CBF-A8C2-9D042BE1D220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d566f9394989e6a40c7cb93492f2f8dae3ff3fca","datavalue":{"value":"1474909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489486$A5ADF785-F0E0-4874-B04C-BDF73BC2203D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489486$9FEE8DE0-29EC-44FF-B9B8-B2A02E70DB56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7630c5c8dac95771630a83ce3b6a7999cac0c84e","datavalue":{"value":{"entity-type":"item","numeric-id":1942198,"id":"Q1942198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4489486$808CEC6C-0313-452B-B59B-F714D0FAEA39","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":"Q4489486$59557E34-8584-4A12-B552-A85F470F297C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d08cc44ffeea241be1d804c05939abb9a2c76c","datavalue":{"value":{"entity-type":"item","numeric-id":3571252,"id":"Q3571252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644a85602ebb9537cd64f048d04c9b4ed722bace","datavalue":{"value":{"amount":"+0.8438678","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":"Q4489486$71455111-B303-43AB-B535-FDF832C6F4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b0a0b80f4e13eb4388eb05880fdea99f512d9","datavalue":{"value":{"entity-type":"item","numeric-id":4874804,"id":"Q4874804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b55f2a4bd391b512576f43aa4e8d2bb50182117","datavalue":{"value":{"amount":"+0.8390386","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":"Q4489486$30B6313A-264A-4514-99EA-391F132AAEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a83f1fb6cf315af3b6b3519318c1b1ff7851eeb","datavalue":{"value":{"amount":"+0.8385616","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":"Q4489486$907580B4-8C65-4E3F-9F7F-79D9D6937166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989264f169f2ea7a699a14c6b030749a99d9cbd8","datavalue":{"value":{"amount":"+0.8369813","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":"Q4489486$4FD5551B-51CB-4AB9-83E3-8AC5B8C5D6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7613fc4961d5ce4196a4db2fe6bebb25258e910","datavalue":{"value":{"entity-type":"item","numeric-id":4548193,"id":"Q4548193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715d258e894b74590fac9c67e142ea6605a94462","datavalue":{"value":{"amount":"+0.8315391","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":"Q4489486$1FD48575-23C4-4439-94EF-489BEE2B2F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0db81afa1231f98253d122649a59a93379c2247","datavalue":{"value":{"entity-type":"item","numeric-id":1306168,"id":"Q1306168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715d258e894b74590fac9c67e142ea6605a94462","datavalue":{"value":{"amount":"+0.8315391","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":"Q4489486$C88D9304-3EC7-4DFA-9F1B-6606BFE3F794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a5dc7e2a40afbea7ab60e8677820b20926ba87","datavalue":{"value":{"entity-type":"item","numeric-id":1915133,"id":"Q1915133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35bd8a016f953ecad7ad1e467a683ad88ccad23","datavalue":{"value":{"amount":"+0.83032197","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":"Q4489486$BAFAC00E-DB0F-4F7F-AA08-334EB485346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e4b3aa20f4bf4d5c984598192d5b405202fa1d","datavalue":{"value":{"amount":"+0.8299284","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":"Q4489486$49E571D6-1979-419A-9922-9D670BDB85ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73322a9e20f0e0c6551ec95d8ccefbf9cfbfe958","datavalue":{"value":{"entity-type":"item","numeric-id":4023450,"id":"Q4023450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ac8f00ff748fd88255d3c3181f43dc384907bf","datavalue":{"value":{"amount":"+0.82823277","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":"Q4489486$C5E2B01E-1CB9-405F-AF04-743FB74F838E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4489486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4489486"}}}}}