{"entities":{"Q4023579":{"pageid":6053344,"ns":120,"title":"Item:Q4023579","lastrevid":55204033,"modified":"2026-02-04T18:48:38Z","type":"item","id":"Q4023579","labels":{"en":{"language":"en","value":"Programs, Recursion and Unbounded Choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 107998"}},"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":"Q4023579$2693F6D2-7083-43A6-8886-01C2A7E13F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24b77b863cc690583bf34e21236ffaa6a384edab","datavalue":{"value":{"text":"Programs, Recursion and Unbounded Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4023579$A971BB16-9EC1-4D28-A86C-F4A12E1A8049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9317941675b051aa9bc0d4e6eab25b2745cc3600","datavalue":{"value":"0759.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$61B61FFE-8645-4D12-8BD4-E680A19B5477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab6704e0d742763d2c216e95f45e909c3948d5aa","datavalue":{"value":"10.1017/CBO9780511569784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$D2FD8F74-E91E-4732-839B-2FEC6276B31D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023579$1B558BD2-9EAA-42F1-929D-B36DB24B2E73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-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":"Q4023579$B207467E-7CC1-4063-B157-2E838B2FD6E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$9EFE0785-7FBB-4D82-8577-1A622D291558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$BFDEC915-9DE1-499A-A4A3-FC53476EA58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$8825BD55-7524-4B81-B838-A90B703AE1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$24898D8C-1AA2-48B3-94DD-314F670B6AC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc02543a5496970bb0d988b9e418a86108bc300","datavalue":{"value":"107998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$3761DF1B-BFFD-4C0C-87B1-B9F8CB1D41DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21179dcaa3af895ca553d15538d18b98171f6a93","datavalue":{"value":"formal specification and verification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023579$1F4DA7D1-0914-484D-98DB-26E4E058753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023579$234D194D-A659-410F-A212-1DB16D466FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023579$13C37839-BD2D-45D5-8945-C87AE474397F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cea8bc3e3e8dc11aac4723116c10b9202da2c90","datavalue":{"value":"predicate transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023579$6D1443EB-552C-45BD-9B31-9440EF272C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023579$C6DF8A3C-7448-4BDD-9CB7-31F3381BD50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31efb4d9ddc14024dd5493249f4389b9105454f9","datavalue":{"value":"unbounded choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023579$F3286AC7-0200-4BDD-A99E-1F1518C1899F","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":"Q4023579$74363256-C01A-40D0-818A-1002D09D0028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39d242c094aeb6b8dbe5a4f1b7abd35425cd8711","datavalue":{"value":"https://doi.org/10.1017/cbo9780511569784","type":"string"},"datatype":"url"},"type":"statement","id":"Q4023579$8769C8BD-8C9A-4853-A0C9-7E11BA454158","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6a336482ac7785a2b89a525f2fb153d50300e1c","datavalue":{"value":"W1582275525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023579$DE280BC2-6E4F-4C23-BB6C-06F7DB79C6CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9108c8fcfb83f075bfefb84dde5377179e381","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575a3b582d9abc834522116daceabe1eaa0cbb0b","datavalue":{"value":{"amount":"+0.8973218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$0B394813-E643-4C95-83B0-305FA67FA26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b553ea3bfd32ff73c8ac582cccb04ce83543aff","datavalue":{"value":{"entity-type":"item","numeric-id":2639051,"id":"Q2639051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58f00799fb652d152c88ae4d8cb4156022ceb7f","datavalue":{"value":{"amount":"+0.8939723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$D80D0DFA-27F8-40D5-A77A-1760F8BFCD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43afeddab9f5d626fc7e7f1a7f4dd5022293d7e0","datavalue":{"value":{"amount":"+0.88899875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$297061E8-20B9-4188-96F6-3462EE1C2870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26da7b880a0e9028b8ccae44de6aa0ed5c08e1bd","datavalue":{"value":{"entity-type":"item","numeric-id":3490962,"id":"Q3490962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3116b6040ed240a040e72b8abd0dc311c37d0db5","datavalue":{"value":{"amount":"+0.8817817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$9BC468F5-8698-4C0D-B46E-1ABAFED371BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199518c26887155607064620671f29c885713d7e","datavalue":{"value":{"entity-type":"item","numeric-id":672318,"id":"Q672318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aaa07f91dadb72937545b24ce17b5e61b45e258","datavalue":{"value":{"amount":"+0.8811825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$3D5B93DA-B2C1-49A8-A297-DC2C15B24B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f916276d7d5c4793f71fa18d12d927e26b6e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986f8038a53ffa787e27dec4788e121ad71853a8","datavalue":{"value":{"amount":"+0.8802178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$1F2E22CF-224D-45D3-9368-77159879D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2f8fb744acbecce2c044a7dd1aa0e1e2b0430f","datavalue":{"value":{"amount":"+0.8787335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$1C0AE2C7-80E5-47CC-949C-9E1D6A9F2459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7530272832f41eab9403e6bd4d89b6d9c14b47","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dceb10720071e8db4668f4367201bd224c8413a2","datavalue":{"value":{"amount":"+0.87836117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$3D835A04-BA3C-4CA8-AF7F-5E102136C9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55c1f7c9f332defeb3b2eda07bc93710024c317","datavalue":{"value":{"amount":"+0.87606204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$7FCEEC2D-26BF-4CA8-B861-7A98F051CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528e43eef8610b42912025a3bbad6632b4ed3fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5472882,"id":"Q5472882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00318bc32c4f12019ad163df8721aee6bd0e7e2e","datavalue":{"value":{"amount":"+0.8743546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4023579$6D81E69E-845B-4F6D-AD73-AA98FD0A82B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4023579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4023579"}}}}}