{"entities":{"Q3490991":{"pageid":5520891,"ns":120,"title":"Item:Q3490991","lastrevid":48615859,"modified":"2026-01-05T09:46:00Z","type":"item","id":"Q3490991","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164173"}},"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":"Q3490991$2940AD5B-689C-459A-A5E6-451C1BCCA7BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25b0ef0018219b023737aac6816b756db92f99d","datavalue":{"value":"0708.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$245B817F-58E2-4C05-B565-AF120D9D1800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3490991$F3D45392-A8B9-4585-A632-C77A640F1C6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$1A76B057-5510-4F73-8057-6CAFCBD33474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$00AA181A-9C0F-4CFE-8CF2-66F4574D8F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"126efefcabf20e4acf2d052977ef5eeb70e3badc","datavalue":{"value":"51N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$6576909F-2E44-4A20-AB39-E0928F668DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$7FEFB80D-C715-459B-9DCB-86F791F7CD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$6EED3B51-DB5F-42D5-9F7F-41B86450CB17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3895b6763000b4b29590a82895ea614055bc858a","datavalue":{"value":"4164173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490991$55B66D8E-A551-4721-99FB-6BF4C803A0D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490991$BB53703C-AA59-42E2-8A45-AD6790F4B48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490991$5177A0F1-69A8-4549-A249-94289704917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490991$CDE8E9A3-0FD9-4F2A-BC52-3B567426E0BB","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":"Q3490991$063879DD-E283-4500-847F-8607762224B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9c1ea68d0bc3fd5781a58395331c016fbee2e4","datavalue":{"value":{"entity-type":"item","numeric-id":6488532,"id":"Q6488532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q3490991$79BF02AF-9215-4E0D-966D-FADFBDC46919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb405d1b4c8caad47f3e50a43fc27fa01b73dfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1118424,"id":"Q1118424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84602d875b4bbc21e59c9745fe638db20ba16a7","datavalue":{"value":{"amount":"+0.939138","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":"Q3490991$2A42AE1B-C592-41EA-8CED-6EABFB39AF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cd7af0a853ae87cd5dcf357dc54ed5f2e9bf30","datavalue":{"value":{"entity-type":"item","numeric-id":4295431,"id":"Q4295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9366d476b862ee8e24fac951df64d4e9667391","datavalue":{"value":{"amount":"+0.8968864","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":"Q3490991$07683450-7AAB-4599-82F1-319154959CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d77a7fae2b7b8a68a65a63a4f2b24286f72037","datavalue":{"value":{"entity-type":"item","numeric-id":2327518,"id":"Q2327518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744e5d2d0d7e70dd073e37f5dc0ea41690bdfb8e","datavalue":{"value":{"amount":"+0.8958985","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":"Q3490991$BDF96813-3ABD-4F0E-9AAB-2C316C43144B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b01bafaca53f2a6311f436ba6820a7b80f28b96","datavalue":{"value":{"entity-type":"item","numeric-id":3700871,"id":"Q3700871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a990aca2e9ed318f0121dcdd3bb291c5906da12","datavalue":{"value":{"amount":"+0.89055413","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":"Q3490991$90AFA315-92C1-4C0B-9520-A3EC7F532309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df24e63d73f477c3c7393b7af3d375e7a9800c4d","datavalue":{"value":{"entity-type":"item","numeric-id":3802881,"id":"Q3802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac26616e4308a608a51b77611765ed301645a252","datavalue":{"value":{"amount":"+0.8856341","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":"Q3490991$B2376FE0-69A9-4ED8-8F5A-BCBBF69C2EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0887732a82eb13ce3dd57766a50c37fb09b742","datavalue":{"value":{"entity-type":"item","numeric-id":1924743,"id":"Q1924743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b651e65af17191425967b9f46c5dd7ba37dfc2","datavalue":{"value":{"amount":"+0.8816956","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":"Q3490991$848CBFB3-C1EF-422A-B71D-3AC3F3F8F2CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3490991"}}}}}