{"entities":{"Q6159935":{"pageid":13294796,"ns":120,"title":"Item:Q6159935","lastrevid":55458151,"modified":"2026-02-17T16:52:06Z","type":"item","id":"Q6159935","labels":{"en":{"language":"en","value":"Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700623"}},"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":"Q6159935$0D96DB35-7A8E-4C5A-BA78-438480F4C7D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159935$500359A2-8B1C-49EA-AF48-5943829F9757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159935$606A156E-3CE9-42C1-B8DD-62E0801CB892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159935$0E49741E-0207-49D6-B89F-57C2B27D1B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159935$E54C639D-4ED7-445C-8BA3-D719F5F34808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159935$C1D36C55-2E6B-47EA-8FC9-B3C654E5CCD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db8093eeab1a05ce029ee98b477b89e76fda13a8","datavalue":{"value":"7700623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159935$C94AC498-8CE9-4C99-A52B-6272E6A8557E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$32C264C4-ED6E-4CDF-96E8-3EAC66DC4D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$E253D364-D335-4143-A3A1-B1C18E513B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03b9482d9fb5a4dccce7e9ae84fc4c0475ab15e","datavalue":{"value":"many-one reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$6909B816-9E5B-4B3E-8A62-2CA1B9CFECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5143626bec5a5d2c0e6a3c2e42486b21eff5e2fc","datavalue":{"value":"Minsky machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$5C31DE0D-F97A-4FAD-905C-F065C09873D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e661273f8f38ca5eca96f812ee7fadd131ef0ab3","datavalue":{"value":"fractran","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$64A69CA0-D7A9-423F-8FCD-DDD5B8FF25BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918b3c9e6c7dc00d2d3dcb3d0afad467853da670","datavalue":{"value":"sub-exponential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$BAB22FA1-BE96-4233-B0A4-66886D2861DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159935$7CF9E356-F841-4B24-81C6-83B9A5251563","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":"Q6159935$AC5A3C07-BEFF-4558-A1E7-61AB776AF3B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"212709a2f421333045d1acfc1713ccfeb4e5ee5e","datavalue":{"value":"https://hal.inria.fr/hal-03280264","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159935$99014B18-05DC-4976-8A47-97DC34251754","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5509cf90d16f5de8f0ae74741b133d314ecc684","datavalue":{"value":"W3185385517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159935$75CD3ABA-F1E5-4069-B570-01E1CE8A5F4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38091b1652887b3edf7dcf8606756d2f8a8595e7","datavalue":{"value":{"text":"Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159935$88928B89-FF5F-450C-8D9F-EAC7A5E13A0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"687981529ff2f5c4a9389d2b91e28112cbc7881c","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159935$144CE7BA-2610-4B00-BE11-DB5DAABD002E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659bec14680488a0600fc4c8e6bd55236476eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5015208,"id":"Q5015208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb391fda92c77b2a9a3d833ffed365ff8c6d038f","datavalue":{"value":{"amount":"+0.7586835622787476","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":"Q6159935$626ED923-496A-4DF5-9173-616E77D2850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c06b937e2a4851cb6b8affd90ee4f23c68fe0c4","datavalue":{"value":{"entity-type":"item","numeric-id":5741577,"id":"Q5741577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99827597c51b7edb84f4b54f839757d0e14fe74e","datavalue":{"value":{"amount":"+0.7501400709152222","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":"Q6159935$92EDA56A-F0BD-44FE-98D7-D107A43EDC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd2e8cfdbb77e31ed31eb013f7e13896396080d","datavalue":{"value":{"amount":"+0.7446850538253784","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":"Q6159935$16B9BA1B-A4BE-46E9-BF37-429C3F88C95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594fbf994da35238415d829b2f0d5c1052802aa","datavalue":{"value":{"entity-type":"item","numeric-id":4894725,"id":"Q4894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496bc52707483174c8c68ca74ace05d77e6cc515","datavalue":{"value":{"amount":"+0.737501323223114","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":"Q6159935$4C0BAE8D-4092-451F-B819-2498901A606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d453e167d37e1e20fa09e1290daa189c05b307","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0a7ced8d371b683d7245fb7672b0a95ff484d5","datavalue":{"value":{"amount":"+0.7329541444778442","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":"Q6159935$DBF7F7CB-C809-4AC3-8BB1-335B45383E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159935"}}}}}