{"entities":{"Q4340422":{"pageid":6370022,"ns":120,"title":"Item:Q4340422","lastrevid":88951280,"modified":"2026-06-04T15:56:05Z","type":"item","id":"Q4340422","labels":{"en":{"language":"en","value":"Verification of meta-interpreters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019361"}},"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":"Q4340422$1281A271-5D05-43C6-8E97-F6EDD514A281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1307fd205f9bda9efc4500d6dac1262c966fae68","datavalue":{"value":{"text":"Verification of meta-interpreters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340422$4F521108-FEEA-4609-B5B8-6590937A3976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f2daf3026af30a75fb30ca42d39a08f0c34e57b","datavalue":{"value":"0878.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340422$597EF71F-9AB0-459E-B117-F82F1557AC66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340422$87F85C0E-35D7-43AD-89C9-20988B93C8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340422$41BA5B22-66D1-4E42-B948-C16864267892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfb3a2440187ce324054f87424416efa61e67ba4","datavalue":{"value":{"time":"+1997-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340422$49C2A4D8-DF35-490D-A868-817338C913C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340422$050FB110-F4CA-4ADF-A397-25622296F5BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05fc29291b1754d7d7de7914d9f17229455fe18d","datavalue":{"value":"1019361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340422$8E42EBF2-A166-4397-B96C-B5358B575B90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425ef8b82d7f1126263c412a06661111e6510523","datavalue":{"value":"Vanilla","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340422$4B6A14E4-8B56-4B9A-B61A-708655DD8479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e11d6620afbf0029f32fb6c0a0ab802bfa4d314","datavalue":{"value":"logic meta-interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340422$09B02BD6-40AF-4BD1-B731-A7E7234C1F81","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":"Q4340422$238826B7-C503-420A-A5C5-B67A000DFB56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91a677cd68cd04d9e8e11b07b6aabff48a90a7a9","datavalue":{"value":"https://doi.org/10.1093/logcom/7.2.267","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340422$405434B2-BEF7-4BE1-9997-98C9564E6C53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"493b60a5902907acf126c7ffeacedb58ed54d2db","datavalue":{"value":"W2080045776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340422$C3758024-3D5B-4A9E-9498-8B1A336F86C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96012cee88dafcd65b34833a8158466958140f33","datavalue":{"value":"10.1093/LOGCOM/7.2.267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340422$C5651C6E-2E57-4501-A241-51E6EEDC4159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2de932ee5f6e730f3c7a42d1edd8620f260ad42","datavalue":{"value":{"entity-type":"item","numeric-id":4223470,"id":"Q4223470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c334023644057e1d975ef3e690f5b9a2fdec20a","datavalue":{"value":{"amount":"+0.90168923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4340422$2DEC6933-C666-455F-954B-B91F254552D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a955490ac55a673d3293d66bcd1d9adab8e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":2145322,"id":"Q2145322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d27c21ad7303df41255b66b32f54cfd6c818c3","datavalue":{"value":{"amount":"+0.89050746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4340422$C5DE2F8F-E0CA-4613-8A6F-2E7E051BD6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c618116ffba129ce2245f8a3b3753edcf1797","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349d0e390ff0bd7a9bb04515e48d8f7966ad1966","datavalue":{"value":{"amount":"+0.8814812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4340422$C43C7685-3A9B-4FAD-B466-3CC27C61C189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c45abf4210b3dc9cc008f46fdcd9f51620916b","datavalue":{"value":{"entity-type":"item","numeric-id":3836190,"id":"Q3836190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaf8c92ea3fcd4b9e734e3eabf0392c5f0d4955","datavalue":{"value":{"amount":"+0.8744126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4340422$65707D94-B99F-45CC-94EE-8FB2F562F0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee10d282ff2fc3fce33a7dab740b6dc62ff8b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3631203,"id":"Q3631203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f5200fcffeb911094cb7f92d8ac24eadab3257","datavalue":{"value":{"amount":"+0.87398595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4340422$4757AEE9-7904-46AF-BE75-6A51224B4338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb234b5551cae0af9257fe3eff72cf077bed7f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b67f83db4e6b140858a393c997df33b4a96a17a","datavalue":{"value":{"amount":"+0.87296474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4340422$B718FC28-14CA-4895-8305-0FAAF3148334","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340422$D703C3A9-746E-4186-A3AC-66763DF78A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of meta-interpreters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_meta-interpreters"}}}}}