{"entities":{"Q5370844":{"pageid":7400418,"ns":120,"title":"Item:Q5370844","lastrevid":52933646,"modified":"2026-01-23T20:33:22Z","type":"item","id":"Q5370844","labels":{"en":{"language":"en","value":"Semantic-directed clumping of disjunctive abstract states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794641"}},"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":"Q5370844$947E48AA-F1E5-4EF2-B07B-E3AC30BD3D9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f51f779a3429207596947772f7aa67e699bb9d0","datavalue":{"value":{"text":"Semantic-directed clumping of disjunctive abstract states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370844$FEBD3095-802F-44BA-9AF8-A996421F8233","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b043727037550921f5a31215815cd8c3757c843","datavalue":{"value":"1380.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370844$0022179C-3FA3-4B85-9B4A-5E69D304CFB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a4e0bb4abf4dc8dc0fd2e879537d49f3b82dd0d","datavalue":{"value":"10.1145/3009837.3009881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370844$88A38EAB-BB1E-44C3-A998-134F8D993645","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5636e03a3b81c1670f14f602a8010a321af633","datavalue":{"value":{"entity-type":"item","numeric-id":3460066,"id":"Q3460066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$762C3509-E604-4308-93EE-9A860EA604EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7850265088ebbe79d828115d7e2464327cc95e","datavalue":{"value":{"entity-type":"item","numeric-id":5370843,"id":"Q5370843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$1B62BE8A-2025-42B4-89F4-BF0E9EA63C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4bc11f85fec3cd8651169b233d6ebf4d4c0600","datavalue":{"value":{"entity-type":"item","numeric-id":2145337,"id":"Q2145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$85338E38-F3AD-4B21-A11F-7FC917E8E2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac153c7f5276ccb8d4b5887e76c2d988e6dbdbb","datavalue":{"value":{"entity-type":"item","numeric-id":681351,"id":"Q681351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$B5DC3A3F-4FE0-469E-AF49-126C2D4B8E23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$29E2D4A4-7D60-49B3-8F78-B03ABE761EB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370844$203D6194-D5F8-45AE-961F-071A501153AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8fd961546ba54082e929c7e91b2b9dd4e242c60","datavalue":{"value":"https://hal.inria.fr/hal-01648679/file/popl17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370844$FE023FCE-E2D0-47B2-B8C4-CD573CF954E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370844$87559764-D9C5-44C0-9941-DD19DB8DC79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370844$5EDFC314-EA94-450C-941B-E4DC3722BAE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed93be75552e169c2cb45db7eaf8162447aa9dec","datavalue":{"value":"6794641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370844$CD618AA0-AD16-402B-9C7D-02FC974943D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$112C35C6-F4AC-4B00-B650-68EDE58ED6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$3F911F69-C069-476C-95CE-927AC3816E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112031be04ca039cfd818ee9011af59cfe5f88a9","datavalue":{"value":"clumping of disjuncts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$947F4C97-43C2-485E-956E-1EAB08FF0CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc67d23dcb68d75cd9af3a66c9e445fdf4ea7c0","datavalue":{"value":"disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$309D6B52-2280-4FBB-983D-77099F0A7B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516f5456055eb317569e8a3a271da90b9479b771","datavalue":{"value":"heap abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$315B49A0-7CFF-432E-B971-76E51FC1144B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ebea0abebf79df4c894ff86295ce8a634e5bad","datavalue":{"value":"separation logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$EB1809E6-A3AC-42FD-A399-81A94FEB751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8f88cb0269459aceca6e3873ba5c1020562d8b","datavalue":{"value":"silhouette","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370844$7CF251D7-F71A-40AF-9EC2-0F5A4CC1F617","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99d682f188a350d6ad27acb15f376d1f6726d8be","datavalue":{"value":{"entity-type":"item","numeric-id":33516,"id":"Q33516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$1755B01B-7647-4253-947A-6E36AC1305A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$A4097AEE-4A8E-4BC5-A88C-0E295377F23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$E1811942-027B-4606-AAF3-6A6A7E928984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f83a74f049c109ae9ffb80931301017dc960f0d","datavalue":{"value":{"entity-type":"item","numeric-id":22065,"id":"Q22065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370844$B464F37A-100A-4C74-A3E9-8DE44D80ECC7","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":"Q5370844$5FAC90FB-2EB6-45D6-AE8B-5C4D4B906981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3929eda80360fb1a82d1240d17e0eebb29f167c7","datavalue":{"value":"W2567537733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370844$5DC15F75-EDEB-444B-86F7-0A683C7FA45C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef98b6dd93032e81d6555f005dab5c31c50b9947","datavalue":{"value":{"entity-type":"item","numeric-id":5466566,"id":"Q5466566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254b80b232d2a91850899408765b301e275fc1de","datavalue":{"value":{"amount":"+0.7684748768806458","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":"Q5370844$1E41936A-C082-4571-83CC-C7EBDE15FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf6e1539f3abbeee51f7619366fb45e1ed51711","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a6b24eee0ec9994add9055f62e05a28f0776e4","datavalue":{"value":{"amount":"+0.7538322806358337","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":"Q5370844$096AB306-3F52-4FC5-BD82-05B38BAF7938","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":"7214c79fc304a4e17cb2ee097280ac4cbe5ff653","datavalue":{"value":{"amount":"+0.7479645013809204","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":"Q5370844$E37FEC8A-F25B-4B0F-98A4-D48EC5F20843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fba5200ac3a9663ebfcb1bbe336e83c31329faf","datavalue":{"value":{"amount":"+0.7472186088562012","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":"Q5370844$9ADE7C39-E367-4554-B659-97090A367E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aab67790d08fcac72227496b500bc0dacb915d4","datavalue":{"value":{"entity-type":"item","numeric-id":3392926,"id":"Q3392926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b478063681f19de2208ba7d809e8b2fc443021a","datavalue":{"value":{"amount":"+0.7379432916641235","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":"Q5370844$090473B4-274C-47C4-A593-E6E1771A0359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370844"}}}}}