{"entities":{"Q3790633":{"pageid":5820539,"ns":120,"title":"Item:Q3790633","lastrevid":52810667,"modified":"2026-01-23T13:34:08Z","type":"item","id":"Q3790633","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055021"}},"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":"Q3790633$9BCB1A03-E5EB-42A5-BBA6-2EDE15DB081D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e439b61e9ed60805141183b949316682d9ec35","datavalue":{"value":"0646.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$0A8D6DFB-25DB-4814-9D16-EEBDE821467E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3790633$04AAFA23-E268-4961-A3E6-5A4352A75D20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$25476532-FBAD-4739-9223-D0D6DE6424C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$8F10592B-27C5-4458-A6D6-72EC4A7B96B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$F695B4E4-249F-43F6-9CC5-D6D4CA9BFE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$7C6397D2-9350-4D84-A4E5-5B088E2743CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$C12BEF99-2B1F-4C2B-BBE6-3B213836A2EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a923f319b5a0f992690b837f11b40ed9376c09","datavalue":{"value":"4055021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790633$38AF3CFE-F021-4B32-A9C1-990ADFD10851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790633$FBDE387C-7CB2-4F72-BF44-AE8FAF2A8520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790633$F95A26D2-5DFC-4DF6-B880-3B82708C62A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790633$2704007A-345C-4210-B35E-8246DC1429A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790633$D458027B-7999-41C4-B090-BEDA93A20720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28280276e396f5b3385c09f433cb44fbc335fe4a","datavalue":{"value":"theory of lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790633$26898BC4-619C-485B-B410-8675F13DFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790633$401B183C-0BE8-456B-B8E7-E3719D3758D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790633$E44088E7-232C-45DD-8D6C-08F248070C90","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":"Q3790633$CBEF112D-C878-43F8-A1BA-8C536CFF33B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f613b28081fb16e5a729e7f4cb448c4254cc85db","datavalue":{"value":{"entity-type":"item","numeric-id":3794155,"id":"Q3794155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a38b86297d6dadffb346ad685bdaa3f0c50fe6f","datavalue":{"value":{"amount":"+0.7755874395370483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3790633$33216B87-F908-4B00-9E49-9484D174E8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288c037fbab269c08a4d0966615517268dd10f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3379809,"id":"Q3379809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311b2ae2843ff2bdcf95e064a0e789abadce8ca8","datavalue":{"value":{"amount":"+0.753104031085968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3790633$E57AD2F1-AC59-46C3-A4D9-842EEFC93B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d365333d89018f233f9997d8731c15d9714a64f","datavalue":{"value":{"entity-type":"item","numeric-id":2630569,"id":"Q2630569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83f4ae0e3b9fcdb733c0f8c6c5b3fd4833450af","datavalue":{"value":{"amount":"+0.7473157048225403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3790633$71E12047-2102-4408-9E1E-8C8CE10EAAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd3b3dd70ad44e12ba3c41e7180d7f4832fdc45","datavalue":{"value":{"entity-type":"item","numeric-id":3802601,"id":"Q3802601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e252166b0c2e780408d016bf26121d85ac1f43f","datavalue":{"value":{"amount":"+0.7330061197280884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3790633$8A00FD5B-32CA-4ABA-8D93-013F4A57A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdb915b5f8512b5a0e6abe7becfb2deb3a272c8","datavalue":{"value":{"entity-type":"item","numeric-id":3468603,"id":"Q3468603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81c7f9bb4b3905ae1396433566e8dbc1714b536","datavalue":{"value":{"amount":"+0.7319765090942383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3790633$62DBBCB3-9F9E-42DB-98E6-0CC9F031917C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3790633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3790633"}}}}}