{"entities":{"Q809068":{"pageid":810916,"ns":120,"title":"Item:Q809068","lastrevid":64534194,"modified":"2026-04-11T20:32:01Z","type":"item","id":"Q809068","labels":{"en":{"language":"en","value":"An essay in combinatory dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210115"}},"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":"Q809068$8C51472E-A0A3-40BC-B3B0-EDE6A27159E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73474789fdfe3ad14bebb8584d9532c285d26c2a","datavalue":{"value":{"text":"An essay in combinatory dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809068$E10BF207-9BDE-414F-BB15-8383B5703414","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4e6edac5677957e2a49690e47e2af154d25afec","datavalue":{"value":"0732.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$ADBF0838-8D1D-46CC-8756-A9D081C15B5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82d7c50ee8c463f57fc54edf5cd1e5746c35002a","datavalue":{"value":"10.1016/0890-5401(91)90026-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$0D943384-E975-4827-9B09-1C5A8646A29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1574efd62e02a1a35bee8d9e65e6651b30b20a","datavalue":{"value":{"entity-type":"item","numeric-id":809067,"id":"Q809067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$B3F494B8-2CB9-49C1-8874-634A466A991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$6E21921F-F7DA-4217-BC35-5F429244FA9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$1FB72B3E-9F42-414E-AAD7-C2BB9C985783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809068$5E5BE9D3-F24A-4343-9671-EE4ADE4C7E05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"afdb2e1668305c1bb3cf48d5a846db8c4d4ece2f","datavalue":{"value":"The present extensive paper analyses Combinatory Propositional Dynamic Logic (CPDL) as a fusion of two ideas in the authors' Ph. D. theses: names in modal logic (S. Passy, 1984), and \\(\\omega\\)-axiomatics in dynamic logic (T. Tinchev, 1986). The CPDL language is defined as follows: let \\(\\Sigma\\), \\(\\Phi_ 0\\) and \\(\\Pi_ 0\\) be three countably infinite and pairwise disjoint alphabets, labelled, respectively, as names (or constants), atomic propositions, and atomic programs. The letter \\(\\nu \\not\\in \\Sigma \\cup \\Phi_ 0\\cup \\Pi_ 0\\) is called the universe program (or modality). The language of CPDL consists of formulae and programs, inductively defined by: (i) The elements of \\(\\Sigma \\cup \\Phi_ 0\\) are formulae. The elements of \\(\\Pi_ 0\\cup \\{\\nu \\}\\) are programs; (ii) If A, B are formulae, and \\(\\alpha\\), \\(\\beta\\) are programs, then: \\(\\neg A\\), \\(A\\vee B\\), \\(<\\alpha >A\\) are formulae, and \\(\\alpha\\) ;\\(\\beta\\), \\(\\alpha\\cup \\beta\\), \\(\\alpha^*\\), A? are programs. For \\(CPDL^{\\cap}\\) there is added the clause ``\\(\\alpha\\cap \\beta\\) is a program''.    After an explanatory Prologue, discussing the reasons and purposes of the paper, Chapter 1 gives a fairly detailed approach to CPDL, easily extendable to \\(CPDL^{\\cap}\\). Sections 1-6 contain: the relation to Scott's isomorphism theorem, CPDL axiomatization and proof theory, soundness and completeness for simple extensions of CPDL and \\(CPDL^{\\cap}\\), finitary axiomatization, the finite model property and hence decidability for CPDL. Chapter 2 discusses some interesting extensions of CPDL: Section 2 is motivated by some definitional extensions which are traditionally in the scope of dynamic and modal logics. Section 3 deals with some extensions treating infinity. In Section 4, two exotic extensions of CPDL, admitting a choice function in the models, are proposed. Section 5 discusses CPDL extensions towards polyadic and multi-ary CPDL theory. In Section 6 the authors prove results on the high undecidability of an important number of CPDL extensions, listing open questions concerning the decidability of \\(CPDL^{\\cap}\\) and some of its extensions, and discussing the r\u00f4le of the \\(\\omega\\)-rule for finitary incompleteness. Finally, Chapter 3 is devoted to quantification in CPDL (CDL). The CDL language extends the CPDL syntax by: \\(\\exists cA\\) is a formula, and \\(\\forall cA=\\neg \\exists c\\neg A\\). Denoting by [d/c]A the formula obtained by substituting c with d (if possible), then the semantics of CDL is: \\(s\\vDash \\exists cA\\) iff \\(s\\vDash [d/c]A\\), for some \\(d\\in \\Sigma\\). The authors prove the completeness of CDL, discuss axiomatization through expressiveness, and give results on undecidability and finitary incompleteness of CDL. The Appendix contains a Stone representation theorem for combinatory dynamic algebras.    This substantial paper points out many interesting results, relations and insights within the context of dynamic logics, including useful comments, evolutions, trends, and schools (particularly the Bulgarian one) in the field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$74D0FB96-FD6F-44B5-A3AA-D059E2893F66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$2B99DF5A-A678-4C0B-9396-AEA91D00B410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$2B7E028F-0BF4-49F0-A22E-ADB10F769182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$F3699260-B84E-4B61-87AA-C940F6143680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87d298f56dabcdd4b9d9fbbe2a795b3f6cff1004","datavalue":{"value":"4210115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$C029109A-0A71-4688-927B-B4F867A35B8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07542bed4f116482bf4388036e092a5af7e7b5e5","datavalue":{"value":"Combinatory Propositional Dynamic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$35E1E0AA-0104-4015-8136-45782A160448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$5A4934BA-D90D-4DBB-9EF6-34A3E07495A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$9D58840B-E9DE-4C61-995E-D7D04DA8D6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49feb00d94a76c43512c620de0d253c94fa4e1a","datavalue":{"value":"extensions of CPDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$1B37AB44-2163-4562-AEA3-AB8D4E7B7EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f379a97d970dfd270edaad8cb1039422cab0805","datavalue":{"value":"finitary axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$BE54F07A-4A5C-4F2F-BE61-45EB217F5AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$A77DFA2F-1D17-4915-B241-F71841745A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$B0512BF7-6A35-4F26-8CF5-AC94DF8323AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$DC87DA7B-4428-41A9-BF03-68A2A37A618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$7CD06C5A-A12C-4CA9-94CA-D89C70ECADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430dfb64f705664e6a5a60cdc4dc8125189bfff8","datavalue":{"value":"Stone representation theorem for combinatory dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q809068$5826B1B1-5130-4245-9B58-664B8678335A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$312C8ADD-2658-44F2-B288-7FDCCC75A00A","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":"Q809068$50787D45-6159-4828-90AF-4E4C3C5FAFD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28056ed53ef07a9d6632c6440711fd2b65f1640","datavalue":{"value":{"entity-type":"item","numeric-id":1159461,"id":"Q1159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$169AF54E-2BC9-46F2-83E8-01809E63098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$99E91157-0285-4AEB-BBA5-E8B5560DE703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98c5768cc82b06e81646aa4a5216e7508a03c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4194934,"id":"Q4194934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$5560D340-28AD-4C01-AEED-3DF3B1C33973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$264D2A47-A8D3-4C5D-AFBD-58F9B7F5EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27171c45081d17a491640c9d376b6b836e297fe","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$25EE1EDB-0E21-429E-9D57-F9E949401A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f12b32d1a0a87df671862548caf17fa5008dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5633975,"id":"Q5633975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$1E703A3A-CDE9-4243-9DAD-11F1AA705F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$F2AB00B0-62A5-48C6-BECE-5CFF9273A10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58e3c5a8bd0e8e00a61441b3d285e2b49d20a3","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$EC498F5B-2C5B-4E3E-B390-4D6BC96252B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14a62f1bb6b14476266ff95af6608f34ff94ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3781738,"id":"Q3781738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$B4B81AA5-F9FF-4163-B090-29EEE77E1EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$AF2785E2-01EE-4B96-912B-519DE0929A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8348488a9fc93209ce7997d4ddfc3cd10fc3b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1065786,"id":"Q1065786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$5F416CED-28EE-48A9-9E21-D16B741C605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$BCA9737E-C6D0-4262-A244-C2C14924CD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$D225E838-1B46-48D7-AF0F-9C01F9573962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$A99B7E20-010B-499E-9D9C-9A366CF3CC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$74ABAF1E-F167-4681-9B5E-63208D64999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c087c749fac9e62b1f0f29ee6e8e1b8e2ba181","datavalue":{"value":{"entity-type":"item","numeric-id":1062045,"id":"Q1062045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$2F1E7166-8085-4058-9774-61D04BD71511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86858da2a4ed22acecb259db2038829e8f11560","datavalue":{"value":{"entity-type":"item","numeric-id":921968,"id":"Q921968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$757346AF-11BE-4925-B258-BA77A6389DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$B0D1ED09-84FB-4F44-B952-9E3B2241952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$6EF40106-0B4F-4875-96AF-09D3331925D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80a1d26d5a61e9579faa728b3b39bbb67345627","datavalue":{"value":{"entity-type":"item","numeric-id":1135841,"id":"Q1135841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$9FE8186D-D2CC-4011-A41B-EB92794820D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$B3EEE655-FDF5-4D04-A31E-382A29B7698D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$3D1B8880-4B53-4885-B1F1-0EAF40A9023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$C980FA2F-901C-4AC2-96CE-17A73971197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a600081f69111d4a4efd0a8b327a22f543f40a3","datavalue":{"value":{"entity-type":"item","numeric-id":4088789,"id":"Q4088789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$2C932DC4-9E5D-44D7-B99A-744E6DB677EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$26C19732-9D1A-4B91-B8CB-9B8EC0B27082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$1A67B4AA-5AB1-41C4-93CB-41DDB2721B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d47702b429041d1ff827ecde5a63adce80e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749041,"id":"Q3749041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$76A7A95A-056C-4F57-BD6F-9D64B153BE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65515986f2572b67c0d20d1d5c16dc71b3862c3","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$3305D33D-EE81-4EF3-AF25-3AFFB0D689B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$38446E4C-752F-42E3-A554-13DDB6CDEB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$292E1E5B-CF79-4649-AB69-68F28890424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56b738565e185d3cb3d312011cb5a72967d8bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1165229,"id":"Q1165229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$C6ABA497-93EA-4C1B-A9B6-41760DA63E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946c2b61d0e1e3e0ee3291b3900511d4c515f079","datavalue":{"value":{"entity-type":"item","numeric-id":1097872,"id":"Q1097872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$DD5396EC-04DA-43D6-A92E-1C99E3004F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$EE10AD8D-07CE-47BC-8E7E-40EEBDCA10F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$DDC9E42B-42F3-45A1-B91F-8EBB8859F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$3F3E5C4D-02E9-49DB-8264-72350E863F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$C9946F30-7D43-442F-A113-562647DEE163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a238c4de9305d6c44438c351c32021cda00668","datavalue":{"value":{"entity-type":"item","numeric-id":5572288,"id":"Q5572288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$F09D0CFD-BE47-49DC-A667-5CBFEC563D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8723c8224d4443bdd7a3d97a7dff5a3dc1827308","datavalue":{"value":{"entity-type":"item","numeric-id":3919070,"id":"Q3919070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$32AF8629-4A18-4172-A8D1-6C194FF8354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98303962c5d0df53d7b0da3efe47e756e2d60e72","datavalue":{"value":{"entity-type":"item","numeric-id":3957925,"id":"Q3957925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$6CB5578B-EFD8-41FE-8FDC-A33A3298B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4655612b304d9bd7e703b05e0795028a785b49","datavalue":{"value":{"entity-type":"item","numeric-id":3792662,"id":"Q3792662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$E7102095-E773-48AF-9692-0E13B901ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1235aa2b8995c7873b7217a80941542799336eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1134512,"id":"Q1134512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$A9684DD1-6038-4286-B6B8-A6B811A6C021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cc037171281dee297950d20bc90e1ffedf1938","datavalue":{"value":{"entity-type":"item","numeric-id":3922159,"id":"Q3922159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$0DC6D2F1-E0C7-4F9E-9B79-97439A3FE4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56086f6d2a7681712908b00a7a68c6b468d9e769","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$CA97B0C5-3092-453A-A9AD-48D2541486B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$FE50E027-5255-47A1-AFBE-2EBC68CE0E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922a0386399841ad7448ccf9b09f9cd437e79a7a","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$A0B72023-BE2E-4050-A04B-B8BA7DC1F75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a589e183e7e2aa4700d9a23c682d13ce1c5ebe8","datavalue":{"value":{"entity-type":"item","numeric-id":3699665,"id":"Q3699665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$42C34E5F-EC03-4A59-8991-4E58644977E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$79715EE7-1CF1-43F1-B297-A2B4E3629146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288b54d551ffd067e778b04ad80f093ed7ac77dc","datavalue":{"value":{"entity-type":"item","numeric-id":3475251,"id":"Q3475251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$6E47B211-FE68-4B4B-A0FF-0A5A8F5ECC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e312a5d1ea32c708fffcbbd00635000db09cc90","datavalue":{"value":{"entity-type":"item","numeric-id":3233201,"id":"Q3233201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$47EA6DB1-F65C-4349-8C01-85BB036883D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$DB7CA61B-A64A-46C5-A8B7-C68D3D30DAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8396ffc040804b6969e47e9cd073ff2761d315","datavalue":{"value":{"entity-type":"item","numeric-id":5596205,"id":"Q5596205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$4E68D2A3-5586-44F2-A3F3-35A43D4A80A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83077cf98a3cae39fdc717daa4eb9891aa1315a1","datavalue":{"value":{"entity-type":"item","numeric-id":3744151,"id":"Q3744151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$ED1B9309-4ECB-4C0C-BD3C-86C0DD3BDE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad2df63ac76dd61c0201cd452c5901852447d98","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$33ED9956-4825-4765-B5BC-B834F4514851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$7CF3A5AD-0E89-49F5-93D1-3BEE1602B7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$68C94EEB-3974-42F3-B98F-465E939E1F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed029e9dbe6c83a30547288877deac54e215cd68","datavalue":{"value":{"entity-type":"item","numeric-id":4694253,"id":"Q4694253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$449D3937-8953-44C0-BF5A-8316B32C8755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$39856AF1-1856-492C-BB5D-A6D77753F96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$AB5115CE-66FA-417B-AB0D-6103D31F4C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$A646D3A9-DA0D-41F1-B538-572DA001534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$834513A0-758E-4E0D-B465-E841BA958FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$087F214A-C7BD-4E02-A611-A6C1487685E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764ff6cb229a9b11ee828e80df20e5be49712b58","datavalue":{"value":{"entity-type":"item","numeric-id":3322087,"id":"Q3322087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$5330FD73-0EB9-4F45-9DDD-ADF25521F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143d443762bec117d1bedcea1bfdbae1b4d6e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":5184384,"id":"Q5184384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$DF5F3DD3-477A-4BA4-AF09-5BC3579CFAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f283e64b4e721096e5ca29db9be20b2f92d11","datavalue":{"value":{"entity-type":"item","numeric-id":4039666,"id":"Q4039666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$E002B21D-FCAC-45BF-98AE-C119B236CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$6413E0BD-F88D-4FEB-A147-A6B51B41B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c5575065912f0e29ef2bca4169100f1573cd43","datavalue":{"value":{"entity-type":"item","numeric-id":5586318,"id":"Q5586318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$9C903FFF-1A45-4DB6-9EE7-5B0A69A63C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d110fba012258b4fcf5bbded0467d44b05f81be","datavalue":{"value":{"entity-type":"item","numeric-id":3735691,"id":"Q3735691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$441867EB-5B6E-44C1-A805-C505460CAF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7103a5405286b870e6ab7a14ae128d2d5cab1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1062972,"id":"Q1062972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$8754F0C1-C261-4073-8411-582D10F4C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c75b26b828a3035bd0f5630f45df885295ce82","datavalue":{"value":{"entity-type":"item","numeric-id":3318100,"id":"Q3318100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809068$64823638-213B-426C-B396-D0704F4686F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"677a5d92814abde6b2fcf5234d17069c475ec942","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90026-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q809068$BE6B8872-703D-4CE8-BC40-896787907D36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"607532ad740a66bb24f6966c114db94b94d51725","datavalue":{"value":"W2064773636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809068$C52B23E1-AFA0-4230-8986-AA1C0B35D236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4155c5f35135c263dd0f237e0f600175cb29ad4","datavalue":{"value":{"entity-type":"item","numeric-id":3699665,"id":"Q3699665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9eeecb0403463586f3325b838ee48abfd0816e","datavalue":{"value":{"amount":"+0.8403195142745972","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":"Q809068$3A0F5E1A-0F50-4E3F-82E2-CC64F84214DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78050fdccb5a76762cc3e7bce7c8462922539035","datavalue":{"value":{"amount":"+0.8168494701385498","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":"Q809068$00EEDFFD-70D7-4E16-AA67-F74FD8FA0E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480dc1b70cacb6642f3600ad0a25b380ef897a70","datavalue":{"value":{"amount":"+0.8151110410690308","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":"Q809068$8D7848C1-7091-47C3-9136-1D2777AC8670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e86eb019fc332cd78dd00901a4ac57259ae542","datavalue":{"value":{"entity-type":"item","numeric-id":4029612,"id":"Q4029612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9060b2e482675916fe21a806db715b7e3563d9cc","datavalue":{"value":{"amount":"+0.7930117845535278","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":"Q809068$E13C9289-DB64-49E8-8DD7-8463BF40EC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0fa55d5312a1d70d4a3e8917164edba8e2a018","datavalue":{"value":{"entity-type":"item","numeric-id":3760521,"id":"Q3760521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7224851b975608e60883c0cbf2524e2684aecd","datavalue":{"value":{"amount":"+0.7901958227157593","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":"Q809068$0AA86DB9-3600-491A-8403-B8CD7CD858A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An essay in combinatory dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_essay_in_combinatory_dynamic_logic"}}}}}