{"entities":{"Q6987766":{"pageid":21429606,"ns":120,"title":"Item:Q6987766","lastrevid":76341135,"modified":"2026-04-23T17:58:42Z","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"}]},"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"}}}}}