{"entities":{"Q5145146":{"pageid":7174717,"ns":120,"title":"Item:Q5145146","lastrevid":53911346,"modified":"2026-01-25T22:22:20Z","type":"item","id":"Q5145146","labels":{"en":{"language":"en","value":"Simplicity via provability for universal prefix-free Turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298580"}},"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":"Q5145146$842D5F83-6256-4846-87BD-86FF6D0AE57E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16a51990ad49b493e8e946ff6e3af00e5603a202","datavalue":{"value":"1455.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145146$D4491C5B-7C56-42AB-AF09-39F961C5EC99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-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":"Q5145146$BC9A5AAE-7852-4ACD-8325-40316FC65C26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58c04719a93143899125cc1a2d2d14902f00eb16","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CSP08.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145146$144C63B0-6540-435A-AA8C-74A0DE8F3392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145146$C6FBB62A-E65D-49E5-B4A1-10FF92D64839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145146$1032C7FF-2360-4163-9BB1-4485E52A07BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145146$0134764C-E889-4E48-9D98-972AD3639045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b289951d27ffa915db0828308d54cb82d7968f6a","datavalue":{"value":"7298580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145146$68C530F4-20F5-4BF6-A0C4-FC08FC6AE241","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e9fd827f0c306dc6fc60932527fbe8faec3e49","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145146$0B852CA0-4759-4CD8-94AF-580972AB4EF1","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":"Q5145146$4ADA6C6C-6596-4201-8416-7EDAE853E4E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adee5fc06be85b68b977835ff24f79002295894","datavalue":{"value":{"entity-type":"item","numeric-id":616504,"id":"Q616504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0166718b59f81380c9c7e53b2ab73516a80b266","datavalue":{"value":{"amount":"+0.9770344495773317","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":"Q5145146$7F0606DB-E8A9-477F-95F5-E3019AE79C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3a8831bba4f5e203cf9dfdcf0bc3dda965ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":2941600,"id":"Q2941600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c75c2992e4f2487b8c754ac43531b625b6cce6","datavalue":{"value":{"amount":"+0.7540518641471863","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":"Q5145146$A7DA1014-74E9-413E-98A0-9BA63D9DEEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0553013a20bc7364b7a27303f8d1a2fcfd131173","datavalue":{"value":{"entity-type":"item","numeric-id":1349857,"id":"Q1349857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b78eebb30450b9f504d6cde6092665caaf2e436","datavalue":{"value":{"amount":"+0.7402598261833191","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":"Q5145146$F6B976AA-B013-4B33-8E09-C061073E2B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404416c426636941b2299cd70b77d0094293ac36","datavalue":{"value":{"entity-type":"item","numeric-id":5425384,"id":"Q5425384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d199aadd0c5743b4d665313212a8282a3565f7","datavalue":{"value":{"amount":"+0.7335310578346252","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":"Q5145146$B57E1EE9-8926-456D-B284-CC7010F0D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbfd7d49fb0afea782f8ca52b25c8589e4228f4","datavalue":{"value":{"entity-type":"item","numeric-id":2770681,"id":"Q2770681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66227715b984ee986b41bc3727aa03658a0cfab4","datavalue":{"value":{"amount":"+0.7283786535263062","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":"Q5145146$7F74D4C8-A26C-4734-B4F5-AB8A2848E784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145146"}}}}}