{"entities":{"Q2891398":{"pageid":2902123,"ns":120,"title":"Item:Q2891398","lastrevid":51491315,"modified":"2026-01-18T11:59:18Z","type":"item","id":"Q2891398","labels":{"en":{"language":"en","value":"Abstract domains for automated reasoning about list-manipulating programs with infinite data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046567"}},"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":"Q2891398$269218B2-5ED6-4FA0-87F8-2AADEEA6B492","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eee0666840c63ddf6c9a0a374beafb531b3a2be","datavalue":{"value":{"text":"Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891398$4CA3C289-2F45-45FA-8D9B-E1748509A004","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9fab5a9391b1fc9bf8bca15b836f9a73645c4d8","datavalue":{"value":"1325.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$801B8160-75D0-4FCA-A0B1-C28B6AA11BD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ca28cf820a7b40e133f26bd791c1517b7ee6dc7","datavalue":{"value":"10.1007/978-3-642-27940-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$22FB1605-69E4-4C3B-BE5C-B65ADA1606DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$22F7EDAB-82C8-447A-9041-F6BC36970D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b348443563013712cd0868bb8f333db39958301f","datavalue":{"value":{"entity-type":"item","numeric-id":2828284,"id":"Q2828284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$0416A20A-C87A-4705-A9F9-1569D5E1E182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$30C66A7F-4D04-4778-BB76-7E5598C062D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$EDE224AA-7511-464A-9E2E-4C88AAC299C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$F7325D34-21CB-4E36-8968-51F676C46CB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891398$C9078841-8FDA-4B5E-A555-69EB059AAD16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$ED40F3A8-EAFA-439E-97AA-E18CE67C003C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$19970AFE-AD86-4EC8-9979-3DD78CB6FDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$1DA99B20-BD6C-431D-88BA-6BD5AEFD4CB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1cfce0f5533d401a8dffb333b64f566eea8b5a1","datavalue":{"value":"6046567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$39CB5FFF-C899-4E08-A0D5-A5611ED3FA49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$3D3A0345-3C13-4019-98C0-026622C0E0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$D03D6331-CACD-4839-8520-6EB8496D332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$B51FA5F0-1002-4408-B552-910BCB6D1A2D","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":"Q2891398$FD92F0E9-DD08-4388-9A4E-F73FD53848A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"037b08420378ff968a4fbf2f110e791b8e1aa0c6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891398$E8A597DF-390F-4E19-AC5A-BE2FF7182ED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5154c914e1396b98e656eb9f5cd6545ef573086b","datavalue":{"value":"W1954117780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891398$51529212-06ED-4ACD-AAD2-48E3DC5140D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$FAA215BB-8398-46F8-8E75-CC9B623DF865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$FF3D4AE4-BC57-482A-90A1-65ABE4F9D7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$0DACA70C-F176-4FCF-8F0E-3BC9A459FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed3955ec9359be5a50e26c84885e35d6f9d9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$E2AD874A-03FE-4459-84EB-E311E111B968","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":"Q2891398$17249C5B-5E21-4313-9009-86112DFC286F","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":"Q2891398$B9DB6D52-D6BC-40DA-8B1A-5E6673C6D331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$0ED50C8E-2F1F-470D-82F8-E9CDE779A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d0561d6adf9d7c6eabaf6de644e8ad9f5983d","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$0CD363CB-CF36-4F25-9A4C-B3BB11F6CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916bfff73ab672f1043621ca668f716c2d60da90","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$EAC7494B-A972-4364-B1E1-A49265ACE82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$60DFA7DE-5D08-460E-A11F-521EA4A8DCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$1657D58B-2DB9-401A-B38D-B5ECAAB0D7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f391ca1b0ab10a4447e2ee2a1dacafeb5a3899","datavalue":{"value":{"entity-type":"item","numeric-id":4930717,"id":"Q4930717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$A16AF406-CE5D-482D-82C5-4306A5054331","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":"Q2891398$9F8FA9F3-435D-4E46-996C-89691555F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c98f77297c32fbaa65e1fd90ab7b5d0215c0e718","datavalue":{"value":{"entity-type":"item","numeric-id":3656889,"id":"Q3656889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$AD8E4A20-11C2-4DFB-9E3E-89C33CBE095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911eaa0bccad8b17d2996fe857c127dd4e89f404","datavalue":{"value":{"entity-type":"item","numeric-id":5897437,"id":"Q5897437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$34B96E7F-22D4-491C-98CA-B683E8E383DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471db0983b0adc861100e91b592763bea7bdd49d","datavalue":{"value":{"entity-type":"item","numeric-id":5255078,"id":"Q5255078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$FB57ACB3-B8B4-43F5-BFDE-A9651357A6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cde0e5bddced17473d8bcfdb6540e645282378","datavalue":{"value":{"entity-type":"item","numeric-id":5276154,"id":"Q5276154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$9D9360C4-B179-487A-B1BA-64AA399A917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2671b8bda8f70b76f85026bd5a523e2e1333e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5897438,"id":"Q5897438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$56B12653-A406-4414-A182-D56E21784221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9ace7c18df75b17230edfc0fb7a4af406412e0","datavalue":{"value":{"entity-type":"item","numeric-id":5408542,"id":"Q5408542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$9F48FA95-D93B-4A3C-A0F0-00721D716EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde518f36cd1a2d96b392e6bea5c17fc82bad026","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891398$3AF0EFD2-2D09-4C54-8699-1F1E270C0787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe99c3155a8cd8b31eed3f7929cf83e502990f77","datavalue":{"value":{"entity-type":"item","numeric-id":4649295,"id":"Q4649295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d93e64bb9aa0b77e513a15087278b0fb6d2eea","datavalue":{"value":{"amount":"+0.8134050369262695","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":"Q2891398$E9393679-73A8-4E43-B6E5-802A38BE1A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0dbb3f9da6f8e967e3c8716ee26d8e2be4ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607f7ee34eb94bede1a5c8181403a812828acfcc","datavalue":{"value":{"amount":"+0.7692978382110596","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":"Q2891398$C7DA4C56-62BC-45B4-848A-99BB253F96DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b8187d92d16a347cf658f11507e25fa7229462","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3a01b41aa6f38d945f1fade92e84e3c1bd1cf1","datavalue":{"value":{"amount":"+0.7551912069320679","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":"Q2891398$4F6C94B0-78C9-43B3-88FF-2478A7674687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c5b5b86faf34d475d2396b372d06011db22d431","datavalue":{"value":{"entity-type":"item","numeric-id":537953,"id":"Q537953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9013982c804621b1830fcc18c405008ce0c0571","datavalue":{"value":{"amount":"+0.7535389065742493","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":"Q2891398$70DEA810-3400-49BA-AC6D-97798E9E1231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246bf7daa41b874a61be5d2dc7fb40368398be8a","datavalue":{"value":{"entity-type":"item","numeric-id":5429331,"id":"Q5429331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b290526c93f8d88553e02bd03bdec6754d82520","datavalue":{"value":{"amount":"+0.7421464920043945","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":"Q2891398$771E0B99-CCCD-48D1-BA60-1F5445F10757","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891398"}}}}}