{"entities":{"Q2434574":{"pageid":2445317,"ns":120,"title":"Item:Q2434574","lastrevid":57917004,"modified":"2026-04-03T02:05:31Z","type":"item","id":"Q2434574","labels":{"en":{"language":"en","value":"On the toggling-branching recurrence of computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255904"}},"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":"Q2434574$553A3252-9EE6-40DC-B1D6-6C42399A5B64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"054ee9108c091cec026aeee9bef77dfb5ddb5613","datavalue":{"value":{"text":"On the toggling-branching recurrence of computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434574$5B16D4DB-84CB-4B47-A35D-3615A781B229","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56f44d49df70bf111ece0a4834d10e715d345dc0","datavalue":{"value":"1280.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434574$C9B19DEF-C032-492D-A594-E6AD9E82225A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad28345bd9f92772f3055871c0c71f08a32eadb4","datavalue":{"value":{"entity-type":"item","numeric-id":2434573,"id":"Q2434573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$7672DBE5-C22E-49A9-9D06-630EA36B5FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c27ba6015a5cfd18f698e8f55081ae2a847ca1ad","datavalue":{"value":{"entity-type":"item","numeric-id":238017,"id":"Q238017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$87B46CC6-FF93-40BC-8C67-4BEA4DFCA12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8dc5bf145c8e238a6ee748879f27ee6f703bafc","datavalue":{"value":{"entity-type":"item","numeric-id":238016,"id":"Q238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$4DBBD3A7-58D8-4067-AE18-037B3DAB4A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"630c191edf57124b2a2d26a0eab96b3ee684bee7","datavalue":{"value":{"entity-type":"item","numeric-id":1724759,"id":"Q1724759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$E9A28B6C-CE40-4ADA-A2FB-91ECF6F2F0EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$B0EEE592-3AF4-4F94-BA08-01FE735C8587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a08f71e961d8178ae039809ebf372ac6dfc2419","datavalue":{"value":{"time":"+2014-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434574$37C9BFF1-320F-4CFA-99A6-B26920E930A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"919f3f21f237a04dbc518e311302b71ac8685831","datavalue":{"value":"https://arxiv.org/abs/1207.1188","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434574$99B1072C-3919-4345-B092-007EFC8635B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434574$FAE4E862-96E6-4317-B551-0A8D3F2D148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434574$70BE437A-DE9F-4E41-A074-A545FCA7FFDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51d547dcad7ac46c3c88a7d2ab17be7c9a8f5526","datavalue":{"value":"6255904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434574$95F8AB7B-6209-4FE9-B28C-474F52C8BA61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434574$673AE90F-80E5-46F1-805D-521CF7F19CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434574$FA37DF6B-797C-41EC-A736-673DA5F6015F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434574$6A9F9007-DC5D-4E64-BA0A-C6A8B732EADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd2eb1f513fb3c0e858ecc78ed1bf1f00eb4808","datavalue":{"value":"static game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434574$78725B67-5CD6-4896-99FB-AB66B83C7456","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":"Q2434574$D9C652E2-6B2C-4F43-AD9B-35D071CECF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bb75fa1b91a5a58d131656d1713ecd2a51e1c57","datavalue":{"value":"W2047203570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434574$A46320D4-DB6F-47BA-9554-A1C477EBC76F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$EEDCD604-D2D2-4323-8E49-9DE0494C36DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b449a915cc424c1a97567ec5abab79953b71e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":5410328,"id":"Q5410328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$12EF7D41-2622-4D2E-9988-C5800AA68E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09765f946ad7b1edd8e4c2f3a7a059a83c308a33","datavalue":{"value":{"entity-type":"item","numeric-id":4928705,"id":"Q4928705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$F9087898-BC46-4EE5-81DE-4C1723166E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e518a727768fabe4eaa82ffb7f7689f2d063546b","datavalue":{"value":{"entity-type":"item","numeric-id":3620031,"id":"Q3620031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$032F6CB6-878A-4A8C-AB36-7BFF79A6AB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eccdf72e1f203c4524bc6a55b606b03cc00d9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1005975,"id":"Q1005975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$69832D73-1DC7-416B-AE85-F24E00F283A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fef59974ba573d0e545d6c9cfab5cd51b9b8b1","datavalue":{"value":{"entity-type":"item","numeric-id":631756,"id":"Q631756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$50EFD6E7-AD44-4DF4-8880-BB7E75DC7A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d1975377e1a4db69460657abb59f21c155d2695","datavalue":{"value":{"entity-type":"item","numeric-id":712555,"id":"Q712555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$86AAECEA-C809-479E-BE78-E0ECEB5C622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1df9598caa70624eee524bf15ca6f9277cd942","datavalue":{"value":{"entity-type":"item","numeric-id":1935369,"id":"Q1935369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$70090F03-4D6C-44E3-A783-8D31249C7F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4dabfc716bd9417f10ac4046ac0a754e2190f9","datavalue":{"value":{"entity-type":"item","numeric-id":1935368,"id":"Q1935368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$3F8C2F0F-7F70-4F74-8F1B-152AE8DE144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d86ee685d6e66e56b7080716620958264333c1c","datavalue":{"value":{"entity-type":"item","numeric-id":980944,"id":"Q980944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$BA033AFE-781E-47FB-A80E-CDB9B5C315AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316dcbdac27a1eeff3c1a861bf54411ccaab9317","datavalue":{"value":{"entity-type":"item","numeric-id":1948283,"id":"Q1948283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$F6562A65-E629-4007-A814-EBB68B2B7D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104b25047bd12ff6dfe288cd35343d0f404a8381","datavalue":{"value":{"entity-type":"item","numeric-id":1934954,"id":"Q1934954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434574$92213E35-00D3-4FF5-97B9-71203EEB20C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb13c05ee38ede1f446f678be8d9a906c55cff22","datavalue":{"value":"10.1007/S11390-013-1329-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434574$EAAF8E02-D2C6-4911-A278-A840A7E49566","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a5dd7cad07c407f1761513b82cd0170f16802f","datavalue":{"value":{"entity-type":"item","numeric-id":631756,"id":"Q631756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfad45b1b7b1b299dfaa11e8aeb86e70677bebe","datavalue":{"value":{"amount":"+0.8140718936920166","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":"Q2434574$F7A553DE-ABD5-423D-80F6-2085EADF370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cae4d16f307aabe590860cf73ee890b2e6e429","datavalue":{"value":{"entity-type":"item","numeric-id":1934954,"id":"Q1934954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faad5822e909affba80d361c9892090b73a9fc7","datavalue":{"value":{"amount":"+0.7966965436935425","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":"Q2434574$8CCF4D96-0AD1-487F-89FD-9A2D60BC74AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f662fb7e51d07e78e1efd0d0e29f210c1dc8f0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1948283,"id":"Q1948283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827759c35bcfa20a79a7c38a452d46ed12624abf","datavalue":{"value":{"amount":"+0.7576817274093628","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":"Q2434574$8B649D50-2DBA-4FB8-8C1F-23D019957D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab17f009e2a59a34a8cc7e40d29dc9135cfed9bb","datavalue":{"value":{"entity-type":"item","numeric-id":409329,"id":"Q409329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a5878dccc92f3f7104ea40fb82deb4e9711708","datavalue":{"value":{"amount":"+0.757508397102356","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":"Q2434574$8F0416BC-65B7-44B3-979B-651F1ECC2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c6458e15270b0da70832c907cfa88dbcf2df23","datavalue":{"value":{"entity-type":"item","numeric-id":1935369,"id":"Q1935369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd348cc701fb505537e5e8e83be718902600380","datavalue":{"value":{"amount":"+0.7441052794456482","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":"Q2434574$F352DB4C-1520-458C-912F-6C9311A68070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2434574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2434574"}}}}}