{"entities":{"Q3525149":{"pageid":5555053,"ns":120,"title":"Item:Q3525149","lastrevid":50453417,"modified":"2026-01-14T02:30:15Z","type":"item","id":"Q3525149","labels":{"en":{"language":"en","value":"Thread-Modular Verification Is Cartesian Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342677"}},"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":"Q3525149$D3C7BE86-EB1D-4195-9E1C-F87C8389F67D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bec9efe15037d5a30c63109afd0e199469f313","datavalue":{"value":{"text":"Thread-Modular Verification Is Cartesian Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525149$B612CB99-056B-4EE6-8F7B-686EBDDA68FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47c5216818e5514f3d3c0deacb535695abefd2db","datavalue":{"value":"1168.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525149$9935C908-7A5F-4FFD-BB54-CD45FD44D268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"393aa2128fd6cf2c7105ee8a866bce97379bf634","datavalue":{"value":"10.1007/11921240_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525149$2374C9B5-0413-4330-B2AB-97FF012C18E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11284c37dac68ebea2ec9f5272d94d336f60bfe1","datavalue":{"value":{"entity-type":"item","numeric-id":1675155,"id":"Q1675155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525149$18738483-2AE7-41C8-954E-61011159F607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525149$7ACBB007-1C39-463D-BEDF-B3C26D9B7F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525149$C28415EF-74E0-4381-B2FA-C5FBD2C57C43","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":"Q3525149$5EA40A63-F8F0-4BC5-9716-F84EACEC9E8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525149$7AEBBF75-64B6-4E06-961D-652CBECD41D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525149$76CED5FC-537B-4EE9-B347-12B2290EDE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525149$4655FFA7-156D-4672-91F0-8DDD7A414B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d8425ae1f2af8f218fbac5eedeb10d80416d3af","datavalue":{"value":"5342677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525149$BDBA9772-DD65-450F-919E-1BFB05E63C49","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":"Q3525149$119CB200-A79D-4C1B-A0B9-6D84D4C3D5BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df51cebc9ebd0bd2f91110312060d890ef299ff4","datavalue":{"value":"https://doi.org/10.1007/11921240_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525149$534FD3AE-EB6D-43B5-972E-C4C1336A4532","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee6540aa9e9fdfa36cf923901fc825a9c1126619","datavalue":{"value":"W2153037257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525149$A2021980-72D4-4E9A-BD54-9AB03A2D82FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f83a6bc04d9e714480577eeb1e3d2fdb1e692a7","datavalue":{"value":{"entity-type":"item","numeric-id":3612004,"id":"Q3612004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef0ffe2cf633be26360e6493292df8330343a1e","datavalue":{"value":{"amount":"+0.836624801158905","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":"Q3525149$B5E02699-3C72-4C19-9B57-56CE41E88A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2665600aec48046a0ec316e9a59c6cea5993ddd","datavalue":{"value":{"entity-type":"item","numeric-id":1675156,"id":"Q1675156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d92d99cd4a59915a1f738e63593aab67a4cb1cf","datavalue":{"value":{"amount":"+0.8164336681365967","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":"Q3525149$8F694C75-EB65-46F2-AFDE-2554BAADB1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd8fe519b64cbc856a832a8dd1f77f177c5e155","datavalue":{"value":{"entity-type":"item","numeric-id":3656886,"id":"Q3656886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772cc69d3b3a4fe6ef43e7f31df5b244c3a89404","datavalue":{"value":{"amount":"+0.7914397716522217","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":"Q3525149$466C620B-5AD6-4DFD-AC4E-757CE2E14082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699cbc97ecab86cbaaf854fe660de7539078e874","datavalue":{"value":{"amount":"+0.7740849256515503","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":"Q3525149$EDF543B1-3F3B-410D-A15E-2D34982BE998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a612fbdd8dd023140c1134671601f072bbc161e1","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b91aa9cd6f985dd4a2b64e41fc71b34ddddb05","datavalue":{"value":{"amount":"+0.7723824977874756","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":"Q3525149$AF05E193-4868-45E6-AA68-F33BE2B82A77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525149"}}}}}