{"entities":{"Q1128983":{"pageid":1139732,"ns":120,"title":"Item:Q1128983","lastrevid":46850772,"modified":"2025-12-25T17:32:15Z","type":"item","id":"Q1128983","labels":{"en":{"language":"en","value":"The quotient of an abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190139"}},"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":"Q1128983$DDFF5357-A7F8-4792-901C-839391D47034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f970ff78306226e38df3d9c4d79f4086d4d77709","datavalue":{"value":{"text":"The quotient of an abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1128983$EB2926AA-D685-4407-97B1-58A3F7DDE138","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b8e001eb80c6f66c0e2c04d06342b79488d5ce8","datavalue":{"value":"0902.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128983$0B73AA1B-9373-419D-A962-58AC45C3B97A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"980de206c9a18c7d7d61459f55f71382580e8e2b","datavalue":{"value":"10.1016/S0304-3975(97)00137-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128983$05549589-73EE-456B-9BA3-A18CDD2AED12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$0292950D-4ACF-48EA-9825-B09555F261A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2235d7ef1c083e30a2bf12710399c4aa07e8e175","datavalue":{"value":{"entity-type":"item","numeric-id":1128982,"id":"Q1128982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$BEF8CBB2-26B2-497A-9393-9F6F7A8F07AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33eb5c8b0f3c3997961a1ddf125cc072182be129","datavalue":{"value":{"entity-type":"item","numeric-id":584933,"id":"Q584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$B18FB592-85D0-4862-BE52-D6B42D556342","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$74CD6C22-BC50-4C46-B48E-DCEC968E6FA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1128983$2C2483F8-55C9-43C0-BB07-21EEFB3979ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128983$D023869F-96D5-41CB-87C1-600FDEAE90B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0421b40e296107db26eacbeb7f718b999819ecf6","datavalue":{"value":"1190139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128983$551D31E4-4763-4A07-9FC1-A0E679590F88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0e5112548ede4fc4a40755b31ab682f32071f8","datavalue":{"value":"data flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128983$2A56E4B1-9F24-45D6-8090-E3C927705541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128983$AF409BC7-1496-4442-8EE4-ECDA86B1014C","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":"Q1128983$3A726FD5-FF32-4CD3-B382-A30A3D6C8533","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$FC0F159A-4D46-4566-A2F3-F78AF2D96FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$22B202C2-F21A-4F84-B57A-54B304A7B02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe9d3fea3f22edc2072aedc37637ab5db009415","datavalue":{"value":{"entity-type":"item","numeric-id":3129500,"id":"Q3129500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$3046DA41-6B94-44D6-9376-FABF087A83E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f94c57df8059db248e6306d4e8bf09f0656db5","datavalue":{"value":{"entity-type":"item","numeric-id":3983123,"id":"Q3983123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$AC4DA497-29CF-400D-B743-CF124D86D2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$A5C2700B-F9C5-4FDA-BAAE-7E111C1068D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06edc6e1e80f22819c4056e5a31dfa4de326fc09","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$FFB83163-84D8-4D78-A179-008F58F78328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$69E77DB2-7353-4FF0-B451-51C3CC647EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68f38a3f4264b85b38bbd99667223adceca38d8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$E4989D92-3FA6-4706-A13A-D2BD5B3CB144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c122ab6ae89a0c8826af9d6f702399375a1a4ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3125089,"id":"Q3125089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128983$F93A2429-D028-4FD7-A50A-C83D6F9F11F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ac4d4289d3899b5d1d0c8536cc24e050b023ed","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00137-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1128983$8BDB4075-884D-4BD8-A33D-0C85767DB558","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2c84e4943ee1992ddb5226e11d0ba9de479319f","datavalue":{"value":"W2029950390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128983$132E088C-B899-4CAF-BDB9-7724E8E3653C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14d0c6f6e75ce015a354930927a435ffbb164bd","datavalue":{"value":{"entity-type":"item","numeric-id":5204344,"id":"Q5204344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65b39a08dc8ade43a0321ce4221c9b95c0db46e","datavalue":{"value":{"amount":"+0.8242514133453369","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":"Q1128983$AF8834E8-DB71-4254-AAC6-5D7C4E4390E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f749b54ebddfae6d58c4d34d4b5ca9c25bd065be","datavalue":{"value":{"entity-type":"item","numeric-id":3125089,"id":"Q3125089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8a74eb172322cf78dcf6ca628afab79a573ad4","datavalue":{"value":{"amount":"+0.7843999862670898","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":"Q1128983$2276A0C4-35D5-40F3-8486-B335900EC51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1185537e8ef7bc68821ff208e7d3773dbfae5e43","datavalue":{"value":{"amount":"+0.7785785794258118","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":"Q1128983$B3C91ECF-FCC9-4EA6-B4C0-263C80E3875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0184692c1a15a756f55215c0cea07bfbc6a534","datavalue":{"value":{"entity-type":"item","numeric-id":2722073,"id":"Q2722073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c618d72317e20557f66f038bfd4382e0b2109f99","datavalue":{"value":{"amount":"+0.7677916884422302","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":"Q1128983$2FE345C2-6289-4FC0-8AA6-E6E2EE488321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305a9a6b7d0c66ef4eea4421aa8359af51bd16e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605228,"id":"Q1605228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd66cbd7bf47472368dc155d810733dac4dc6881","datavalue":{"value":{"amount":"+0.7600162029266357","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":"Q1128983$001A3F0B-5ABF-451A-884C-1EDB8F2A0A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1128983","badges":[]}}}}}