{"entities":{"Q4930724":{"pageid":6960306,"ns":120,"title":"Item:Q4930724","lastrevid":51095588,"modified":"2026-01-16T15:46:39Z","type":"item","id":"Q4930724","labels":{"en":{"language":"en","value":"Automatic abstraction for intervals using Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794757"}},"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":"Q4930724$81D763EC-4DB3-4B1B-85DC-26AC80D622FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9c88d647ea5d660d22a38c4939bc843c55245da","datavalue":{"value":{"text":"Automatic Abstraction for Intervals Using Boolean Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930724$B4633A20-C6A6-4880-BAD8-A97961536189","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f1cfd8e19e00dda2ab6023c72e29b6280a36a9","datavalue":{"value":"1306.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930724$76D21DD3-2484-4C83-8D4C-6F2DF6558DAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9836ec2472db2115263d486879337021174f8820","datavalue":{"value":"10.1007/978-3-642-15769-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930724$396B8605-B518-46EB-AB62-9A10F4205EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c58a9d0595a2d29783d7086cf100e9d03f56337","datavalue":{"value":{"entity-type":"item","numeric-id":479805,"id":"Q479805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930724$E608BBCA-D2EC-456D-966D-90199C6D4AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930724$3901EF91-0FF2-4A10-98E6-6270A5EC7DEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930724$A60AC6C5-EB5D-46A6-AB89-D09A208D7B13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930724$906C79C3-DF0F-4328-8A8E-BD912B84EDB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90e4e2b86ea800c7d27751e31e307878c63516fa","datavalue":{"value":"https://kar.kent.ac.uk/30633/1/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930724$82B2076F-A721-4F60-9293-526665E81B41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930724$F8649B74-4215-4454-8F89-B063C2DBA023","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee62bc424ef1deeedb9d31a29b196b79a705e982","datavalue":{"value":"5794757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930724$8F8FC674-0792-4013-B3C1-ADDCB32F8601","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930724$B8D0CCF0-0AE7-4D75-962C-E58D45E45606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930724$212157C8-5620-4BCB-B151-51FFA540F01D","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":"Q4930724$A42E1C7B-43CB-4AB5-B5BC-0369A76942D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0df8e3ffe6ce60e9104f23e34273a14cd1d19dc","datavalue":{"value":"W1485150864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930724$0863A297-531E-45CA-8159-FFDD5FCDDF74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de2a4120c1b55f896eb0f7b7d30755c37c7a7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5891770,"id":"Q5891770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8ea89b1b57f0456d2abd6a468841eac4bbdb69","datavalue":{"value":{"amount":"+0.7938764691352844","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":"Q4930724$9E47681E-9A4E-45BA-91FF-2EC35ED0CACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a639d3c4e34c89ee33af51ef6fb35f8abf283013","datavalue":{"value":{"entity-type":"item","numeric-id":5248942,"id":"Q5248942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19c334287a8a4b2d74e51355c56ac3bd0296004","datavalue":{"value":{"amount":"+0.7766075134277344","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":"Q4930724$3F52FAE3-E88E-4D03-A1EA-BC5819004738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beab07d055df6eb11000035696fe19b6df02ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5892491,"id":"Q5892491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d552a555d946a4a2c7419d8b118d7d0dad2d951a","datavalue":{"value":{"amount":"+0.7582855224609375","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":"Q4930724$229763D9-E183-4DAE-A628-34ADC4572E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c30b0e84dff7bab45673b1c30f5c5e74bd41ee","datavalue":{"value":{"amount":"+0.7318199276924133","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":"Q4930724$531D1940-9093-407E-B7B6-521C30DA22EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc83f42d28d63a2eaaa8b90e766567e54a9647a1","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b690aa95a4a09f3134a7ee1630ae4d0a42a1182","datavalue":{"value":{"amount":"+0.724980890750885","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":"Q4930724$01E4FDD2-F86B-4CF2-87F8-769838A69980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930724"}}}}}