{"entities":{"Q594584":{"pageid":596360,"ns":120,"title":"Item:Q594584","lastrevid":42596377,"modified":"2025-07-04T11:52:17Z","type":"item","id":"Q594584","labels":{"en":{"language":"en","value":"On Goedel speed-up and succinctness of language representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3835344"}},"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":"Q594584$A4F56C42-FBFF-4C34-8DF3-AE7471E1D59D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc33f8a121ea20fa745f122881c77adfee633af","datavalue":{"value":{"text":"On Goedel speed-up and succinctness of language representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q594584$50DABDEB-D07A-4720-9196-3ED476E1CC09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"686611d76e65a5cda0f619b6e6244625e309f2e7","datavalue":{"value":"0526.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$37E79D83-8BDF-4BAF-9820-7BFEC39DA05F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061b07702e92c56f1f6ad075e6a79e9aa8a0fbf3","datavalue":{"value":"10.1016/0304-3975(83)90016-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$3CB7F4BE-7423-47DC-B056-E28E0192BC86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$9593C83A-E254-4CFC-9F43-A37A04F7A14F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q594584$19D07592-6C7B-487E-B29F-0B2ED056C426","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$77ADD623-DA7C-4993-8BE0-57F2A0F6F849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$E03AF1FC-055F-4D30-9863-B0D3025AADBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$E568DFE6-7278-40DC-84E1-650A3ADC30F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f47c47b57fdfc1133f29750b0beedb395c151101","datavalue":{"value":"3835344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$BCD4559E-0ED2-4569-AF7E-23F89B70BF97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d20fc7e0e6909c4481d5d2ddd0e500a0bcb6626","datavalue":{"value":"relative succinctness between different representations of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q594584$30A75A31-3FAD-485A-A790-668463606B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e381bf83ba18edd6253470fa2a875aef4d0be008","datavalue":{"value":"non-recursive shortening of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q594584$34E53ECD-90E4-45D8-8268-06437865B5E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24581060e1fc674d2a5c7705dc19743c7374ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1071499,"id":"Q1071499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$AE223632-A3C5-4439-B44B-D28A22E7F5EE","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":"Q594584$255ADEAD-DC42-4295-B16A-D6EAB67DCCF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be14f5c216fc509309814af9079d784f8676ed26","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90016-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q594584$0235C9D7-A689-4A55-A54E-BB104B8D0650","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abbe0ab33a32178b868cc5e98ef9feb18c86847b","datavalue":{"value":"W2008388355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594584$E1088183-3DBF-4EC6-A90F-4B0080476789","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7340b221ac7717ae41fe2723a2692bc81619cde9","datavalue":{"value":{"entity-type":"item","numeric-id":5588674,"id":"Q5588674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$97A04FBA-30F8-47FF-BBA7-A374E1214498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0596e5c599613b80ada37fb1d40e1b8f50bde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5549809,"id":"Q5549809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$892663CD-A0DB-4597-BCCA-E15C7412EFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423ecb44ccefd2a3d1e6736f0bdd2925c8e12d07","datavalue":{"value":{"entity-type":"item","numeric-id":3875311,"id":"Q3875311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$E7B0F38A-B4A7-4F8E-A86D-75175F000386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ddc2f1694285ad6a859cd2c0345af5b068cf5b","datavalue":{"value":{"entity-type":"item","numeric-id":4182501,"id":"Q4182501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$96936A5A-D0B3-4B34-9DFE-0D375185901C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d0f4901d95bab60d624828708f8502e6ba83ea","datavalue":{"value":{"entity-type":"item","numeric-id":3901021,"id":"Q3901021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$DAE9F37B-192F-4581-B085-E8B5E137F1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ef791ee882adfc8e4af324a7fe87050a82e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":4197341,"id":"Q4197341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$F90042E2-0495-4D6F-A9BD-7A5C5FC7A190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc858e204245d49f72b64a4aeb12c67d57861e0","datavalue":{"value":{"entity-type":"item","numeric-id":4055150,"id":"Q4055150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$131E4A89-24A5-4830-8E5D-415EEA2C47B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$7A4CCF40-BD74-47C7-B199-D7C65F792DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab64a72d9fb5929efea3c3a8127561cbc11b9ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4133160,"id":"Q4133160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$9F96BDAE-BE59-43C8-8833-B011E6D2D528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4ae228dd6ad96b25a1a924348a48c6064fb904","datavalue":{"value":{"entity-type":"item","numeric-id":4105806,"id":"Q4105806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594584$4E2C4043-B381-4032-AC3A-8714A4145E1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:594584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:594584"}}}}}