{"entities":{"Q5747644":{"pageid":7777195,"ns":120,"title":"Item:Q5747644","lastrevid":51080171,"modified":"2026-01-16T13:36:02Z","type":"item","id":"Q5747644","labels":{"en":{"language":"en","value":"A tactic language for declarative proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785337"}},"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":"Q5747644$6725B468-902D-41AC-886A-11FF548DA5E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab1bee22ae14a23d60272fc9e14f841ad04f30ec","datavalue":{"value":{"text":"A Tactic Language for Declarative Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747644$FF880986-AE7F-4A8E-ADD5-A75F08090F03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1390c79c486502bff8b1372296ff0c7ea1195dba","datavalue":{"value":"1291.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747644$961AEC6E-3327-4F91-99CD-FEF97C8BBCB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30b82da724bd22d27722ed088f6b6a7337a675cd","datavalue":{"value":"10.1007/978-3-642-14052-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747644$8997FEF2-A81B-4AA8-BE2E-033D9B9F04FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$C432C016-5423-4D65-825F-9145AD4E1C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf438179b32520361aad70767a3a3b1d33d3c8b","datavalue":{"value":{"entity-type":"item","numeric-id":841686,"id":"Q841686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$58033B2E-0B39-471C-97FF-73EE864B6E63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$49711316-FC71-4FB0-908C-405498AAF540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747644$A476683F-611D-44ED-9E24-1911EF0D70D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747644$47330557-FD13-423C-9665-2EADAC029B52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49f04938baa7fb9abc0c88bf25132e17248f08b8","datavalue":{"value":"5785337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747644$ECCE72C9-C141-4083-BCE8-2FE085A9FC16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$7EA912A8-52C6-4907-9837-CCE580243823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$3E50AC1A-B212-4E2B-BCC9-5D4333584D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$69D11090-83FD-4128-B0B0-5D78C13B6FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e24b1e555719d904bc5723d040851bdd6284eb","datavalue":{"value":{"entity-type":"item","numeric-id":21775,"id":"Q21775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$5C528D56-D8D0-4EEB-AEA4-0FEAED1A3CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747644$89EFC1A0-0EE2-4EE2-A159-660ABC5131DF","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":"Q5747644$E1243550-2845-47B4-935B-06EB41EF023B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5db47538c617fc7f18ae8913536ca63caf795943","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747644$2025C2D4-2FC1-430D-AD88-952935F25ED4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1ebd0581fa8714c0fe33732f658d3775b8c8244","datavalue":{"value":"W1579683380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747644$F5C6663E-AEE5-44A6-AD0F-FDEA7BC43AC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ff8c15277365d12c6aaa93e11ac589eacaace5","datavalue":{"value":{"entity-type":"item","numeric-id":4945208,"id":"Q4945208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa594fd9dbb46c666c1b12e6be48d1636fb034d9","datavalue":{"value":{"amount":"+0.8003331422805786","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":"Q5747644$B56F4A70-2174-4A0B-A511-8ADFABEC0EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b542189a171fc85ab7c4d95fcceb7c87d41da70","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d1d82e384557efcf11242ddfe492ca09d044de","datavalue":{"value":{"amount":"+0.7934209704399109","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":"Q5747644$8A1BF4AD-5DF4-4C5F-9EA6-BDB19F0A90CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ab00a5e907d4196b60b3ad1b8732c3b3f976c3","datavalue":{"value":{"entity-type":"item","numeric-id":4370265,"id":"Q4370265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d1d82e384557efcf11242ddfe492ca09d044de","datavalue":{"value":{"amount":"+0.7934209704399109","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":"Q5747644$4C670B49-BCA0-4CD8-85C7-0B774D1D3F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b334918dd1a2aa0f0f022268f87ecb12c10c047","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a072997c10fd7366d06f75f615c2ac8da0d63c","datavalue":{"value":{"amount":"+0.7732306718826294","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":"Q5747644$1E23BAE5-55E1-4559-A1E8-BDA2455C3D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f728407adedd518fc5b29d93b87e53f6b803cf6","datavalue":{"value":{"entity-type":"item","numeric-id":2655330,"id":"Q2655330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc714292466125941169a4560bf2f0cc1c4c02da","datavalue":{"value":{"amount":"+0.7715930342674255","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":"Q5747644$87D18E33-61C7-4798-AB7D-96CA8E83E4FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747644"}}}}}