{"entities":{"Q4036280":{"pageid":6065999,"ns":120,"title":"Item:Q4036280","lastrevid":55236274,"modified":"2026-02-05T04:14:16Z","type":"item","id":"Q4036280","labels":{"en":{"language":"en","value":"Abstract interpretation based on Alexander Templates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168614"}},"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":"Q4036280$87484A66-9DAB-45E9-BFA6-AAA5698CE505","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"061d080363d7474103f145c54ea42a26da1ca113","datavalue":{"value":{"text":"Abstract interpretation based on Alexander Templates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036280$859AEB67-EB7C-44B3-8F69-6B0FC0EBD5AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2399bb6bbc04bc2667e5001d7a41ee84ef3f4b05","datavalue":{"value":"0787.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$486B99F4-5762-416F-A518-A46B5F95E589","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"959a3201002c632ea39d0c725f60bcaafd5acd57","datavalue":{"value":"10.1016/0743-1066(93)90012-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$64AF0CC4-C757-44F8-A0AC-AE0F80BB998F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f468c70d224827fefee70639fa02168462f5456e","datavalue":{"value":{"entity-type":"item","numeric-id":915478,"id":"Q915478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036280$FD448857-281B-4FBF-90CD-E0D480FA7366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036280$526DACC1-7A6F-4DAD-B00F-11BE0B7271E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036280$F7CEC772-DD6A-43AD-83D3-E91472E04D4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$B17D95CB-FC9F-4BF1-835B-48EB4398D68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$EBE6339B-2B92-48B3-B72D-4235E85F8021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$26CDB497-5F3C-4AED-80BE-55F970941AF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45be632193e6e3349636ae9cb4ac0c227e5d7556","datavalue":{"value":"168614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$CF08FD9A-2C92-4596-9D45-2F64A832875F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66033371923e9573f71b1355d6287e45ef403ae","datavalue":{"value":"bottom-up query evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036280$A31143F0-EAC9-4A10-ADF5-8B0088ED66C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aec2d61d649a4b8b8dd5ddf385dd8851190b06","datavalue":{"value":"logic databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036280$9DBA9C8C-AD5B-4DE4-B350-5FBFC7071E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756929347f584834365c8e56db200ea71f8a0058","datavalue":{"value":"Alexander Templates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036280$A7A0B6BB-2439-4C0C-9866-BCC864967AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036280$218F3295-8E4A-44C6-B48D-7FF629B35978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036280$23D50696-1F79-475A-A875-520E34600986","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":"Q4036280$2CB0FE7B-488E-4FF4-AC69-06EC7C293E61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58a62e063633f89b8a23d8c3c2dd995b6a99fb6a","datavalue":{"value":"https://doi.org/10.1016/0743-1066(93)90012-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4036280$A25C6E1B-ACE3-4408-961C-736B050E5628","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f139bdbf4d6e1a6f80b7be6f13e87afc37a8213f","datavalue":{"value":"W1974411748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036280$3391F6C1-A7ED-4DF7-A841-4748D2D1D01C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4dfe75eef889d05eda0074a86953a2320a56804","datavalue":{"value":{"entity-type":"item","numeric-id":673498,"id":"Q673498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f4adc66f635e261801b52800c0cee862a86dda","datavalue":{"value":{"amount":"+0.8471533060073853","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":"Q4036280$336D5F72-9F2E-4930-89C3-409C7E7E76CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dc18eac67fd0782bd45294c05367300132409a","datavalue":{"value":{"entity-type":"item","numeric-id":4287477,"id":"Q4287477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895647ad340eed1abd6f407798432c92ca98e377","datavalue":{"value":{"amount":"+0.8253569006919861","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":"Q4036280$0C3706E3-84A9-4FD2-B57F-45FF202EBD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa946765a7aec74cf616bdbcd0875c9ae1647107","datavalue":{"value":{"entity-type":"item","numeric-id":3988795,"id":"Q3988795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99894625ca3d9420ee0ba8444f1a677aa9df4a36","datavalue":{"value":{"amount":"+0.7873373031616211","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":"Q4036280$64AC09A1-04C8-49C5-94A6-544B80B583DA","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":"0d076bf8ae3ffd63a77f39d76933b72e3b28168a","datavalue":{"value":{"amount":"+0.7869992256164551","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":"Q4036280$BA3B6560-4964-4CB2-BC91-B56DE7FDBCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4c826f50c4dcadbe3ed2432fcfc11fe0fbec84","datavalue":{"value":{"amount":"+0.7485376596450806","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":"Q4036280$D45716A4-810B-416B-A60C-EBB138EB64A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036280"}}}}}