{"entities":{"Q3586036":{"pageid":5615940,"ns":120,"title":"Item:Q3586036","lastrevid":90339341,"modified":"2026-06-04T19:55:20Z","type":"item","id":"Q3586036","labels":{"en":{"language":"en","value":"A formalisation of the normal forms of context-free grammars in HOL4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779240"}},"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":"Q3586036$2EEFE1B8-D034-489A-88E5-E8544A8B6B94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fed4497d5bffb3a93a387a71784cb086c4525379","datavalue":{"value":{"text":"A Formalisation of the Normal Forms of Context-Free Grammars in HOL4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586036$005203F1-1DE8-40DC-ACAA-714BC6779E18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e4dcdc79810f1227d8c0e251585d62fb78e11cb","datavalue":{"value":"1287.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586036$063F99B0-02A0-48F0-AF86-DB8212B39055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"173fb9293426a536dac28c41f396129b53e213f6","datavalue":{"value":"10.1007/978-3-642-15205-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586036$683136B5-CF08-4B29-8B55-BD65D05B8942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f503b2db75305c6c80ccf2465571a00f9a49862","datavalue":{"value":{"entity-type":"item","numeric-id":386030,"id":"Q386030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586036$37E84F92-00E3-4D4A-8636-87574187CDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586036$C1F7DEBD-AB5F-4960-B016-4BF614A68AB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586036$78461F20-7CDB-463F-A7EC-CCE3FD79726C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586036$AEF59621-A4E6-476F-9D7C-723BEAF6963F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586036$E2DCF8F8-EC2E-4467-B09F-19D9F66620F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586036$69106A2A-19F6-4772-9FEF-F93D5886BDB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa073e17459bd95445a3e4a3062d53c6a42461a9","datavalue":{"value":"5779240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586036$FF80088A-03F4-4EA8-B981-C271852F6E41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586036$1ADF878C-C570-4F07-A582-F373DD8B1C41","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":"Q3586036$71A23EE7-3460-47D3-B519-CC9C820DD4F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d41107e275e5e91dcdff6404d184e7b7dcc4fd6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586036$5A340E4A-5ED6-4F5B-B3BD-C8114714AD00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab8fbc8850b0a7adc72a2c49ebbd1451559a2e07","datavalue":{"value":"W1563095777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586036$970F61DE-8FD0-497C-9B4A-9F6A51F4B45E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cfc9baf4bf6693de7c50f02a5cc4c4483e419b","datavalue":{"value":{"entity-type":"item","numeric-id":386032,"id":"Q386032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496b2974d20b0cd89ab1e4a11dcb7635e56aaa2a","datavalue":{"value":{"amount":"+0.8240508437156677","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":"Q3586036$C14E63CB-9CB5-4D54-ADAC-FB3A6AC08D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91af2a4ed092b1374cfa3b06e47833008317d33","datavalue":{"value":{"entity-type":"item","numeric-id":2820703,"id":"Q2820703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d866ca25bb0eadbe0734388bac8dfc4c57c91a31","datavalue":{"value":{"amount":"+0.8111661076545715","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":"Q3586036$0C3B0AA0-08A1-4FE5-B67B-370398CBD9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cce3d082a23af633d39b9d288104134db74a13","datavalue":{"value":{"entity-type":"item","numeric-id":4931595,"id":"Q4931595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463bcd946e5e2ad907fb07985133d6e0917b3d61","datavalue":{"value":{"amount":"+0.8085300326347351","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":"Q3586036$376484A7-41C6-46D9-96F5-1BBC1DA1D8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16a250b9efff214d6607383d964c2e9263ceb9d","datavalue":{"value":{"entity-type":"item","numeric-id":4440551,"id":"Q4440551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae452f0524af860e9822abb7867d9f87e45b386","datavalue":{"value":{"amount":"+0.7548445463180542","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":"Q3586036$C5CF27B8-134D-4D89-814B-9D42F66332EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e35eb6ecda6495ed32742c39a5228adaecbdaff","datavalue":{"value":{"entity-type":"item","numeric-id":5958723,"id":"Q5958723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e034e5deafecda74a623c59f15567e9fb4bf2156","datavalue":{"value":{"amount":"+0.7512339353561401","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":"Q3586036$4D11FDF8-92ED-4DF4-BB09-A6B693D2C25F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalisation of the normal forms of context-free grammars in HOL4","badges":[]}}}}}