{"entities":{"Q1671249":{"pageid":1681990,"ns":120,"title":"Item:Q1671249","lastrevid":68226543,"modified":"2026-04-12T22:16:27Z","type":"item","id":"Q1671249","labels":{"en":{"language":"en","value":"Descending chains and narrowing on template abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6933431"}},"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":"Q1671249$40A58EA0-3D78-418B-9C8F-80EFE067AAB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6980a43d3ac5b98c1296fcc3a1037ee6e9722169","datavalue":{"value":{"text":"Descending chains and narrowing on template abstract domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1671249$7B86D65A-3786-4262-9AC4-1BFB71BDC979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d8731461e071fd8a73baf0463ec877b5d1eeaf","datavalue":{"value":"1398.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671249$EE8F098D-EE0E-4184-9428-AB232E2B33FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$FF8E009F-BF50-4585-BA74-A5D012BB094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d214225eb3391fefedf86dd3a9f69785fc49bf","datavalue":{"value":{"entity-type":"item","numeric-id":1671248,"id":"Q1671248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$FF5DCD09-763B-4F54-BC01-AEE4FEAD1A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$3C9BD6DE-23BF-4DBA-B5FE-F6AD11BC5F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2e86a415f1d5bcb22ada61dbde8bf5253a38e9","datavalue":{"value":{"entity-type":"item","numeric-id":281281,"id":"Q281281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$16BEE857-0B82-4550-83FD-2C7ED8D2C1AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$8A1B6EF1-8A27-444A-ADE6-327F067DD5B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1671249$13C3DB15-B901-4FF2-8AFC-40CEDD6B7970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671249$75345C69-EBE8-4BCD-9999-D9F49F08C435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671249$7AB5E21B-BE55-4CC1-B5E9-BCA1945DCE96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5384c18ed696df9bf230d6261efda0e715f4ba62","datavalue":{"value":"6933431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671249$E58DC9F1-82E0-4014-B9EB-CA4ECD06BE50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$DF781ECD-DCD6-4156-A5F0-9E4F698C42B9","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":"Q1671249$D8E6DA76-7AED-4787-8F36-C740C25794F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a575729d4eebc7b78223b46d6e3af604b8da89f4","datavalue":{"value":"https://doi.org/10.1007/s00236-016-0291-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1671249$6F9F893F-326C-4A02-91DB-69118116D9AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac0dce3cdc510f14b0d4519b15ec0a62cf0d74e5","datavalue":{"value":"W2570469621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671249$6F870F86-3B79-4BE6-8160-7D817A81D379","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$C2F39604-42D5-433F-B870-F0D074AD180A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2458dcfc6cc0107e595f833ce5540b9a9ddc3927","datavalue":{"value":{"entity-type":"item","numeric-id":1671249,"id":"Q1671249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$CCC85296-DA91-4C35-AD0A-8169FCE3C2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2031e0dd554a9098cb1f93e676fc7f2e26de3eb","datavalue":{"value":{"entity-type":"item","numeric-id":435979,"id":"Q435979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$AA1E978C-0937-41AC-8B15-482F8C2EB5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2104b78a17a59de01aec76965c03dc05ea4695","datavalue":{"value":{"entity-type":"item","numeric-id":5170166,"id":"Q5170166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$75D9D8A8-9DE3-4A32-88EF-D2AC2D2D897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$B50C8353-3347-491D-9F9D-40C4CC85509C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$AF58F6AA-5C63-4604-8DB5-0BBB86EB1237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$232FDA39-BE85-4AA6-A64C-0B7AA20CCCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$1E5613E6-CE4F-4AFB-9AA0-8CC200A8BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cfe3b67abb1e3ad466f485beac0506dcbbdef","datavalue":{"value":{"entity-type":"item","numeric-id":3166219,"id":"Q3166219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$5740C22B-32AB-4157-B5F9-E11446B727D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39da4a57272edb02d6053b5209e8619838564d","datavalue":{"value":{"entity-type":"item","numeric-id":3613383,"id":"Q3613383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$5D2A73D5-4A8F-4178-8CF9-B1C66F1FC191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$750C1DC8-EF2C-4B50-A73C-6ED7D785A159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$72E8E4CC-2662-434B-9BBF-54F3403E1CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671249$B882810E-5192-4347-BD6C-64DA4E19FC84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c517e37bc991de5bc9b16d8f5de9fcf44f2bcf66","datavalue":{"value":"10.1007/S00236-016-0291-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671249$2745EB3A-C55D-4451-957A-66B6BC541B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee105401400142bcae3e50107da65003fb72bed8","datavalue":{"value":{"entity-type":"item","numeric-id":5206948,"id":"Q5206948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81876bbf5b0d98c0dc9ae3fbff5cbf108831965","datavalue":{"value":{"amount":"+0.9414047598838806","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":"Q1671249$5C6107C8-AA92-47FD-9EFB-A003E522E334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74745d0c46233302635acd3011c8e0b856117101","datavalue":{"value":{"amount":"+0.7537892460823059","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":"Q1671249$2E9473B7-D398-471C-A738-B1537AC79D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed887b53ed329f46ca41b85d1c7fb0cc31c67ee","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0f8201e6f08f88d7a5cf2e7e1225fc6da713b6","datavalue":{"value":{"amount":"+0.753063976764679","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":"Q1671249$76282DB8-E7CB-49C8-870C-0DF2512AC99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68799fe231634b866ca64dda65083a0d7aaa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aff1ce07fe381a4e077809feeb86ef30d7517fb","datavalue":{"value":{"amount":"+0.7402657270431519","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":"Q1671249$C1DD382E-0592-4E7C-9DD9-2217373B9650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838c0e2747b4300ec1274f993ecae31ab0cf4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f440d308494e505f34d7cb37c9800c887644303","datavalue":{"value":{"amount":"+0.7314789891242981","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":"Q1671249$4104D1A1-9C9C-40A9-BD85-3ECC031A52B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descending chains and narrowing on template abstract domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Descending_chains_and_narrowing_on_template_abstract_domains"}}}}}