{"entities":{"Q6987766":{"pageid":21429606,"ns":120,"title":"Item:Q6987766","lastrevid":84013394,"modified":"2026-05-07T22:24:46Z","type":"item","id":"Q6987766","labels":{"en":{"language":"en","value":"Strong negation in the theory of computable functionals TCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036504"}},"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":"Q6987766$290BF01E-DA87-47CB-8F7D-21C6E9ECAFB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3774ed4c1add29a9b82ab30e82465cafa9efe5b2","datavalue":{"value":{"text":"Strong negation in the theory of computable functionals TCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987766$08DFFEAC-6814-498A-84CF-56EEC729E803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cbb70571c2d752d058ea01e9cc1240d368c161c","datavalue":{"value":"10.46298/LMCS-21(2:1)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987766$3BF02400-311B-43BC-AE8C-17404C5A9BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7744680bcd6bf7ea8747e700d9dc14ad9b525a7c","datavalue":{"value":{"entity-type":"item","numeric-id":2680993,"id":"Q2680993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$B115816C-73AE-42B5-B89D-DC8C3A660A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"508ab3977fe59d67f85102e4170d30b94bba9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":290634,"id":"Q290634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$E6B8846E-C785-48AE-B79F-E2E5D31FA4F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$B7D5E6CD-5853-441F-8A62-8D7D7CC7167D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c6e7cee756d60a186298d89dd81280bc508703","datavalue":{"value":{"time":"+2025-05-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":"Q6987766$C1DDD077-4240-42CB-A5F7-A94CC8EFC431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987766$92EA4E7C-2C4B-4992-8227-F38651B0D9BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5921a05165a3c86543cf75d76ac17c26ebad77fa","datavalue":{"value":"8036504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987766$0B9F82A3-6623-4572-A4BC-4DC1FF6AC3FF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$2A2825A3-AD73-4B52-BAEC-94A4A40E159C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d31c83b82fd129dffbd25a82175608da957586","datavalue":{"value":"higher-order computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987766$0386C989-0D86-4E0F-8E0D-EB6D83D9179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987766$EAEB337B-A030-4A66-B8CC-CBD223F25573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987766$764C707D-7EA6-4F53-A716-2084D6D881D2","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":"Q6987766$ABBEFCF4-B088-43D2-A09E-2F61F97CB54E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"738655c5e04ddb97a8badad3792e2c75c72bed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$5A359FB8-3B87-4C2F-9795-6D845C330E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$552DA8B9-6B99-426C-9353-3715A43753D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$0FEE58C2-E479-43AF-AB71-C59152DAF737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$5FD06CA5-703B-4C89-8293-E558D0A0989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$9CA80A47-77C8-4FBF-A5E5-ED4D58CBF736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$DF1A6D77-5C19-4F1D-BA5E-7F69B654EF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44d7e019a1c599f6bc275ca7266b7535d059536","datavalue":{"value":{"entity-type":"item","numeric-id":2610709,"id":"Q2610709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$266375C5-6A70-43D7-8106-364B317103BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1e0ec6dfd106a0c87509ba39a12f0bc4b3b42b","datavalue":{"value":{"entity-type":"item","numeric-id":1453194,"id":"Q1453194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$E9CB7C20-1422-4977-AB37-9CD8ACEA10D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350b3c073f5c301b40afddb5a7ec74ff1f2c5297","datavalue":{"value":{"entity-type":"item","numeric-id":7020817,"id":"Q7020817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$5E374A06-DB57-4C4A-9556-B211F1DFA79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$2EC5272C-EA7B-42AB-B5A7-F00BCD71E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc69036bd9c82b7e88c9181f9e9d7eab8ddca127","datavalue":{"value":{"entity-type":"item","numeric-id":2794832,"id":"Q2794832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$D26F14C6-65BA-41FA-B098-E2332C4013BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9153dd9c1eb80fa943265e7a24f096a0ea9944dd","datavalue":{"value":{"entity-type":"item","numeric-id":5224157,"id":"Q5224157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$9CE0316E-2F0F-49F9-B1A7-E6E81D53E2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceaee78c78d01a03d4a0581fae7c4fcb8bb2cbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5108029,"id":"Q5108029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$F23ECC10-DB67-4D55-B018-FF11BE2FD360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d1efd744d330c55da56a0abf5018cc57d1d855","datavalue":{"value":{"entity-type":"item","numeric-id":4989398,"id":"Q4989398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$612DD138-76E4-4FD3-9E8A-153BC2374723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbf96bda9b0e8441a70afe9e49cf9f5bb826e61","datavalue":{"value":{"entity-type":"item","numeric-id":5055489,"id":"Q5055489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$5E16EF18-614C-4B28-8993-7891BB5A46A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfdef06d4ef10ba1bd639c696005da269302ae25","datavalue":{"value":{"entity-type":"item","numeric-id":6116077,"id":"Q6116077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$E7D78C8C-5EBC-4260-A6A1-5849FBA876E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cadb1e08b589fad3a60a578a50d93ec436bb2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2104273,"id":"Q2104273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$33002E6D-E833-4B5F-9EB0-D0175037CF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$337BE307-D78D-4F90-98E6-44145134C957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406fe2c8238112f7139f7da7997d8ba0ca427af1","datavalue":{"value":{"entity-type":"item","numeric-id":3613309,"id":"Q3613309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$86EB4FF8-2CCC-44A6-8DF7-63AD00C279B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28988a42a3a2c2d6353643139dad5845aee25dcb","datavalue":{"value":{"entity-type":"item","numeric-id":6116089,"id":"Q6116089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$38E6CC5F-2D52-4837-8107-AE68A74CA6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b7e9200cb9b780415ae815aff060179f27e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5044310,"id":"Q5044310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$6C790D06-2370-45F5-8268-7FE4FC7D26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5898b6cd6c8cfbc422bf04a93a0ea53c804f6711","datavalue":{"value":{"entity-type":"item","numeric-id":1005940,"id":"Q1005940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$116F37F1-B38E-4944-A42C-A9BB107830EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea391b40383a90b131a418ce786a45da6ee431","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$6C5DC63A-D185-444F-ADD3-127C499F257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987766$4C679096-76F1-4960-A857-59489EA01D0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong negation in the theory of computable functionals TCF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_negation_in_the_theory_of_computable_functionals_TCF"}}}}}