{"entities":{"Q5410328":{"pageid":7439902,"ns":120,"title":"Item:Q5410328","lastrevid":101000567,"modified":"2026-06-05T23:39:20Z","type":"item","id":"Q5410328","labels":{"en":{"language":"en","value":"A PSPACE-complete first-order fragment of computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285707"}},"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":"Q5410328$541EA38C-018F-4DB0-BDC8-9A5F31353752","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69bb009820ef38a53f7d1c3f06e025dd89afc893","datavalue":{"value":{"text":"A PSPACE-complete first-order fragment of computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410328$29625E03-9E58-4C78-BC9C-48B2FC775B60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e46795e1fef1860f920eb36de30a24e794cbda8c","datavalue":{"value":"1287.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$315A1707-4950-429C-B312-B176D6B3BDF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d473c01ce0f7a07c7e7152bfcccb5588bd6c9335","datavalue":{"value":"10.1145/2559949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$A348DA90-C5A5-4575-8789-1AA5333D315E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5469ebdd088d5517c8164672a2646114bfa8cc","datavalue":{"value":{"entity-type":"item","numeric-id":2037998,"id":"Q2037998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$B0B03635-07CD-4E11-91A2-902CFFFCA227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$CBE9B0A1-655B-45E4-A65F-C5FE3942BA48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410328$77AB2721-5FB6-4EB0-B901-CE85BBCA94E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f94ff91d64d6005672e06a085a2f6548125cb2a","datavalue":{"value":"https://arxiv.org/abs/1201.4856","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410328$DA021439-7117-49A4-AC19-13D324FF4E50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$84BFFD46-3B75-4CEF-BB20-F05B79B96F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$97A009CF-AE02-47F0-A092-14BFA34B7B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd5c10624337409f068f1097cfae132949aba8f","datavalue":{"value":"6285707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$744FD0F3-34AB-4CC9-8A4F-54B1E146C725","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410328$A4ADBAB6-9004-4854-B966-DA4AEB9959B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410328$B28D3B4B-26C0-4EC8-92E4-61B7BEA0D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410328$AF409B3E-BE16-415F-A5F4-981740E36412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410328$485B8292-89A2-4265-A810-21424BB8E7C4","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":"Q5410328$78578111-ECDA-4245-ACF0-253BA1910EE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00a5da6d9049505f52e374a7d1857ca8928a9eec","datavalue":{"value":"W2105830064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$8AE0D9B9-629F-4BD8-A098-9215A367C743","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$18EF8D84-7760-4254-9408-34AD6CDBCA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$B129A812-E5B8-43C0-8145-8A92087C39D6","rank":"normal"},{"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":"Q5410328$BF2E5906-E58F-4499-9804-4705027502DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1ec29f8ad9206b300381c2a763a935316a75c","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$18EE42D9-5031-4E34-AC9A-A90E1B90680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032fe58f0d0e793cee7e3ac30ee9defb2d6b636c","datavalue":{"value":{"entity-type":"item","numeric-id":3412001,"id":"Q3412001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$8D87137E-4AF7-42B3-8706-87557431DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25696d83ad9c586704de353e765cf249d8dc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$406CEA8D-A046-4884-8216-6589B6FBD303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad54e0569338faa758490d5d2574d6f44d69ce51","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$D6DD14B7-2548-4BEF-BEB8-ED63ED993DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96836528b25b6ab1aa5711f1b2eb98249a8075a0","datavalue":{"value":{"entity-type":"item","numeric-id":2373705,"id":"Q2373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$86ADA5BB-603E-4264-B49F-5FD49AE6A542","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":"Q5410328$B96A325F-50CB-481E-A058-CE94F775F437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e65cf2e8bc83d785db47763c23d9f4430ea8cd6","datavalue":{"value":{"entity-type":"item","numeric-id":259084,"id":"Q259084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$236899C1-FCE0-4E41-B6A4-DD1618E811AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d6ef561a0a7f6fb4bfb1d486801041eb5c5e8b","datavalue":{"value":{"entity-type":"item","numeric-id":392285,"id":"Q392285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$C9EF91F3-BD85-4749-9F50-39FA4C3A3697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36a7b5e23b23a1a5953c632c9428adbb9d2038b","datavalue":{"value":{"entity-type":"item","numeric-id":642523,"id":"Q642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$3E92E025-0865-41DD-ACD8-ECCB6DDF21A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d835a55ea1805816b0603bfbbcdbd7234a33bab","datavalue":{"value":{"entity-type":"item","numeric-id":1342252,"id":"Q1342252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$1A73DC7F-A1F3-43C9-850D-436604903B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$8729BF0A-45B6-429D-8E4E-47C9B22DBCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ec96cacaeebb208711446ab39d4c51961a119b","datavalue":{"value":{"entity-type":"item","numeric-id":2903763,"id":"Q2903763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410328$88726DD3-2ACC-4BA1-A860-CB117AFD55A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"33e73943918b5007f6a7f323e32fca29fc96c358","datavalue":{"value":"Q130855314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410328$174A45DB-5FFE-4A43-85BF-72BD4F0FEBC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c90d30f30f7720e588f3505c801601d601767ca","datavalue":{"value":{"entity-type":"item","numeric-id":1960427,"id":"Q1960427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c23b72cc91e80da3cad1c60299361e5d0555e78","datavalue":{"value":{"amount":"+0.924267","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":"Q5410328$89F516C4-7684-4615-8866-B704825816E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c6d7dd62536532f41d8338c85b992e341759f4","datavalue":{"value":{"entity-type":"item","numeric-id":2363413,"id":"Q2363413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d3156f6bd0aaae7818fcacb836c64257012d4c","datavalue":{"value":{"amount":"+0.88806784","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":"Q5410328$DE442C19-8958-406C-9AC0-4B7FB778EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386fb16dce457e5a3ebc877fcd926d6bf66aaa36","datavalue":{"value":{"entity-type":"item","numeric-id":650893,"id":"Q650893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272eb5046026d7836823f2c08bd300b6e5280df0","datavalue":{"value":{"amount":"+0.8875984","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":"Q5410328$3341657B-5C46-40A0-B2CC-A76929354951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170e6bdca23e1146c5b56538572aca0c7cf900a4","datavalue":{"value":{"entity-type":"item","numeric-id":4995355,"id":"Q4995355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f126b78a1b4754177e72960234875444cb9cfba","datavalue":{"value":{"amount":"+0.87873113","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":"Q5410328$B6298B69-BF63-4DF9-8409-9B7AF3241384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff6f80817dd96a065d2f8283c26187a08a010d9","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7948b9f67a641a2dfa924eff389cf74eadcb51b8","datavalue":{"value":{"amount":"+0.8782496","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":"Q5410328$503CF04D-46C8-4917-836F-A3E0F742D8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9548bc3a961f5cf03bc533d0d2a8c2d858e84cb","datavalue":{"value":{"amount":"+0.8762398","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":"Q5410328$6FF310AA-A46A-451C-9BA1-353D8DFEFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c2c418e8c8206d61064475a80a7fe2ef7e7ed6","datavalue":{"value":{"amount":"+0.8761868","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":"Q5410328$86B35665-BC17-4CA7-988E-FDF72D2172DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481f031154a8dd53d911682af117a071e4b93aa","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92afef8fec73a462616e0bd4730d855ea5aeca9e","datavalue":{"value":{"amount":"+0.8761837","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":"Q5410328$7EFC284C-837E-4839-BDC0-67434825F35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2eb50ba66306dca5d61f583038d87154539709","datavalue":{"value":{"entity-type":"item","numeric-id":1799280,"id":"Q1799280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446a6bbe930a0a83ab5bb55e2e48e6f08269dc63","datavalue":{"value":{"amount":"+0.87521076","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":"Q5410328$C640B6DF-026F-4C22-B1BA-BD64DF01F98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e363bee64a7f8308f3057e5d87551b1a90fdb384","datavalue":{"value":{"amount":"+0.87346256","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":"Q5410328$10D581D3-C4A5-4A70-9E54-9542ECBC1292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A PSPACE-complete first-order fragment of computability logic","badges":[]}}}}}