{"entities":{"Q2417962":{"pageid":2428705,"ns":120,"title":"Item:Q2417962","lastrevid":57913179,"modified":"2026-04-03T01:42:31Z","type":"item","id":"Q2417962","labels":{"en":{"language":"en","value":"Representing definable functions of \\(\\mathrm{HA}^{\\omega}\\) by neighbourhood functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7061094"}},"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":"Q2417962$C13796BF-FDAE-4FF3-A292-57835CC3D529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dac94cf97d2c51edfcd6ceb503f2a8472228237c","datavalue":{"value":{"text":"Representing definable functions of \\(\\mathrm{HA}^{\\omega}\\) by neighbourhood functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2417962$7C003E9C-F778-4997-BC8E-59F9096E9D72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f83770062437799b0c5945c077c64d49e1bc08c","datavalue":{"value":"1461.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$CEA29317-1AFB-437F-B424-747F0B21D76B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aecb6ededd34480101a3f509344c31123c7055","datavalue":{"value":{"entity-type":"item","numeric-id":1734271,"id":"Q1734271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$C0928EE8-21F1-4D62-A2CD-290C4681E2F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$6F308984-030B-4342-98CF-40A3DFBB4670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae0e5b5cacbdc8709c0b6b7c248353977a1b55e9","datavalue":{"value":{"time":"+2019-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2417962$1048C97E-4D17-4349-BD6D-E86609E78AB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7aff09425e77073196a8380e1c54ed8970625160","datavalue":{"value":"https://arxiv.org/abs/1901.11270","type":"string"},"datatype":"url"},"type":"statement","id":"Q2417962$C6CF6C31-DAFD-4A06-978F-5279DCC7D557","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$F5EFCF20-1FBB-4AE1-81EA-AC801909972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$1665EB88-CD7C-4BD2-A732-D83AD66929EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$BD7332B3-92C9-4936-A268-1B7D4EE9E562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$2FEC4B3C-400B-4504-8FB0-9CB9643EA8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$2D3B233D-C317-4E77-9CF0-C0408A6B6173","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2614039add41e1ee0b2c52e2ea4167e7acc0339d","datavalue":{"value":"7061094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$5E46D2E4-9E7D-4827-BC21-A2CBAC8AD5CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2417962$E550DA15-4CC4-4357-B0E5-6C785240E221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2417962$6533C955-537C-49A8-8CD5-A90469568E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd50283f216124110b6c0a2cdf313c3b5246f3f","datavalue":{"value":"neighbourhood functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2417962$9DFF2B92-1DCA-4667-9CD8-027B76231C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36db0fbdac18df5cea9ffd23275ec741a9329ae","datavalue":{"value":"dialogue trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2417962$2B1EE3F3-BA11-493C-A597-2B613B835065","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":"Q2417962$CB13BEAD-1C93-49EC-AC19-ECA572CBFA77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9beaec6c26a1bdb26705ef6a95274135f434032","datavalue":{"value":"W2936940228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$EB4D76E0-96AD-4FED-B6D9-E3CCC96A02EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$E70769E7-BB83-4B55-BB92-A6B5232AEBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93bfe091c0eaaa12b537a69c57e801ec8d10e88","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$7CF8E6B5-05A8-4190-BAD6-16F1C9226C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$C76782D3-B8AE-42E1-86DF-2B47E99B2326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$936E1C39-5ACE-47D6-A069-AE04DDAAB4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$20F4E7A8-1351-423E-BD2F-BF5F56FBD60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49392d2473e1f6ad8055d0f901a113cae0d6d889","datavalue":{"value":{"entity-type":"item","numeric-id":4638975,"id":"Q4638975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$9B1A6A27-AC24-4990-9D6F-A1F20BEC50D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$A7618C22-2F45-4A6D-99ED-5C4BFB5E423E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5684a36bec92b21620fadc7675826463b2988db","datavalue":{"value":{"entity-type":"item","numeric-id":3870893,"id":"Q3870893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$75B717D4-14A4-4303-8613-D6652879F25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$34227808-7635-44E7-9396-D4E94A56314F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2417962$A1480C6B-8C2D-4146-935F-B5605E78FBA2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d66353b661ee3bee243586965786dc2641eddda3","datavalue":{"value":"Q128057662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$81D712B5-A9DF-42E6-AA47-A066DE426273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6c0d220e70bad946c784f48bb5a70eed9f59642","datavalue":{"value":"10.1016/J.APAL.2019.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2417962$98E7FF1A-484F-46EA-B742-60E1B80B240F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db6c560262dea147d39c3c6ffea00c84eb2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2219099,"id":"Q2219099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730aa824d82890541eca865d856eaf13aa914d78","datavalue":{"value":{"amount":"+0.7542052865028381","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":"Q2417962$403E5EE8-AE3C-4205-A056-5490E91FB2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a1078123755d670f9603d32fe70f9482c75576","datavalue":{"value":{"entity-type":"item","numeric-id":5277837,"id":"Q5277837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64017bf68c88c333b69a3f633caad1c167ac7b53","datavalue":{"value":{"amount":"+0.7423681616783142","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":"Q2417962$6540D827-F9D4-4EEB-846A-AFDF02309EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fd9fb352aee5bc7fe47f52e49e1896e190e763","datavalue":{"value":{"entity-type":"item","numeric-id":5016215,"id":"Q5016215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ab6a7689dfa64969c3d041db2eef76b147584f","datavalue":{"value":{"amount":"+0.7371962070465088","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":"Q2417962$BC96D7D4-7089-40AE-874F-D405F104D150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a6de8d24b1c2e795f32c30073bca5671a860e","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f722ba8a5798f164cf1d83a1da1f14e7240ac14","datavalue":{"value":{"amount":"+0.7371767163276672","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":"Q2417962$D72AFB01-AC85-4AB2-875D-BAD31D79A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a71ff808bdd6c315d732e5269eb66291cb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd626ef7ea02684ed7d0591a24b888158496175","datavalue":{"value":{"amount":"+0.7243618369102478","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":"Q2417962$393D739A-406B-449D-8954-B2AD7733514D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2417962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2417962"}}}}}