{"entities":{"Q1960541":{"pageid":1971283,"ns":120,"title":"Item:Q1960541","lastrevid":72031893,"modified":"2026-04-14T02:12:49Z","type":"item","id":"Q1960541","labels":{"en":{"language":"en","value":"Design of abstract domains using first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387440"}},"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":"Q1960541$205C76C6-2A78-447F-BCB7-D13933233956","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c010d50e29f5951281bc268a8d64488ab22ece8a","datavalue":{"value":{"text":"Design of abstract domains using first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960541$74493374-DFAF-4A1D-93C3-EBE8F55EF0BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc67eaf224664775db8eec8d34b3731eeb79e01","datavalue":{"value":"0930.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$276F3741-2B15-485E-8F19-33D66B17CAD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dab4f93a810d8029faf4b7789702f50e265284b","datavalue":{"value":"10.1016/S0304-3975(98)00231-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$8AA00452-2455-4050-8185-86858AF57666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd39bdd97435cb252ccc6adb31389f5cafb87c72","datavalue":{"value":{"entity-type":"item","numeric-id":468676,"id":"Q468676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$E24EFDE1-82C7-4D4D-B2FA-FC5BF5FA4C6E","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":"Q1960541$0D646C2C-CAA5-4066-9E59-9B032880F085","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960541$D54FC4EE-85CE-4DAC-BC10-F66C1E78D90C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$E555A47D-7962-446D-9964-F9CD4697B959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$62C2DE34-498C-4C7A-BCE0-96F93298DFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$1CDBE761-C027-41F4-9BA8-3DF53AD37885","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1883012eb2b8955ace4bd5e764b3a6a0344820e6","datavalue":{"value":"1387440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$AEFC527A-BDF9-45E3-B6F4-13E6F82739C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960541$52E01DB1-E908-478D-8442-E8CB006917B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960541$0489F3DA-8A33-4258-ADC7-E1366BC320D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960541$FF27AFD8-AB58-4332-8F92-9079C4673220","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":"Q1960541$64D58D60-9E24-4975-843C-55A426ACCD63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c6431267c37f0191f54aa4226a4ffe6e2b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$B9C67519-389E-427A-B033-135647BF81D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3c30f37cb7c00c5708b1c92ce4115c99f17bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1818309,"id":"Q1818309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$CF6AC609-9E9C-4544-8DF8-4AB0967E21A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f6a6af51489082d9366a0f8ba20cb988eb78fd","datavalue":{"value":{"entity-type":"item","numeric-id":1605223,"id":"Q1605223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$E1CC8650-F1CA-47B3-A0DC-93F134194386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7393d3c120d602538188984264174b9ba8ebaa14","datavalue":{"value":{"entity-type":"item","numeric-id":5204344,"id":"Q5204344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$D42E0C1F-2597-4640-B56C-7BDD3F4E43D2","rank":"normal"},{"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":"Q1960541$2C908BF1-A2C1-448B-9635-FCB941C64CA3","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":"Q1960541$517DC15E-4244-426D-9A60-9F9214CE2151","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":"Q1960541$0142893D-6370-4616-A2B3-C1C5569FC3D8","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":"Q1960541$E41F1EB9-79A8-436C-B390-3381FD368152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$02592144-E1CF-4AC4-A496-9E3F52A19EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1eca68f0833bbd322832b2afa0e45527f7e960e","datavalue":{"value":{"entity-type":"item","numeric-id":4537520,"id":"Q4537520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$1A2451EA-E6E3-4A3D-81D6-1A10CB23B9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9b33922094e0ceaf96b12c96471e3d34c6db1c","datavalue":{"value":{"entity-type":"item","numeric-id":2956723,"id":"Q2956723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$32D81C90-6EB6-4610-8A71-2E28D808D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdef283b200aa3269d09e08c4de781b834b117f6","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$93427FB2-DA8C-4EAD-912C-39F4B22E948B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa8f0a85089001302b6d3210eb019646d099ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3742761,"id":"Q3742761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$5B11FE77-75DD-4EED-A6A9-D4ABD9BF2A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4df756cfbed8d3ffafc5f7815191575274df0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4217929,"id":"Q4217929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960541$817CEF53-F401-4E37-9CF9-7D70B5CE0E0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"048f7f7c51b5bc9fd3410be41f10c7d047496320","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00231-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1960541$F8AEC17B-8DCD-4AC2-B10D-88F4238F1ED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5232204181e748750d248cf690187a610805a67e","datavalue":{"value":"W2090777811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960541$29CAC2B2-7308-42FB-AFAF-AB1E4C3E3ED6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca9dffff85a09a9cee28094f1f0e366be54ff85","datavalue":{"value":{"entity-type":"item","numeric-id":2956723,"id":"Q2956723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c50a1d3b0ff26a4ee9ae2128285f7e6f724b44","datavalue":{"value":{"amount":"+0.8884354829788208","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":"Q1960541$D4BBBCE1-B945-47CA-9533-A63399DE3372","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":"454eb545e56da2bc08993a819030f5af8774f0bc","datavalue":{"value":{"amount":"+0.7917749881744385","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":"Q1960541$02C40265-D7B9-4DEB-AEA7-0E5EC80D673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2086b9679034d945b5b9ff226c7ca063b198e709","datavalue":{"value":{"amount":"+0.7832987904548645","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":"Q1960541$17C0A030-FBB3-491C-BA2D-79723FB64C15","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":"e326ba2c5a201f8d774a3dfb9ad51fbdfc7af7c2","datavalue":{"value":{"amount":"+0.782698392868042","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":"Q1960541$38A2F166-CF45-4D39-AE0E-62C2775120D2","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":"8842022d3605bf1833515e75f6710bcac9b41679","datavalue":{"value":{"amount":"+0.7816668152809143","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":"Q1960541$39516209-6F76-4D62-B2DE-85712A0BAFED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design of abstract domains using first-order logic","badges":[]}}}}}