{"entities":{"Q3000629":{"pageid":3011353,"ns":120,"title":"Item:Q3000629","lastrevid":51249296,"modified":"2026-01-17T10:56:08Z","type":"item","id":"Q3000629","labels":{"en":{"language":"en","value":"The reduced product of abstract domains and the combination of decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897388"}},"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":"Q3000629$570485A6-69DE-4C9C-B4C9-0E5F73B7A062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ac7b1edb1b0444a83de95edc0be480497ddddfa","datavalue":{"value":{"text":"The Reduced Product of Abstract Domains and the Combination of Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000629$2B4ACC2A-14D1-4EB6-BB85-75F4B6E3C47C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f51fb24de8542a688d1130381ebe146ebe6521","datavalue":{"value":"1326.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$D8336DD2-BC7E-455A-AA60-5E971A0E7B98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a57fae0505d6e4fd1e6990d5f0133e3c3e65aad6","datavalue":{"value":"10.1007/978-3-642-19805-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$90C0C7DC-BF63-4631-95A1-E608DDC295D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000629$313D3665-8291-4038-88A6-6701A33F5443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000629$7BDE4741-0C97-4001-9DCB-0F7DA6EF2BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24ff82e9eaca3758943fcee7e982a45635141ca","datavalue":{"value":{"entity-type":"item","numeric-id":845248,"id":"Q845248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000629$A29EE300-E314-4E15-88BA-521014221F07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000629$0992B894-638F-4E52-932A-A825176545E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000629$5C252669-60AA-4C76-AE32-6A390B5329B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$F46B74D0-D16E-452E-B3A3-C82C28E57530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$6247D532-C026-4F57-9C13-F23172AA3207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$3AFD930A-0C2C-4FD1-B39E-6AB534093764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1609c2267514fac2fb072d15c7ffd21b592879b","datavalue":{"value":"5897388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$D85C736F-29BE-45B0-8588-ED6DA6DBC2F4","rank":"normal"}],"P1463":[{"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":"Q3000629$6B288D24-03E5-4C3F-9F07-A5503073FBA2","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":"Q3000629$02E4C6A4-9CF4-4F2F-AC39-7DC385EAB473","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4d16f93643d9efa01010f147ee020b6bfa32105","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000629$0F137B4D-7CB3-490F-9D9D-9A47D4A11225","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6224aa7850d724ac6112db47af03dc400b9e90fe","datavalue":{"value":"W1546878666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000629$42FA51E5-24D1-40DF-85D0-9DDBB41E5951","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac5fc8ff0618732ad270845236507f325982e50","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3eb5136a8915328d1cd924f0b31a06024d2291","datavalue":{"value":{"amount":"+0.8965266942977905","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":"Q3000629$6A67048B-06CC-4D55-AA6D-394BA9FC2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff78f11b1d2dff93a14cc37f8799eb4a4ce9f109","datavalue":{"value":{"entity-type":"item","numeric-id":2926653,"id":"Q2926653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf41f92a69230db4d4992eeb5819fbbeb3763d3","datavalue":{"value":{"amount":"+0.8103662133216858","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":"Q3000629$6BFC08AC-45B6-42BB-833F-08A040A36368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30caba6a315740f03ea5ec7d63cc081c710906b","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8547ae34022c5b47b36aa82ea4084eba0bc20732","datavalue":{"value":{"amount":"+0.7516891956329346","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":"Q3000629$A42F7F8A-11E1-4A35-A82C-D5C01C3E5073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c45d3e56dac70c43588f145d9a18e1e229c4f10","datavalue":{"value":{"entity-type":"item","numeric-id":1960541,"id":"Q1960541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67c8de9acea3cfd0805ea01d3029c206db2c80c","datavalue":{"value":{"amount":"+0.7271357178688049","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":"Q3000629$0C5C4AC4-787D-4AE0-B2F7-6BB8EB621641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c391e86babb27a06dbe621e4f1613ccaa7042e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2938072,"id":"Q2938072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a105b7c7c86b8e69e3926111f75f1c56e7a169d8","datavalue":{"value":{"amount":"+0.7236955761909485","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":"Q3000629$D97981DF-CD4F-469C-99EE-6437AD9C84A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000629"}}}}}