{"entities":{"Q6649449":{"pageid":14260606,"ns":120,"title":"Item:Q6649449","lastrevid":55805116,"modified":"2026-02-17T23:06:30Z","type":"item","id":"Q6649449","labels":{"en":{"language":"en","value":"Cyclic implicit complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954834"}},"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":"Q6649449$0EB5BE30-523F-45DC-8261-2F0BCC8FA755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d80a65d4c8343794f881d58918c3676c41814c9","datavalue":{"value":{"text":"Cyclic implicit complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649449$D713EB6F-A90F-4241-B215-0C3C42C8824E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e60696691f7dd228824f5fe0cb243d82e05d5fc7","datavalue":{"value":"10.1145/3531130.3533340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649449$9CEC074F-BF2B-4875-AD56-D911EB125233","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2351080059503621b4dd8c360cc65469cb65c300","datavalue":{"value":{"entity-type":"item","numeric-id":2146056,"id":"Q2146056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$5D942E90-F870-4B2C-95FB-1895F3969B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$14B413FD-2181-495C-B2FD-3BDDE48F2F26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-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":"Q6649449$F9EA85BE-1B2E-43EB-8259-826EC8F87578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649449$2C7B9715-1873-4F7E-A1F2-D0F1AFC4B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649449$BDAB22C4-F800-4A44-BCA5-16FD97E4A972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649449$27B55C62-2F72-47CC-B9CA-682D9601418F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213c3a71fc6db0042fa02ab138d165d81cc06458","datavalue":{"value":"7954834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649449$0A823925-8E74-45D4-BC2D-1C17B8E47008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649449$9C7FDD98-BA22-4575-8DFC-A1D3BB5E9AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011c26a688b4884867881a22fe4f1204433e38c2","datavalue":{"value":"function algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649449$055284AB-24FD-4F47-B700-3847DCED7CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8f214fff03aaa7ada664005ae600173eb25c1e","datavalue":{"value":"higher-order complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649449$D9E9DFF9-D852-45CC-810A-FC85F00299A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6d5488e8d15d1fde00fad469cc8b42f4357695","datavalue":{"value":"implicit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649449$C6DFA1BA-19B5-41DE-9050-1ABCF69A6358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649449$DDB60F5F-B27C-4CAB-A884-84286A0D9923","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":"Q6649449$B2768F83-FE29-45B9-915D-F89EE0C2148C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$F74D3ED2-BD27-4B2C-BAF4-DFB9B9A534F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$14ABF59F-A8EB-4739-9DD4-EFC392FD8242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce5d92d889c3f6096309ef3b75a0bdd44c0418","datavalue":{"value":{"entity-type":"item","numeric-id":4850544,"id":"Q4850544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$3056BDF2-1692-4B5C-AF40-3FBB61454DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31f2c064dbb4fcdff1fc3118ad6dfb9b36c8ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$107F3ADE-A557-4E53-BBCD-E1318DE1C703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$EA2EAF10-45EA-432D-AED2-C6D2339534A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$16DEFB48-1558-4050-AC66-E5D5149A7534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de429e87d0fc5113640df9de6a0b6403c9ec0505","datavalue":{"value":{"entity-type":"item","numeric-id":5208872,"id":"Q5208872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$0F519794-9F88-4B38-932F-581AA69F02CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56600621b66cf01a4e97540ce7d58677d9b7d2a1","datavalue":{"value":{"entity-type":"item","numeric-id":6159945,"id":"Q6159945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$007C602E-5A4A-4AB3-9BDE-B3EDD77403AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba3cf41f46f0763793828a02b8681c747ac449a","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$520725AF-097D-4665-9C84-699B0C01F180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$7D1D4B2E-6BCD-4F67-BB42-9F61A9E86020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$0D3F0015-42C1-4F0E-9BA5-7857CCDA2BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9e92783e5802351743ba6acfa6aa40e0fc9cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2180524,"id":"Q2180524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$EA2F5CBD-6F38-4D52-9B32-F1F513048B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$4D0350D0-F495-460A-8E26-7E42621D6C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$33EC3115-9F90-4A54-99BC-48B02F9235DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6202c9370227a2449fa91c9c8351060594bb89","datavalue":{"value":{"entity-type":"item","numeric-id":5377469,"id":"Q5377469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$133E2C41-E417-4725-9149-3F4B02EF586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222dc3000128708fc7be1533b553f584812fa20b","datavalue":{"value":{"entity-type":"item","numeric-id":5875682,"id":"Q5875682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$37968865-6981-4488-9E3E-9F881E84348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b450acefa6e7c26a745e7c0a51f06625fe7dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":1295429,"id":"Q1295429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$E3AA29F0-E574-4A01-8C9B-DBE66C3BC4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$0713B8D5-2801-4153-96DD-6601B483BCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$A38E45FD-E65B-496C-AB8F-C7ECE5B5DECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae54e4321193930d645668304809a0a6ccab7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2180526,"id":"Q2180526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$7D3B0E8C-DB3B-46A6-B064-E0E8AE2C5E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdee229187821180cf0ed5f8f830754f9ccf330e","datavalue":{"value":{"entity-type":"item","numeric-id":3506329,"id":"Q3506329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$F15B8638-9749-4465-A64F-18DC1FC999EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649449$A17EB2D6-AD16-451A-93F8-07B5C120A9AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dd24b13e86e8b7f507e9b28623e3cbe6b6e803","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7cf4956c03ecc4fc0eb08e03ca1ecacdacc5f5","datavalue":{"value":{"amount":"+0.7686212062835693","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":"Q6649449$A95EC0D1-753E-4018-8B1F-896D58ED2AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f945e6da418653b133de29af9a7618dd33fa6c7f","datavalue":{"value":{"amount":"+0.7663524150848389","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":"Q6649449$C45034B7-75EA-4E4F-BBA1-A92CB9EB248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31acd850273b6e225f391d6d8ab055056a5949d","datavalue":{"value":{"entity-type":"item","numeric-id":2181918,"id":"Q2181918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f005136ff2ea136a02886f4f027024da32eeb35","datavalue":{"value":{"amount":"+0.7631215453147888","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":"Q6649449$E00A2A8A-DB2A-4D22-8C73-C8EDFF3DF810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f0e808a28d1dbdc6f2cd4364f73c35b667101b","datavalue":{"value":{"entity-type":"item","numeric-id":5208872,"id":"Q5208872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92ef4295c41d6aa7ab41c9c3499e5eb63933d4d","datavalue":{"value":{"amount":"+0.7559972405433655","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":"Q6649449$5F831BA3-20A8-4331-BC4C-D99215F1F105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f838e9eea737c1fd2b01ec836346da7d122adb95","datavalue":{"value":{"amount":"+0.7456326484680176","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":"Q6649449$D7C7DA20-7925-4CEF-BC97-0AB671515C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6649449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6649449"}}}}}