{"entities":{"Q6941737":{"pageid":21154029,"ns":120,"title":"Item:Q6941737","lastrevid":84099857,"modified":"2026-05-10T01:41:21Z","type":"item","id":"Q6941737","labels":{"en":{"language":"en","value":"Representing Isabelle in LF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8081385"}},"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":"Q6941737$1A0DABCC-A952-4FCE-9DE7-819C620A1C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c614764c6abefde06b6e014bf5219a288558e69","datavalue":{"value":{"text":"Representing Isabelle in LF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6941737$225B911A-FBF2-4832-92C7-854817A7EFB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4467cde16656d8c877d9bf3d1516b9906d6269a3","datavalue":{"value":"1570.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941737$2EBC3CB9-1267-43F4-B816-289A916670DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0c55e71a8c150cc3a7aa78a0d61ba25618a95fe","datavalue":{"value":"10.4204/EPTCS.34.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941737$ADDB616D-82FF-44FF-AD8F-A8ECACE0DE45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$1980A9AF-05B9-4AEC-9A1D-3FE675903931","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-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":"Q6941737$545ABF74-09E6-4DED-8734-592BF8C1F997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941737$65C6B439-E0C4-4079-92A2-4A810589527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941737$7F551365-89BE-4B0B-819F-D8DA6634EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941737$353FD9D4-767B-4C73-B1E4-0E661B4C721E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b85bdbf491d47ed6678d1a5b51c39f48c24d314c","datavalue":{"value":"8081385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941737$07B7A232-8BE4-45CA-9E2B-147A9DE8FF3D","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":"Q6941737$2F28E76E-356A-4976-B1E4-D905EC67FACA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$883CA634-071D-45BF-A6F9-08FFA90A5D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$7F97634D-F693-4D45-AF17-FAE82A623F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$6480EFC6-0FE2-4583-B597-DADBDF53FDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$9D4BD222-BEC3-4997-B16D-757DC219A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$208AE3BC-E3E5-4312-B8A4-AFE7B3D7E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$657B36C3-07EF-4FE4-95F2-68893CA51260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$64EB2114-4E10-4A61-8F46-929A3869B98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$64E07620-F9AC-44FA-8AEF-E4602DADB96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$EB95D979-7051-45DB-ABB8-03D74A7D2333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$032AFBB8-4262-4827-8011-62DAD2A3F269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$3380C330-EB52-47AC-A432-93C47BC16713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$A053BDFB-769D-475F-AA04-E23BD731AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941737$46A9F54F-4D73-4E84-B5F0-AFE9D944D77B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representing Isabelle in LF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representing_Isabelle_in_LF"}}}}}