{"entities":{"Q534712":{"pageid":536479,"ns":120,"title":"Item:Q534712","lastrevid":51240920,"modified":"2026-01-17T09:59:51Z","type":"item","id":"Q534712","labels":{"en":{"language":"en","value":"Realizability models and implicit complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886387"}},"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":"Q534712$98319C2E-4009-459B-942A-26501DBAE8EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"692652731308164017dbaae43bf0514ea9820b3e","datavalue":{"value":{"text":"Realizability models and implicit complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534712$1020ECF6-EE61-43CA-921F-2E5674950B02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"586cb8b81d92e40962b93544591634916215e81d","datavalue":{"value":"1222.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$7BD4D5D0-4790-40C0-A7D8-12F9F05FF894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$68A4DC90-9166-42F3-B103-E161320BA668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$97B46A9C-D830-47D6-AA11-BC07E9944B7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$4C785A59-0401-4C7A-88D1-69A1CEB8FF11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534712$E5DB9E8D-2379-4D07-99E4-1489A1F93C74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$A83D5510-E04A-45EF-8FDA-8AF8B9738408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$9C429F21-B009-4A82-A564-F38D82F26A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$707810D8-E38D-47FC-8199-53B8C3CEEFFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dd88e37a938aed9fbe554965e18408352c263cf","datavalue":{"value":"5886387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$4EB6A3AA-C2DE-4DAB-BC47-14125A986A5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q534712$C352ADA0-974D-4D14-997D-E8BBA8F5C395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q534712$3A64F539-B5FA-493F-860F-0E2367B98148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q534712$FF303C78-7601-4F6F-9ED3-CEABF8CEF6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q534712$2A026132-0313-4B8F-A829-51E7267142C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q534712$C52F3166-BA93-4022-A92D-2C89F760B838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9261e7176c355d25de550288f511ceb3b62960f2","datavalue":{"value":"inductive datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q534712$C6B298BA-562D-4AA7-9397-5E4B93B1FCBA","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":"Q534712$CC62F49A-9F74-4B23-A559-FD57596538C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"434e04c3ec315246b16a0df97c3ca423b29a2e0a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.12.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q534712$626B9B0F-0263-46D0-93B9-595EB5C9A3E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f50b5fac374cc289d855ea1f4568bfc5872514c2","datavalue":{"value":"W1989703373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$D8C688CE-C8C3-4391-8932-3BEA8DB6A6E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$205EF522-4629-4966-80C8-F231E423104E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08e2dc1c427cd45e0eb44edcce51f432eb4f96f","datavalue":{"value":{"entity-type":"item","numeric-id":5308440,"id":"Q5308440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$777FFE5B-2A5A-4A1A-8F9F-E4A57E588C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$F78432C1-C7FC-44CB-B9F3-6BB549732380","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":"Q534712$954268FC-A572-4602-B722-214C37BA594F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$051EC86B-F6BA-4095-B198-DD68831555C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01692cdfc5dea3cf3a75f2723a38a21a79d40ab","datavalue":{"value":{"entity-type":"item","numeric-id":2778817,"id":"Q2778817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$92D04A56-3768-44EB-BD3D-F0675C7B801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$08902596-8E67-4143-BBBD-C7E91C759C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1621b9ed49fbaf7b5b203bdb96207b475780b546","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$7BC0F550-7933-4D03-9B49-5310EF0661AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56079f4315d57683f7ac986dd68231174e9401","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$AE023C76-81C5-49E6-B478-FFFA753363AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efc294bd534ffad39d76f38f517e60db941a390","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$9B307881-54E7-4F09-AA18-4AA25574548E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$802A8197-D45F-41CE-9FF8-7C33852A5209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$A2E52135-9CC1-4238-943C-BA61FFF42E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$EA43C816-D4A3-4D07-8A02-669ED39A64C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$739829D1-8CAE-49E7-B75A-6520A889BFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998e5a2d437a0ab5e5dc5d27be5b655cf47cdd9a","datavalue":{"value":{"entity-type":"item","numeric-id":1827395,"id":"Q1827395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$D9C12E3C-4098-4DA6-9FD2-9BB085A25F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$F0B305FF-FFD9-4270-92C4-44B506FAEEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$E86BA269-B231-4DA4-9471-CAC9F1F98A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$861B35D7-F69B-4822-B0A4-0FBB1278664D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$D08A8CD6-C6FE-42A3-912D-83F492965E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7435100e3d690d36fad3b0237a6b1d48437e9556","datavalue":{"value":{"entity-type":"item","numeric-id":4385524,"id":"Q4385524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534712$2F0DACB7-9442-4465-9E4B-2BC038E0E6E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe47dc92e28e496ddb54c51d7763809c058bd2cd","datavalue":{"value":"10.1016/J.TCS.2010.12.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534712$730647E2-9EB3-493B-BE3A-9FAD142D279E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76182377442106b02e1d56bad5ef7978bc948450","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84372717454ff8d6b9663c0e9a4fb33d3e1d6adc","datavalue":{"value":{"amount":"+0.9107741117477416","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":"Q534712$304D4C9D-5211-4EAB-8239-13EA10AAB7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc586f957b1e9bab36119f54e0dd714ade3cc0","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26eefce6285903f83c1ddd60eccaddbb06962f35","datavalue":{"value":{"amount":"+0.8042202591896057","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":"Q534712$F523C537-DF35-44DC-8EE6-4C0F27E84F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b585410b3b1104a1a83f528900b8240241533a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3503632,"id":"Q3503632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f36feb6aa151fb76087504fb075f2f7441de30","datavalue":{"value":{"amount":"+0.784903347492218","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":"Q534712$5EAE5B0C-9C6C-4529-B5CE-3371162FF10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f67b3caa0cab9f6becb2e5e56ed56d1e621b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1827395,"id":"Q1827395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845940857c804d3c2a5a8286864478b33d3f9ac2","datavalue":{"value":{"amount":"+0.7499763369560242","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":"Q534712$064FBB0E-4ACD-4E6E-BC3B-FF4ABCC7A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c719a2ec4f8d60771c31250eba4b5dceff14d161","datavalue":{"value":{"amount":"+0.7192673683166504","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":"Q534712$43B5420D-570E-4959-AB3A-48BD2F80D3FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:534712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:534712"}}}}}