{"entities":{"Q1377634":{"pageid":1388374,"ns":120,"title":"Item:Q1377634","lastrevid":68760531,"modified":"2026-04-13T01:52:54Z","type":"item","id":"Q1377634","labels":{"en":{"language":"en","value":"Theories of generalized Pascal triangles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109915"}},"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":"Q1377634$F158966D-CAB6-441B-8351-43B68DE8FCE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"807964fdd6330277ffb5ed166e9ce61f584a4a5d","datavalue":{"value":{"text":"Theories of generalized Pascal triangles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377634$7C379A60-2B56-4D0B-817D-4190221B6A07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c2e3e808da57500c4a3600d9500f00fdc82260e","datavalue":{"value":"0889.11009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377634$D5C08D2C-95CE-4D68-A4FD-F6C22FB13477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3336035d2c134b53d4238b94372396a551405403","datavalue":{"value":"10.1016/S0168-0072(97)00006-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377634$881A2B98-B8FD-40F2-BF39-9E83F7C943B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85de89faa7dea0486792597ead40953c99a9145b","datavalue":{"value":{"entity-type":"item","numeric-id":1087899,"id":"Q1087899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$55AD24C8-8CD9-4629-85E8-50AC6F29D876","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":"Q1377634$E504B1B9-66C2-4621-987F-343A5A1D17F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a4aa9887492d0c8972f96f0b793034d2ed1a547","datavalue":{"value":{"time":"+1998-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377634$85418AE9-095B-4E2E-BDB6-33958B684D52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"136cf6d8af05d4e9f3c5b8093e76f715e63d8c71","datavalue":{"value":"Generalized Pascal triangles (GPT) are mappings of the set  \\[ \\mathbb{D}_n= \\bigl\\{ (x,y) \\in\\mathbb{N} \\times \\mathbb{N}\\mid x+ y\\geq n-1\\bigr\\},\\;n>0, \\]  into finite sets associated to some finite algebras, analogous to the way in which the classical Pascal triangle can be associated to the (infinite) algebra \\(\\langle\\mathbb{N}; +,0\\rangle\\) and ``the word'' 1 (of length 1). In this paper the author summarizes some of his results concerning first order theories of GPT.   The paper consists of the following parts: Definition of GPT and a motivation, Structures associated to GPT, An example of a GPT (for which decidability of its theory surprisingly strongly depends on the chosen structure), Decidability results for theories of GPT modulo an integer (in this case decidability or undecidability of the theory of a GPT mainly depends on the factorization of the modulus), and Decidability results for theories of small algebras (the smallest cardinalities of the underlying algebras are shown where the theories of the corresponding GPT can be undecidable).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377634$5682ABD4-E826-4EDD-9A63-2529F8D19348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377634$71D23BE1-4D08-46C0-997F-49BDFA521C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377634$F05977ED-5F15-4FFF-A186-BEF5A2CF289C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377634$1CCDAD4B-549F-4C47-A05F-A98122A2CE32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80179a376b319b01a99b35deeaec87467735da4b","datavalue":{"value":"1109915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377634$38CD9A4D-0D46-4525-86BD-6FE5E655B3D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec61f8e7200387f713a83f5ec0339050cf388b06","datavalue":{"value":"generalized Pascal triangles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377634$09F57F08-6A02-45E8-A95D-86D9FFE98398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377634$83F22F72-94DA-46A6-A7C9-723B15B9B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d17d010388cb04935f92af523f2efa4c0132548","datavalue":{"value":"first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377634$B3A5536F-C0A8-42B0-AC86-BD5A470757BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377634$0733ECB7-BF0F-423E-AC8D-03371E1B4638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b9b42ea1f48f5d7d2928320c00778b95d78344","datavalue":{"value":"small algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377634$B5E6037F-73F2-4A53-BE0A-7B71D642D8BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$28FEA478-0B24-41E8-9317-D01C4C3826FD","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":"Q1377634$46885BA9-B34D-4ADA-AC68-0802AA29138F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b822af4eafa1a1dde639986420cf2ba390f1907","datavalue":{"value":{"entity-type":"item","numeric-id":1377632,"id":"Q1377632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$7E6ABFC6-1C8B-4F0C-AB81-7CA6FE9A867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce255ab088282825032066366f25770098bcd3a","datavalue":{"value":{"entity-type":"item","numeric-id":3996802,"id":"Q3996802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$A04E259C-18EF-4C02-90F0-29EEE72BBA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$27F0A89D-D8DF-42D2-BB6D-7FAE1650AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531e680281e939bd9b16d5fbf6e37117191a38bd","datavalue":{"value":{"entity-type":"item","numeric-id":3753492,"id":"Q3753492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$28B83E9C-BF35-4D49-9E87-387E60C5194E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85afa24b935cddedea5e0f3320e91124c4165a31","datavalue":{"value":{"entity-type":"item","numeric-id":4272745,"id":"Q4272745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$572B150D-59CF-41AE-996B-6BF2BD439784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afa127611e9a5ed3cdba2b68bf8a2f443ea76d7","datavalue":{"value":{"entity-type":"item","numeric-id":4327098,"id":"Q4327098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$22A58DED-8F36-432C-A48E-D64C07A4EE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d122dc3a19e3185c91ff8aba936ae5a294e48d51","datavalue":{"value":{"entity-type":"item","numeric-id":4763283,"id":"Q4763283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$82F1CE04-E1DF-44AF-8FB6-1DDB36A546EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0ab71b65a1eda701d7a672264393eba455be40","datavalue":{"value":{"entity-type":"item","numeric-id":4886957,"id":"Q4886957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$AA01F0EF-6D3B-4869-90FE-E5F40821183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20de913e6befd8a2feb5c9f4d8365e253d65cd15","datavalue":{"value":{"entity-type":"item","numeric-id":4839134,"id":"Q4839134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$A04385F9-0B0E-42F1-8449-2333CA8F70D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597c896af09dba86094f612196f9d83cd63bf7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4509077,"id":"Q4509077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$7EC5E71F-4684-499A-B9AE-C97EC4BC2E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c37de0f9bcfe9be7c29f7db0b6025a11ebdb526","datavalue":{"value":{"entity-type":"item","numeric-id":4152588,"id":"Q4152588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$EF749D86-9DBA-4E87-84CA-8D3BC4C6ACD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377634$C796262D-E887-4840-B060-91EED72D3445","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd62487f719ea5cb3acaefa40fe6c0a716112901","datavalue":{"value":{"entity-type":"item","numeric-id":3361903,"id":"Q3361903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e835309aa709617d33bc499dbb4856a6634afde0","datavalue":{"value":{"amount":"+0.93852496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$DC532F29-DFD4-4EE0-B277-D330A223CF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e8e70e9609ab7a8b9575729a20f10f5e1d3993","datavalue":{"value":{"entity-type":"item","numeric-id":3145680,"id":"Q3145680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9dfb5b9790bd6d845e8fc8dc230ce5645e7bf8","datavalue":{"value":{"amount":"+0.93352354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$78DC9CC6-33D1-4EBC-A84E-32D592710ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a00625aa868372577e3e5cc363a6af22313ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2077261,"id":"Q2077261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd61d15176f72031a1fdee26d6815b4e9807925","datavalue":{"value":{"amount":"+0.92343706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$5A763B8F-B9C6-4968-BF0F-A00AB36A1AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662581fe67bc552c8630f3cc81bf097102fae954","datavalue":{"value":{"entity-type":"item","numeric-id":3734411,"id":"Q3734411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a0506eac9aed0117a2ccb21bf2875aa4b7ac1a","datavalue":{"value":{"amount":"+0.9215148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$994AC77B-CC89-402D-AE84-7052E55D5A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09550dae5a57ba5beeb751b327bbc8acda67805","datavalue":{"value":{"entity-type":"item","numeric-id":4398225,"id":"Q4398225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2101a64df7a8ea31b83160365896f7d946e1091b","datavalue":{"value":{"amount":"+0.90680903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$9B646B56-04CE-4084-AE53-4D3B60F5B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5028b1731dfceb2ab18499e8ebc70b8842eafd64","datavalue":{"value":{"entity-type":"item","numeric-id":4382153,"id":"Q4382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09da235c4e7cb1d7f04dd801bf11a0d5dc3e0f86","datavalue":{"value":{"amount":"+0.90202856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$8C23FDC7-BB4D-47B3-8DAD-8EBCEF26C546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8bfc0b521041b78729455f2403e0d0c5715d83","datavalue":{"value":{"entity-type":"item","numeric-id":3745841,"id":"Q3745841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5a0637b3ea37db9ae8b04b9ff45fa1200bdbad","datavalue":{"value":{"amount":"+0.90185356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$5034E095-4643-4D5E-88AA-F893EF9E9F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d876fa8f09b4e7d8d88e92be12e10ddaf452d363","datavalue":{"value":{"entity-type":"item","numeric-id":2796794,"id":"Q2796794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3f1963f39b5a20a28b6da3a8f6af640dfa1cc0","datavalue":{"value":{"amount":"+0.8959049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$E3ADD0D3-70B3-4FCC-A381-45E693F35F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312be59e668756226d42d96f11861b2914ef445a","datavalue":{"value":{"entity-type":"item","numeric-id":5094672,"id":"Q5094672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0317ea1c97ceb9d0babcc0d05249f64cce6661d2","datavalue":{"value":{"amount":"+0.895293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377634$0F95A6DA-4644-4F8B-8678-293BA3FB20BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theories of generalized Pascal triangles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theories_of_generalized_Pascal_triangles"}}}}}