{"entities":{"Q5089609":{"pageid":7119185,"ns":120,"title":"Item:Q5089609","lastrevid":54367061,"modified":"2026-01-26T17:19:43Z","type":"item","id":"Q5089609","labels":{"en":{"language":"en","value":"Program algebra for Turing-machine programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7560032"}},"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":"Q5089609$5BDF48CF-6D68-4EBB-A27E-60E7FB1C671C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb0465f3f8c0374c80151a7c3b9bebdbcecff35d","datavalue":{"value":{"text":"Program Algebra for Turing-Machine Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089609$7B5CF2CD-BEC4-492D-A54E-791F124D9E0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bf7c91802b113ef18571b9fdf3bcc1775987d64","datavalue":{"value":"10.7561/SACS.2019.2.113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089609$79B8B059-242D-445E-AED6-D43057A659D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089609$17E45176-1A52-4E05-9D8F-5B76E6AB0FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089609$BE85A5FA-4B83-4329-BA82-296B8DB6C09A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089609$9B94B960-0942-42A2-AEE1-2A9B7E38332F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd16289d0fc1079df359b6aa9d58fa174ea29bb","datavalue":{"value":{"time":"+2022-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089609$4AB46178-990C-4694-B27E-C60A91F6B956","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48309a6b80fd21f9a651d2a85472238dd58e1da6","datavalue":{"value":"https://arxiv.org/abs/1901.08840","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089609$A107D80D-76AF-4D7D-B24A-C7942D88921E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089609$BFD1EC60-EE53-4874-AB05-77568C39B2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089609$B7CEA715-1053-481C-8BB0-DD6CC7F694BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57823a1e5234f8eb8506d02e875bf6a5f0f9b767","datavalue":{"value":"7560032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089609$7C70B853-34EB-46EC-90EB-C8F1A9261FB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd182c2e9058301efa292c2afe2941792b9eb1ae","datavalue":{"value":"program algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089609$BBBB2BF9-BD7D-4A66-9C3F-7EAC734EB65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d235fa3ac1188412742ce2cc3566f249a5718377","datavalue":{"value":"thread algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089609$9309B562-735C-4B0C-BD04-3DAE5075810A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be5035bbaefc18f23cb47009b02596a51f85005","datavalue":{"value":"model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089609$209E4A9F-6E3F-44EF-AB68-BB4E13835498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b38a83dc5001b0f9568a0260626932fbfdacded","datavalue":{"value":"Turing-machine program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089609$FD8FE324-0CD8-4F2F-B3B0-1CDE2B136C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089609$4660EB59-54D4-4715-A7A5-DEAFC35CF597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089609$6596F898-460B-4663-AB39-8F4F293C2B3C","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":"Q5089609$411DF079-EEF4-4500-B6E8-295EA7CDE784","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2597f0bff7d91c0069a6499cf111112e4b57f","datavalue":{"value":{"entity-type":"item","numeric-id":2209486,"id":"Q2209486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf85f5aef4c46e8e3c3ef7592889d01096262194","datavalue":{"value":{"amount":"+0.80391925573349","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":"Q5089609$09CBF592-4AB3-443C-A835-9F7E10D0CEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c81b81c25b7f95418e9adbd6827087c94203e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4715914,"id":"Q4715914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438e008337b67e6a8b137e8efcef45895ec8d748","datavalue":{"value":{"amount":"+0.7575824856758118","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":"Q5089609$33C8E937-45C5-4CB6-A8DF-802A3CFAE1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0513b74ba7acc00b30b410fe9796c8b07b306b","datavalue":{"value":{"entity-type":"item","numeric-id":715042,"id":"Q715042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438e008337b67e6a8b137e8efcef45895ec8d748","datavalue":{"value":{"amount":"+0.7575824856758118","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":"Q5089609$91A8F5EC-4446-4402-B135-27FC20E2CC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dee129a19884498cec646081c9fcd037174dd7b","datavalue":{"value":{"entity-type":"item","numeric-id":3801531,"id":"Q3801531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27273d85bf636fde1e44300ca6f2773f531a1b5b","datavalue":{"value":{"amount":"+0.7421334981918335","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":"Q5089609$FEB898A0-48A0-46C1-B8BF-0C21D6B9AAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cebdaee2bf2a0677e0e951bae3717b521fc9424","datavalue":{"value":{"entity-type":"item","numeric-id":1858432,"id":"Q1858432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145429ad9091de54386540b91829243a3730df9b","datavalue":{"value":{"amount":"+0.729758083820343","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":"Q5089609$7FCFF8B4-0F79-4302-BB1C-710F431FA35B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089609"}}}}}