{"entities":{"Q6867728":{"pageid":20702968,"ns":120,"title":"Item:Q6867728","lastrevid":84238298,"modified":"2026-05-14T01:36:43Z","type":"item","id":"Q6867728","labels":{"en":{"language":"en","value":"Logics for at most countable first-order structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8151356"}},"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":"Q6867728$489F0A4C-DBD9-4EB8-B624-C36F52D44226","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b80f933111d2da4b58f78b696ba38d2ed97eed8","datavalue":{"value":{"text":"Logics for at most countable first-order structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6867728$69D3A13C-5800-4EC0-AC3A-DC72CB5CC634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"def175f157e8af5771d31e994f2280554447549f","datavalue":{"value":"10.1093/LOGCOM/EXAE067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6867728$D94CD738-5AED-45F1-BD87-656388078FE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95639eea9749b2381c312d72fb0dced146c214e","datavalue":{"value":{"entity-type":"item","numeric-id":465581,"id":"Q465581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$5A18A4B8-7016-46DC-9BF0-D88771601578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$8061616D-C538-4D07-8308-F63D4376AC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d03871c13f92dcecd7c84c9163cb43aeb0ca43c","datavalue":{"value":{"entity-type":"item","numeric-id":2043429,"id":"Q2043429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$F4F775DE-E1A0-43B1-8859-73A9C8AE5F11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$A336AD11-B09A-4A23-95DC-27EF5004981B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b21df698a706abcc2fd283bd51480ce9f9a58001","datavalue":{"value":{"time":"+2026-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6867728$BA67FF84-562B-41D0-ABFC-6FA0313D8328","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe953611f9ed7fd7e8707a7ed368e86308e881b7","datavalue":{"value":"The authors present two extensions of infinitary probabilistic \\(\\omega\\)-logic corresponding to most countable Archimedean and non-Archimedean structures. First, they provide Hilbert-type axiomatizations and prove the strong completeness for these two logics. This result enables to represent syntactically particular countable Archimedean and non-Archimedean structures such as the real closure of \\(\\mathbf Q\\) and the Hardy field \\(\\mathbf Q(\\varepsilon)\\). This framework also provides strong completeness for several well-known systems, and possible applications are illustrated in the cases of non-monotonic reasoning reasoning and weight functions for neuro-symbolic computing. The developing of many-sorted variants of the introduced logics to formalize reasoning about subsets of elements of domains is proposed for the future work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6867728$2E2CA38F-BFF0-4C01-B1C1-CFDBF09972C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$0E6D87CC-CE33-4189-B7E3-07AB88BF9E4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6867728$A81333D5-C1EC-49F3-9599-BC010E891824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e0db9833a4358020dabdefd3af397580634e9d2","datavalue":{"value":"8151356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6867728$EDBBDF15-FEE4-4FD8-88CC-0018137D4ACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44624ed27d93594c9d7e63e70f05fe788d938f52","datavalue":{"value":"\\(\\omega\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6867728$6EE2CD1E-45EC-4E88-B73A-D29C481AFA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ae7ede1ea694be2a3706e976b2e9e97e6c4034","datavalue":{"value":"probabilistic weights","type":"string"},"datatype":"string"},"type":"statement","id":"Q6867728$D3D72EA1-B2E1-4445-8B77-288D231168A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91fbd9ae6b6fe612814fa297d6edc8d8043ff03","datavalue":{"value":"neuro-symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6867728$5843E8D1-469C-4033-9BBE-29986D4DFA35","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":"Q6867728$7BB6CFD2-990A-4ABF-A241-E621DC381C8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede61bbf47dfc5f96e9420622c0600314318cdac","datavalue":{"value":{"entity-type":"item","numeric-id":1327387,"id":"Q1327387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$F19FFA85-799E-42EC-9332-439D56CBF6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0262fb82bcfeec57774cf198661e3ccf0a992a49","datavalue":{"value":{"entity-type":"item","numeric-id":465578,"id":"Q465578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$DA5C19AA-5CDA-43F5-AC94-C72A893551E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c1065437e910aba0fc81bf2f8760b980612c3e","datavalue":{"value":{"entity-type":"item","numeric-id":4619821,"id":"Q4619821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$D5AA00F3-C507-4F7A-BC95-D9E2D4B1B644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$0F899A10-7F51-44F2-82C1-F7347FD4F7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3c0d77d52fa9c58504e290186b3352ada19266","datavalue":{"value":{"entity-type":"item","numeric-id":7015392,"id":"Q7015392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$0B48D88B-2BFE-4961-AEDC-B48F4337115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec0c6339a6656b04c8db9d9f87d70c68dd44245","datavalue":{"value":{"entity-type":"item","numeric-id":571218,"id":"Q571218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$17DE9C01-F475-4F4C-8F0C-79E3DF875FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$094D7DDD-F40F-40B4-802A-A9F2B7C82D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$994C3A16-58B5-428C-8930-E3B5B8DFA463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$2167573A-2166-4903-8343-7B5B0B8716A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa29e9e740c19985d519723a7803e882198a6be","datavalue":{"value":{"entity-type":"item","numeric-id":4175264,"id":"Q4175264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$B4642358-604E-41BE-98AB-B50FA2D7FFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$448A5CC2-61AD-485A-9426-360C5905BF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$D7E06B40-D8DA-4C77-837B-37EE948975B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$1BA9F5FC-FCD3-4EB4-9F13-4227DCFA8743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7882d49a419d1cf8f62fff8b3c3f32e46029b2e","datavalue":{"value":{"entity-type":"item","numeric-id":6494348,"id":"Q6494348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$FD15D092-D6EB-4365-B61B-7C6FE7C2DB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a325b995e299efe001d07ca3235a06c3f8898f","datavalue":{"value":{"entity-type":"item","numeric-id":5020172,"id":"Q5020172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$A0D1AC25-29BA-4D7C-B21D-DA25AAE581EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2b42f31b241ada71a27f39f1f6e4ae58a5f82e","datavalue":{"value":{"entity-type":"item","numeric-id":4242585,"id":"Q4242585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$2A2E2B1D-A8B9-47FA-BC70-60BB7978DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b89614af00bed4f96a6581d849d56f2d25f687","datavalue":{"value":{"entity-type":"item","numeric-id":1583250,"id":"Q1583250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$3F2937CB-F751-4F48-882B-75657A8B1266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c396ac7edac0b9eaff082788af12d8960d1331a","datavalue":{"value":{"entity-type":"item","numeric-id":2832982,"id":"Q2832982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$D4CAC909-2B54-42A0-80B7-8BCDC74D4509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2f2872233ba0347fc5aa7ab1e4370c49060777","datavalue":{"value":{"entity-type":"item","numeric-id":6639560,"id":"Q6639560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$7F8391B1-DED2-47B1-9D47-19E778CD3919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2ac97b0da96c50f2e79db5e38f61ffedbc9539","datavalue":{"value":{"entity-type":"item","numeric-id":5279264,"id":"Q5279264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$35F9F1CD-7141-4B31-8017-641717159D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11b84dc227737a49d44351c1d031bfc5c62a407","datavalue":{"value":{"entity-type":"item","numeric-id":2379314,"id":"Q2379314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$BDF86C61-FF63-4CB9-BAEA-2ADEE42AFE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b3210b70504b00a0159ca4bf1b7ae9c795baee","datavalue":{"value":{"entity-type":"item","numeric-id":2491364,"id":"Q2491364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$DCF9BE4E-C985-45E9-ABB9-477A9BA53A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71691f9c5ca3d2d48b9ef88851a52dc6d506c28","datavalue":{"value":{"entity-type":"item","numeric-id":1797765,"id":"Q1797765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$DD0910D3-E007-4499-80F7-02F82BF9F730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9636412683348c3a6eb5fcf0191c6aa2a44d7064","datavalue":{"value":{"entity-type":"item","numeric-id":3272468,"id":"Q3272468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$5CF59DFB-00C0-45EC-BBDA-CF56EA2F5196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa98c4e99f58941598aba5d01331c82a7d56a71a","datavalue":{"value":{"entity-type":"item","numeric-id":1341981,"id":"Q1341981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$36F7F9B7-F771-40F1-95F4-7D15ADC07F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e3650eff92c05e70ce7aa4a7693c84b40b74d2","datavalue":{"value":{"entity-type":"item","numeric-id":1582313,"id":"Q1582313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6867728$E1A282FA-0E2F-434C-BC06-E99703E9C701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics for at most countable first-order structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_for_at_most_countable_first-order_structures"}}}}}