{"entities":{"Q4965869":{"pageid":6995448,"ns":120,"title":"Item:Q4965869","lastrevid":58369161,"modified":"2026-04-04T22:19:11Z","type":"item","id":"Q4965869","labels":{"en":{"language":"en","value":"A coinductive semantics of the unlimited register machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319044"}},"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":"Q4965869$431D79E1-306A-40AD-B339-D43C0E001FBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c0211860ac63560c78ea06b0342389bac9a4f32","datavalue":{"value":"1457.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965869$813E0C01-4388-4376-957F-3D099F67FA96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965869$4E56949E-186F-4D93-B028-DBEE2F660C8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d07f1615638384ca69a50bef14bf883b80a1545","datavalue":{"value":{"time":"+2021-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4965869$86402F8D-E7D6-4E1C-8E06-DE95B44C93B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14139c7f0ed7d73f0c4b542a3e901b72722ee8d9","datavalue":{"value":"https://arxiv.org/abs/1111.3109","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965869$DFDC5FE6-A863-4C79-8F30-5C79ACC8BEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"87ab874e0e85b7cdcf54eb50fd39bbb96fb8219e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?INFINITY2011.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965869$1DE8AE64-DE8E-4E97-B820-89E05B8FD892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965869$450D0072-07CB-44D7-AB2A-1EBA39F8753C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965869$0BA97D9D-2E7C-4EB1-8150-B18067FCAB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965869$FD29BBA5-D29E-46A0-B58A-EAC7FF450511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965869$194BE723-D110-41F1-A9B8-756517B561EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"891b4da57b8259b68051fee71b80f665ddd92561","datavalue":{"value":"7319044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965869$A0DFD7E2-4253-4EC1-81AC-4A73604B5196","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965869$A21E1A2A-810A-4FED-80EB-91B626FD3974","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":"Q4965869$A12DB4A7-9AFA-4BD6-A899-2315B6C0AEA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4c65573320df4f4f50c0e731042082b7e7a270","datavalue":{"value":{"entity-type":"item","numeric-id":2797865,"id":"Q2797865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c9044de236501445bd5a8fcf79f6044a55289e","datavalue":{"value":{"amount":"+0.8015305995941162","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":"Q4965869$147EBB2E-0781-47AA-824A-CB931D8D4A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62049eca7acbd2f2a8f707179f8ef9b08c001fd","datavalue":{"value":{"amount":"+0.7304297685623169","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":"Q4965869$69EB13AC-1CC3-492F-B9CE-8ECA2AFAC9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6f4914cfd704d6ad9feca7c791b1fcae893d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2917339,"id":"Q2917339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf23cd375a83cfdc65cebb0e5f92b5fda22fe04","datavalue":{"value":{"amount":"+0.7244670391082764","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":"Q4965869$25C80E1C-072F-4AAF-AAFF-C3D5EF3EC9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9c09ed6ed04a5feb65cc5c103a868d308aafc5","datavalue":{"value":{"entity-type":"item","numeric-id":2324001,"id":"Q2324001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161057c31b3be4f7a759f8de39b1f2eb6fc2acbc","datavalue":{"value":{"amount":"+0.7086960673332214","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":"Q4965869$620F7172-53BA-4F85-90C3-32394DD5E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43c8caecbde7694f12ec3164da9e4d96d586bac","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2f60347e9c009b3f2e37faefa8a74392231d19","datavalue":{"value":{"amount":"+0.7060756683349609","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":"Q4965869$18BC42A1-2C2B-4E37-A94B-FE9A1C425B9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4965869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4965869"}}}}}