{"entities":{"Q1976882":{"pageid":1987624,"ns":120,"title":"Item:Q1976882","lastrevid":72162600,"modified":"2026-04-14T03:02:50Z","type":"item","id":"Q1976882","labels":{"en":{"language":"en","value":"N-strictness in applicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443417"}},"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":"Q1976882$CEF98B3B-17BE-4D3D-9279-400085ED8E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf408e051509515b36b7a0c7a425b97d2189233e","datavalue":{"value":{"text":"N-strictness in applicative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976882$9D98630E-FE25-407A-A2CC-391E9E40B03B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82776c88e17fd02b9d00dd93ae12e1a2170ec4c3","datavalue":{"value":"0960.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976882$255A14A1-A309-4FB2-9BE0-77721BB09330","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976882$13EBD740-C586-4FF3-BC2E-3C4F72A5AF9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976882$82C373E4-F6B7-4A85-BB3C-FE2E216C43F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976882$522E2B7D-EA87-4201-8EBA-9D467C741BEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976882$2FD99E8F-AABB-4A35-A9B2-986666543B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976882$25873F56-ED74-4FA2-952E-F3AA2E64361E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdff6f2faf98d6eabba6addd9160ed191ca86f29","datavalue":{"value":"1443417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976882$F89D8B7B-90E3-469F-96E6-0A97C5908754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976882$869089B2-9FC8-4999-89E8-AE7E6CA491CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932a25298e83e2c06e414323ce5798a3788b66bf","datavalue":{"value":"combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976882$867A3419-EAA8-4D4B-BD63-13DF3463F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976882$0AB786C4-0688-4216-A19A-C83EB3287355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50023ce144f8447b7760b0b3dd56970844d32ce","datavalue":{"value":"quantification operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976882$6F9A0A69-7489-45CF-8143-FF4043529CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976882$ED6F93C7-A0E1-4442-B532-CF342CE0692C","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":"Q1976882$DDECF052-3487-4050-B483-CC93BD4834F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e8ebb1511620e61490a97fae2f2a9e9c591f1df","datavalue":{"value":"https://doi.org/10.1007/s001530050007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976882$BFA080DA-4368-4FCE-B275-75384214856D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27374fddd0dd737878d9d79a55a45efe4686ef97","datavalue":{"value":"W1968312518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976882$1018601F-134B-4DEB-ADC1-400D7F0F56B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ce88c8d5a19acf30d8e8803d9f385e3bab29e0d","datavalue":{"value":"10.1007/S001530050007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976882$2F44FD8D-5988-45C6-9C1E-4A16D0555015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c976ae508b1389dfb2d06510347902cd17bad895","datavalue":{"value":{"entity-type":"item","numeric-id":4793035,"id":"Q4793035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c36ab60774b8f5e7c16aac47aed63333db2e61","datavalue":{"value":{"amount":"+0.7433558702468872","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":"Q1976882$ADD78AA9-112E-4865-8796-37F48BF49F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fb31218a40ef5a8f85b77a3e9032bda2daec13","datavalue":{"value":{"entity-type":"item","numeric-id":2566067,"id":"Q2566067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f4cbcb0921bd57ee68aacb9dd31e8d85715a23","datavalue":{"value":{"amount":"+0.7347351312637329","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":"Q1976882$CBC1F939-2799-4426-B8E5-19CB3F6A65C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3376d4fe1c4a5edfaa03215751ee62f7e17be35c","datavalue":{"value":{"entity-type":"item","numeric-id":5702663,"id":"Q5702663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f0b435091129b871917cb346f1bec5a07d2ee4","datavalue":{"value":{"amount":"+0.7139129638671875","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":"Q1976882$6A8FA5F4-389F-4EE2-B53D-3987FC2402ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f73f4390c337f2e0ede50d85c757f7b18d342ff","datavalue":{"value":{"entity-type":"item","numeric-id":4941991,"id":"Q4941991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84074fb7d077322bdd2d90a8982ab0be1172c8d1","datavalue":{"value":{"amount":"+0.7058550119400024","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":"Q1976882$B5D9B1A2-DDB6-42CE-B75F-D31A57E80101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"N-strictness in applicative theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/N-strictness_in_applicative_theories"}}}}}