{"entities":{"Q1610674":{"pageid":1621414,"ns":120,"title":"Item:Q1610674","lastrevid":72328389,"modified":"2026-04-14T04:09:50Z","type":"item","id":"Q1610674","labels":{"en":{"language":"en","value":"Autarkic computations in formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784334"}},"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":"Q1610674$89FE39DD-7E6A-433F-9D0F-067712255435","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57c275a6c97153b34d62f02f5047b5916d82683b","datavalue":{"value":{"text":"Autarkic computations in formal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610674$519F5AD2-4A91-4659-92E4-417B89D37343","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10ac62ae2d4c67f7f0049f604ef1e3c74a3e1851","datavalue":{"value":"1002.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$B2BF2E36-88FF-407F-934B-7E262FF2B8CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2349d7bdbdb9a4de6a52f69b07336392e584d2f3","datavalue":{"value":"10.1023/A:1015761529444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$740BC328-1B17-4333-B12E-0882C33061D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"626fc55e710b7079d0cd0545acf65cdbf74a9cf2","datavalue":{"value":{"entity-type":"item","numeric-id":1610673,"id":"Q1610673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610674$038557E0-6D58-46A4-A560-27CE0D63D559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610674$2330FD33-5514-40FB-8566-F0038D7BB6CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610674$FECEE39F-32C2-4110-B6BB-C8A86E18715C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bc61368984c5e3500adde65887085533364de4","datavalue":{"value":{"time":"+2002-08-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":"Q1610674$199E0D4F-EF3F-49DD-8EFC-5E216A8E75B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$961EB1F5-E1F2-4362-8B01-CAC3910AF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$B25EBD97-9282-4089-A08E-D1BC0803E279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$A2A6FD72-ECB6-4E53-8117-F0014C9C22EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4171c2d65e9d0c0d80f373fd5016f2bd2fa3a46e","datavalue":{"value":"1784334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$19B959DB-F8CD-4024-B022-28E22756B78B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610674$B1C6F454-0C1F-46EB-A8A9-6737D888CDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610674$61BC8E4B-E707-44D0-B143-A6ADAF0F5D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610674$4173B811-2740-4EC2-B7A7-6602FEF57E01","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":"Q1610674$6B0DD6AD-3045-44E9-9563-5D3DACE3633E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1a5991f36114a68f2751d4361975f712e50c592","datavalue":{"value":"https://doi.org/10.1023/a:1015761529444","type":"string"},"datatype":"url"},"type":"statement","id":"Q1610674$754D676C-8DE6-4A30-9590-FF69852D5985","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64fe13b0efa2d0a72744a3bbc1f997258c1b4c55","datavalue":{"value":"W1514486135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610674$6D870B23-73B0-445F-A6AA-3F2B8D9259D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d975defa45409e37a08f3625a3c15b47da81b7e0","datavalue":{"value":{"amount":"+0.929362","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":"Q1610674$16C19B60-6FF4-4058-96C6-C96B9A321978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a436de0930db04875ef90b32a11352db1536c6","datavalue":{"value":{"amount":"+0.9128038","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":"Q1610674$DBAA91E2-B97B-4636-BBB6-45CEDD7DC34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f37b1f49c14f8508d111fa9b53b181d577e4d2","datavalue":{"value":{"amount":"+0.90479225","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":"Q1610674$FAEB5FAC-A6FE-4A9F-876E-4097DBF7B0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f69c789071bf14a8417081271429c23160ada","datavalue":{"value":{"entity-type":"item","numeric-id":4816538,"id":"Q4816538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd07df060332dec750ef0f79252e70f83804c36","datavalue":{"value":{"amount":"+0.9040309","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":"Q1610674$9007B056-B3FE-48A1-9593-544163CE01B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4ead5032f9bb22cebcc5f4abefe0bac7f6338c","datavalue":{"value":{"amount":"+0.89785236","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":"Q1610674$22860FD9-5CD5-4135-83E5-82B694F73BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fb7649bbcf1bdbc274d7fe5609c4d831a6f7a3","datavalue":{"value":{"amount":"+0.89358187","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":"Q1610674$9E7360CE-74C2-4A01-BB02-85021E88FB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec649006cf278f0029bf84c5a4ae1c07cd2136c6","datavalue":{"value":{"amount":"+0.8933455","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":"Q1610674$E3BBD584-F629-4C82-A503-0CE3341C8495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296fe6675d89bea4ad31995a9449284b6ddf5342","datavalue":{"value":{"entity-type":"item","numeric-id":5187278,"id":"Q5187278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aacc582cd353ce41a1d91755e94e769d24cb201","datavalue":{"value":{"amount":"+0.8928732","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":"Q1610674$4824E2B5-689E-4781-8E1D-A985BDCF5567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0186063af8c0bf015b17bfb1d7ea0b9f1fc5b1a6","datavalue":{"value":{"amount":"+0.89198273","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":"Q1610674$70179674-0F28-4492-BF45-B0B6DC4DE078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf49746178cebdd65335808acbecf9307429d89","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f523bf1d06446ab5a0f12e5f0420fb4001a1a2","datavalue":{"value":{"amount":"+0.8895042","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":"Q1610674$3BABF004-F64B-48AD-BEBE-47342371049B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Autarkic computations in formal proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Autarkic_computations_in_formal_proofs"}}}}}