{"entities":{"Q5159483":{"pageid":7189054,"ns":120,"title":"Item:Q5159483","lastrevid":55392649,"modified":"2026-02-17T15:28:11Z","type":"item","id":"Q5159483","labels":{"en":{"language":"en","value":"A PREDICATIVE VARIANT OF HYLAND\u2019S EFFECTIVE TOPOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7415210"}},"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":"Q5159483$685D9112-2E58-412B-8E21-C9422383C5A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12df1b52e25591378f2d34d8be3a6e3cacac219d","datavalue":{"value":{"text":"A PREDICATIVE VARIANT OF HYLAND\u2019S EFFECTIVE TOPOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5159483$3B1347AF-DF7B-41E4-988A-7E8322EEB02A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$248A8DA6-7D7A-42BA-8F58-B6C04A6E372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6081bfbbb83793d494afc06884c66bee72821c4","datavalue":{"value":{"entity-type":"item","numeric-id":1756494,"id":"Q1756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$606AC41B-F16A-4926-8C5D-773456F547C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8b86c03faa759ce1c86852416c5f440b0ce79a0","datavalue":{"value":{"time":"+2021-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5159483$CCA195BE-EE65-4237-A6E9-0FC1A9EDD385","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05cb61d63dd55808f1feff55a9d71c8fd063e3d2","datavalue":{"value":"https://arxiv.org/abs/1806.08519","type":"string"},"datatype":"url"},"type":"statement","id":"Q5159483$ED70AE24-1487-4D7C-B365-3692A95DEAC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$89389662-1EA9-46F6-A9C6-8747828AFA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$1BACFE05-38AF-44A6-9429-EDA7C5E64398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$D6134257-74BC-4DCA-A005-B45B45C88B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$7F58AB9C-3504-4115-8FEA-8BDFFC435459","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05bd721ec12293e672fb66a94d45ecc2c189f4a6","datavalue":{"value":"7415210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$1DAD5186-B06D-4421-BCC9-C70A377A0E8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5159483$6C53BC43-A891-459E-BBA7-A015B7941017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5159483$D9A7A7D9-27A7-4E28-B72B-99AD56307C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc24465686db4791c63a7af63eafc8151dd39eac","datavalue":{"value":"predicative arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5159483$5D6CE890-C909-4C84-B039-6F48F1A7A188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e23e8eb8c5d615e76c48678fd53ac72f752a7f3","datavalue":{"value":"exact completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5159483$CCD4B831-26AE-43BE-8449-22D0D18EE6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5159483$3FFB5311-6D6B-491C-8F50-FAACC3659A52","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":"Q5159483$13468878-D3BB-42E0-808E-9B251BC4CDEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75054722a2851e48337411a2746a9b72a71d8e42","datavalue":{"value":"W3094398884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$7856F4B8-9933-458E-84D6-D88978B58F6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$9112FBB4-7F02-400C-A5AD-6F7B104ACC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$C28BC728-96C3-44E1-9FE8-D3C20E399717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9429d2707bb89c502ce71f9ef5f3f820284fd138","datavalue":{"value":{"entity-type":"item","numeric-id":1588066,"id":"Q1588066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$31AFC104-B201-44C1-9D34-2FAAFD7D25FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$8F5CB644-546C-409C-89E8-C43FB689DD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1267b45d8099c29e4fe884fdaca51b3687417c","datavalue":{"value":{"entity-type":"item","numeric-id":1756495,"id":"Q1756495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$819B2AC8-993B-4C5F-98FE-E9E583BCE170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$D0DE608B-8EC6-4CB5-90D2-AEB7D3A0CC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$F6E98CD5-9C59-4DB0-907D-A2314356B681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$40D45A92-FCC8-478C-A082-22AA4614237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb83562c2d416412c17636480881d95b7979cd02","datavalue":{"value":{"entity-type":"item","numeric-id":3552042,"id":"Q3552042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$35D1577A-0D4F-4E76-9817-C4077938BCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96db29601f3a4325e26147244fb5b556c2f42c6","datavalue":{"value":{"entity-type":"item","numeric-id":5277976,"id":"Q5277976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$D15D095C-16F8-4722-B792-35D680050401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e52e8780e482544cee08f5362767fe678a91f91","datavalue":{"value":{"entity-type":"item","numeric-id":1683372,"id":"Q1683372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$0DBC27A8-6E64-49F3-B5B0-6C435A951656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82eab4db840bf65f17ec9eae6d4b19dad4b8154b","datavalue":{"value":{"entity-type":"item","numeric-id":4968383,"id":"Q4968383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$91D7E1C9-4826-4689-8560-ED9809BEB9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcae29434b408608cbdccc82a521cfc4aa06606d","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$FCDBDB6A-05B6-460E-8294-0E8CF6ACAD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$9C8928F1-D937-4232-BABF-2019667B4247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bf4393270ce9448bad1e8fd5b6b462def1ff5d","datavalue":{"value":{"entity-type":"item","numeric-id":5221857,"id":"Q5221857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$A8FAF717-242A-470C-A64D-B8171C1005DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cb318559b5e8b835fb9fc7ea1d7ddb2a0c1f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$653EAEB6-C66A-4BF7-954D-3451525ED4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$38C8265C-45E0-4A4A-83BF-EF0972E8428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$1930D22B-1C36-40A5-9782-629378084764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323041d450c8be119127dcf747a7ea70b03a53fa","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$F7DFFD8F-9FE1-43D6-AE17-D910F1556876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b031ebd66b7733c40e71837264a8724e96c91a0","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$DA0951B2-60C2-4725-9DDD-23E8DF67BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db4fd00cc3cd3c7438a8a222ad4dc94020320d2","datavalue":{"value":{"entity-type":"item","numeric-id":5894815,"id":"Q5894815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$4ACAD7FD-930E-46F6-BB4C-C9F21ED3F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$C67C486A-DC7E-4AE4-AD30-DE9E9428F42C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6869b69b104a3337da6deeedaf1a4e4e9ad8b08a","datavalue":{"value":"10.1017/JSL.2020.49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5159483$9B3F38CD-8918-4C23-AF49-A6F6966670F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5159483$AE83F003-A7CF-49A0-9CAD-05E98BFE39D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79477bc109f9bbee7b69e8f8d59807b215092d42","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ceb9dae43581fa18aa8ab362fe2a2cda973aeb8","datavalue":{"value":{"amount":"+0.7843340039253235","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":"Q5159483$A89973F2-391F-4F53-B4E2-99B1EF489171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab1fd022d0464b6c33bbf340afad0e1f8396b6f","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9c6b077f05c6f18292c9fa7e859e3ac98cd233","datavalue":{"value":{"amount":"+0.765494704246521","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":"Q5159483$0F2B358F-1335-4ED2-B167-982C99C308CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bfee325e91f298337d8811e53f0e47fcab7290","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec20dacb9f1a5980cfec5bdd36aae185bf7a806","datavalue":{"value":{"amount":"+0.7651782035827637","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":"Q5159483$C907B032-A2EF-4637-8BDB-E71E96E7FE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601778df992e1ee86dd5fa66c6fecab935d3743a","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abd53260cafc7d6a17abf3eba643a71dd156d94","datavalue":{"value":{"amount":"+0.7617915272712708","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":"Q5159483$F2DA6246-8B8D-4661-BFC5-1C9B778AE8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d613266a205ae7002f2a9e340aa1636a5df73b","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc34b2a7cadac14bee31c0bb0503d7e9ba9acef","datavalue":{"value":{"amount":"+0.7608224749565125","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":"Q5159483$730067BF-0E7D-4E23-BFD0-50BCBCF12FBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5159483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5159483"}}}}}