{"entities":{"Q4223470":{"pageid":6253071,"ns":120,"title":"Item:Q4223470","lastrevid":88561625,"modified":"2026-06-04T14:51:20Z","type":"item","id":"Q4223470","labels":{"en":{"language":"en","value":"Creating specialised integrity checks through partial evaluation of meta-interpreters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1235232"}},"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":"Q4223470$1DAEF269-F89F-4713-A36D-0B10594D8F97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dcac406ed9c3543c4bcc102ac7eaadfccf99927","datavalue":{"value":{"text":"Creating specialised integrity checks through partial evaluation of meta-interpreters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4223470$E59DF612-5A33-4314-BB73-AE48AB213CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"913b5094a0024d587360474da5e8463141f76580","datavalue":{"value":"0911.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223470$820AEAED-5D74-4A16-AC87-9B2749746D80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43c60c92f88166fbec94b0f18b8bcf10899b9b7c","datavalue":{"value":"10.1016/S0743-1066(97)10012-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223470$78AC2348-40B2-4A58-9033-984B7863DC8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223470$854B5216-C8FB-4748-801B-FD403298F80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223470$E7174A9C-9EE8-4B96-BA29-ECC230DC66E4","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":"Q4223470$5C1A2392-A60B-45C8-9488-661ABE207251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598703f00d94fef55523c92c719be9981f1c620a","datavalue":{"value":{"time":"+1999-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4223470$2E3F7773-D0A5-43C0-89DA-35B606859D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223470$70CA5AB3-21FC-40B3-BCEA-40DEAA5F43E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223470$D09DADAC-A198-42AF-912F-B2B562F5E9AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e63b5021413e8ffc5cfbcf2cf41de9025c5ffb3e","datavalue":{"value":"1235232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223470$C3215BDB-D1C4-45F0-A845-626FBB045940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223470$FF79A643-4FF2-4211-8F56-F5487525EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b6e4241caf5ff4cd218f0747fc3c0bf0a3ecca","datavalue":{"value":"meta-interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223470$DD06C1EB-AE60-414F-9BF0-1CACD981804E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"970e99c9bc3dc9625d7c5e330adbb28ce852057d","datavalue":{"value":{"entity-type":"item","numeric-id":21863,"id":"Q21863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223470$1D33189C-E956-41A8-9EF9-5FF08322E3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223470$57AB9A0B-4754-47B0-949F-E2B403BD5067","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":"Q4223470$8C05461C-662C-4C3C-AC46-E9498CE1646C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7d0f7f496aec9ba992471658a66474c79ace51","datavalue":{"value":{"entity-type":"item","numeric-id":5387876,"id":"Q5387876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d21381be052380f3b49b1d9bab06ed83ccef2f","datavalue":{"value":{"amount":"+0.7578747272491455","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":"Q4223470$FF4044BD-F0DA-43AE-93A9-57F6756741C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6884261dcf58d577534efd50f2daa60ce2ace70a","datavalue":{"value":{"entity-type":"item","numeric-id":4013781,"id":"Q4013781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6888fa00c101779d17b64c1de7c272fa296c9790","datavalue":{"value":{"amount":"+0.7373515367507935","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":"Q4223470$7BE9F107-F639-4BD6-8455-53FCBE9FFCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af45c5829fa7261fee0926a2078c7ba68df315f7","datavalue":{"value":{"entity-type":"item","numeric-id":2271897,"id":"Q2271897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83807e08ebcabc375fd7a2569027a931cc78f7c0","datavalue":{"value":{"amount":"+0.7269311547279358","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":"Q4223470$9952A7A2-A2E1-492C-AFB5-680EB45410B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e685e6ddb14c3a293b49cb1eda0c00b579e89c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3814841,"id":"Q3814841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cb1b3f5f5e8d9aa08e140c5ec672220f48b5ec","datavalue":{"value":{"amount":"+0.7226170897483826","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":"Q4223470$03F4655F-3005-40A4-A990-04FE63A5A40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Creating specialised integrity checks through partial evaluation of meta-interpreters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Creating_specialised_integrity_checks_through_partial_evaluation_of_meta-interpreters"}}}}}