{"entities":{"Q5191090":{"pageid":7220662,"ns":120,"title":"Item:Q5191090","lastrevid":58479582,"modified":"2026-04-05T09:52:38Z","type":"item","id":"Q5191090","labels":{"en":{"language":"en","value":"Structural Abstract Interpretation: A Formal Study Using Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587921"}},"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":"Q5191090$933B43E1-4057-47AF-B224-815A46091D81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89d910811880644a22aa13132dc7c58084fabcfd","datavalue":{"value":{"text":"Structural Abstract Interpretation: A Formal Study Using Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191090$1E7BA183-70E3-4AE6-A976-608AFD4EF461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3661960ea9ee965b1413e25c73721be1dcb11865","datavalue":{"value":"1250.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191090$A856920D-FEC0-4D9D-AE7D-967FAE776267","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a13c5aa1724027d0b55796f55761e21a0d1d4791","datavalue":{"value":"10.1007/978-3-642-03153-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191090$277DE67C-C8FC-4BC7-B41B-E40A45CD055A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$1A2EF7BB-6AF8-48BF-A66E-7CB1CDBA868D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bea2f664d75d2e6807698534326438b961f03d7f","datavalue":{"value":{"entity-type":"item","numeric-id":5191086,"id":"Q5191086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$8CFABC80-8CF3-4122-9A79-DA5C0844D46E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191090$0113D81B-9D9B-4E9B-85C0-3CBA171CB274","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d3c87bf76d3bfe63a2ee5c7bcc70e5d261cb634","datavalue":{"value":"https://arxiv.org/abs/0810.2179","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191090$E67BB88E-04F2-4422-9BB6-02C7BA4F1385","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191090$DFC5B57B-7851-49F9-B477-CA24AF2A922A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191090$9D713E68-7412-4EB5-9C9E-180BF8A4B0B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f92b5c7de97783e2f56361ed8e09fc0e6fe8911","datavalue":{"value":"5587921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191090$EAD5E19C-C513-47A4-8D0A-FE8AA7FEB2B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$07FA5C57-4380-4EEC-AE80-CD162ACF7496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$E61199AA-2236-4D88-9A3F-1F46B23E8648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$9701F75A-99C9-4E8E-9441-D9ADAEBBC611","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":"Q5191090$A09316B8-EC3D-487D-86D3-0ECAD786E114","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1872090fc0af403f16305be04f1db96b2ae3bd86","datavalue":{"value":"W1784968340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191090$F46B83BB-7E07-4BC6-963B-B48FEEA121A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$0EE8D3EE-7C54-442D-B9B9-B1296280488F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2a40fdf6c97e1e767554f5d6615027ffcc1293","datavalue":{"value":{"entity-type":"item","numeric-id":3400636,"id":"Q3400636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$28843412-7B60-4A52-9E05-B6CDB53F6498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$F0FECA04-0619-437C-80EF-262B0EE4E000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48954ed389c940d6f18707b42187ed03f7c9e725","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$6A53B094-B33E-4AFF-80DD-002F10C68DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfe2b9a9fcbf77ba34b0a676019827e4fb9bb8d","datavalue":{"value":{"entity-type":"item","numeric-id":860842,"id":"Q860842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$90A40850-3BD0-465F-B7DE-702BB8301B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$BC6AB2F4-7E4A-4B4F-B46B-AF245F561977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$30C61798-728F-494E-9306-F8315A3DE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$8FE8B528-53A2-48D4-8B80-2CE99AEE4FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db53c372d2d50c429bac9cbb726ccd91b696a94c","datavalue":{"value":{"entity-type":"item","numeric-id":5415621,"id":"Q5415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191090$8F321CE6-EC47-4084-8915-E340533F29A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d26778b90f24a4860e728b918641968c1eb5a6b","datavalue":{"value":{"amount":"+0.8192674517631531","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":"Q5191090$EFCFA1CD-2632-42ED-AD5A-0A2638E0B145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294c67257925a785f7caf2f99ba6a7001d913a39","datavalue":{"value":{"amount":"+0.8119511008262634","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":"Q5191090$893E1FF8-65FD-4BA1-8436-85176470D210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a955490ac55a673d3293d66bcd1d9adab8e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":2145322,"id":"Q2145322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d44340104f62e97d94183449872f70af8e99373","datavalue":{"value":{"amount":"+0.8031516075134277","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":"Q5191090$C2BB2151-0925-4CF3-8464-F3FCA3B79652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2566155239714c00e61ec0ef8651340a4fc288","datavalue":{"value":{"entity-type":"item","numeric-id":3400636,"id":"Q3400636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a4d67a009c8af7ab29d97949a86b86d0cb224","datavalue":{"value":{"amount":"+0.763397753238678","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":"Q5191090$5C60CB67-46BA-48B6-A87F-A251D479B611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06c7e8bc3f194ea2ccdd1bd98c2573a86e12ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89df91980990a11e3bf04c2dda09c379df46ee26","datavalue":{"value":{"amount":"+0.7629486322402954","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":"Q5191090$DA21F31B-218E-471D-AB3C-95473DE787B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191090"}}}}}