{"entities":{"Q1348107":{"pageid":1358846,"ns":120,"title":"Item:Q1348107","lastrevid":71387871,"modified":"2026-04-13T21:56:30Z","type":"item","id":"Q1348107","labels":{"en":{"language":"en","value":"Infinite systems of linear equations and mathematical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1741674"}},"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":"Q1348107$4C8DD722-28FA-4C38-8555-F9132FC8B30A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ccd0766ac4f84e97f62813ed4e0c9524dd7e6a2","datavalue":{"value":{"text":"Infinite systems of linear equations and mathematical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1348107$48761335-627B-44D9-9ABC-49BB9E61B6DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6965aa0ee5232db78b7929eb4231e2504ada9017","datavalue":{"value":"0997.15002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$8CFFBEDB-99DA-4875-8AD6-7EEA25FBDB35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddba44c540bff51a8dffc601bb3853dc5d1bbd1","datavalue":{"value":"10.1016/S0024-3795(01)00537-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$EDFC9056-15A1-4439-AC8F-7668ECA72238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f8fef234d9bd7f735e4bd127de5d2e739e9fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1348106,"id":"Q1348106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348107$BEB68789-0B53-428B-9231-E5E5B2E01311","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348107$825F1926-CDED-46F2-A2E1-7E6EF22B90B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227e5427b5a3bbb67302bf9b39de3184f35d2317","datavalue":{"value":{"time":"+2002-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1348107$E8306659-8A13-48D8-AB69-FFC6E42F1954","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47eed43b8c8487830effdccf91b3c1986dfa9b23","datavalue":{"value":"The compactness theorem of a first-order logic is applied to a collection of infinitely many (finitary) homogeneous linear equations. The properties of a non-trivial \\(h\\)-solution are discussed. This procedure is then illustrated by the problem of the fundamental period of a Fibonacci sequence in a finite \\(p\\)-group of an exponent \\(p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348107$4350B471-D12B-4239-B78F-F19F88668988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a45ae13c9fa089fa230a226367a6e2fc5f1bdfee","datavalue":{"value":"15A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$3BFC231A-31CE-44F6-AB25-CBD5A7E0D9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$38A8251A-5915-4F76-A7A4-A99C5DE124AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$B0D83F5A-8B97-49F4-B9A5-AEB825418253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$5A59782F-D586-44BE-80B6-28D46392B8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$BB84FEF8-BDB8-4C0F-B416-71F60305F35C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a592f10b2c8099b58df2e3c108f20e0bb0cfab","datavalue":{"value":"1741674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348107$19F60597-D877-4134-AB8E-BD546B3B2424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348107$184A8BFD-6CAF-4AC3-811B-2D2D0445B04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0514de64a92d377eb5b7f411a83a6f319c4635","datavalue":{"value":"Fibonacci sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348107$2F6D6899-3788-47DF-995A-10BDCF312A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348107$53777C67-2189-4B9B-A1EE-AEFE91F93303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348107$D2D09FA2-B878-4805-BA34-E2136AD46647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b6d0bf394724c54260cf26cf5c9de8035676a4","datavalue":{"value":"finitary homogeneous equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348107$054BF177-2308-43EC-9429-066D431EAB1C","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":"Q1348107$0D1115F0-7D78-422E-AE91-F10DFE91B51F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acff512399ef46e3d8fe80f1c4e544324d500c70","datavalue":{"value":{"entity-type":"item","numeric-id":4286363,"id":"Q4286363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348107$85C1EFCB-BC6F-44B8-BF70-2F5707D29517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348107$C9B9B220-15DE-47CC-85B8-A07FFA9E83DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e595c49db1bcdebca480528c251fb54ac4d767","datavalue":{"value":{"entity-type":"item","numeric-id":4160890,"id":"Q4160890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348107$D0DB7131-5787-4534-BA17-7955E678DD95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e9f8768d225f066957156e37fec8bbbd969f76","datavalue":{"value":{"entity-type":"item","numeric-id":4906289,"id":"Q4906289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ee63f7dd874dd40a6a57594dc0a2cbfb7e839d","datavalue":{"value":{"amount":"+0.7499150037765503","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":"Q1348107$5857120E-713C-45CE-8FFD-CFB679659376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19f00005966c970414836e21360c91124162a62","datavalue":{"value":{"entity-type":"item","numeric-id":5398209,"id":"Q5398209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a86e0f486a2d3260aff185d600f4cf59ef8a06","datavalue":{"value":{"amount":"+0.7454741597175598","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":"Q1348107$E5CC2F7C-A5D3-46F7-BB86-BBFF6B5F2D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9982096f1f8c2aa52bd8dc19b373ba8a61d5e652","datavalue":{"value":{"entity-type":"item","numeric-id":4900296,"id":"Q4900296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d82d02e3ba2c7dc09cafd7e5bb23b98c22e1e4c","datavalue":{"value":{"amount":"+0.7396363615989685","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":"Q1348107$2D17C4E4-C682-41EF-AAF4-FDF344E014FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16c2d48cee6f1cd8b821929043ccf400ae1770e","datavalue":{"value":{"entity-type":"item","numeric-id":4900295,"id":"Q4900295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23e222e7c0998c5cd543f3956d3a9dbf819e763","datavalue":{"value":{"amount":"+0.7388177514076233","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":"Q1348107$66602C6B-8BE7-41EF-BBA4-E90B2CA1159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a96a341b40b8b9d0a4a1374c20989412f535c","datavalue":{"value":{"entity-type":"item","numeric-id":4900283,"id":"Q4900283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8182b226e62ee6b099fbb79c1a31f9c0b2e97f","datavalue":{"value":{"amount":"+0.7387740015983582","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":"Q1348107$E16D4A9B-22F5-4703-A338-961161B168CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite systems of linear equations and mathematical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_systems_of_linear_equations_and_mathematical_logic"}}}}}