{"entities":{"Q1088979":{"pageid":1099731,"ns":120,"title":"Item:Q1088979","lastrevid":66911994,"modified":"2026-04-12T13:41:29Z","type":"item","id":"Q1088979","labels":{"en":{"language":"en","value":"About finite predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002063"}},"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":"Q1088979$26144227-693A-4745-A797-70FBFB3FAEEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a544d53c8ab17c6ca7c1fcac787bd221c5d6ea","datavalue":{"value":{"text":"About finite predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088979$64CA7ECD-DE56-44EE-BA2B-3DC4B7824915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef5ad9f9e4ba2d04beddd1474fcc437a5b1f8084","datavalue":{"value":"0618.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$B52FC128-971F-42F8-ADD3-FA93520CFD48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03c0d9a816b74ca383dafc9c6113937079a1ac2f","datavalue":{"value":"10.1007/BF00370273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$860D7C72-7475-485B-AB42-E6B88154DD09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d05182b58c34e896e648af97523cf24e4072eebf","datavalue":{"value":{"entity-type":"item","numeric-id":1088978,"id":"Q1088978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088979$B9F890B0-67D5-445E-93E1-3E5210383DAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088979$48027DAE-7CC4-4F0D-B9A0-9B44B1708F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1088979$F36552B2-FB4C-4FB7-9F43-65B51701AFBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c76859ac94e84ff14b2c490fe6fb02b13638185","datavalue":{"value":"We say that an n-argument predicate \\(P\\subset \\Omega^ n\\) is finite, if P is a finite set. Note that the set of individuals \\(\\Omega\\) is infinite! Finite predicates are useful in data bases and in finite mathematics. The logic DBL proposed here operates on finite predicates only. We construct an imbedding for DBL in a special modal logic MPL. We prove that if a finite predicate is expressible in the classical logic, it is also expressible in DBL. Quantifiers are not necessary in DBL. Some simple algebraic properties of DBL are indicated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088979$E4E274E3-3FD4-427D-B892-44240B7B55DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$4615518B-898E-4A09-B14A-9E340B67A8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$E51C4C78-E6F1-498E-92B1-86FC9C560F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$B5B36E21-FD8D-4774-AF64-412AA3967F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0d1683dc539e8d2a37b0615ea6222a71b0b65bc","datavalue":{"value":"05B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$88A26600-6E42-4B98-8FC9-EB5453E5D999","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb4596313e87b362674c5f28e5e504314002dca2","datavalue":{"value":"4002063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$E1A14D8C-1D36-4DF8-B813-1FE00B7451D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48108816dea7cdcdf45500ca0ed4f412017dd84","datavalue":{"value":"data bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088979$84EF166E-2D58-44BC-86DC-3B522E3926C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a719170cfefb1bd9d08db08c129a3197e19ddf","datavalue":{"value":"finite mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088979$4EA12CAA-CF80-488D-B92A-945D8C3CDCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb370174709f6cfbe6d9d0337c43497f2555b95","datavalue":{"value":"finite predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088979$988D13CA-6310-4E7B-B5A3-6A44C1401C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088979$7D2D5BFC-DA3C-45EE-8230-2EAE20E32C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d400f9450629bd1e9d3f13b4240572cc9535d3a","datavalue":{"value":"algebraic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088979$31491690-BC83-443F-B2B9-29533A825529","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":"Q1088979$F103164A-0C89-4B45-919A-81B8DB5CB15C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088979$20C8060F-0A06-4261-88B9-5D8CECAAD409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"928cc356155bb7ee8f422a5988d4fe754fc3e8b3","datavalue":{"value":"https://doi.org/10.1007/bf00370273","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088979$35AC0BD0-0F5B-4089-8C33-DDAF4CE6D7FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1e22d76e42b15899e42babf3b39c2b9637e3a8a","datavalue":{"value":"W2035565023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088979$F454B06E-C209-48FA-A046-97FF72CEEB4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91532f95a01b9d7358eb5383277c9465738c4d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1112628,"id":"Q1112628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d208fea37eb885a9d8cd51e1b0e76947bd3d4c89","datavalue":{"value":{"amount":"+0.7096699476242065","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":"Q1088979$5BFAD017-D161-4F65-A199-C1FC08D47168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad387bb91aea289b46103fdf638050e404fdcd3","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f491caaf2834a436974b2d8e134a6ccd31a5269e","datavalue":{"value":{"amount":"+0.7016515135765076","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":"Q1088979$19F4C961-CE62-4AB7-8838-8686F7C428DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dea66ea45d242de223c3b93cf45213c72707490","datavalue":{"value":{"entity-type":"item","numeric-id":4943492,"id":"Q4943492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a8a93a7ca009b389902c6456846f3beaaf3202","datavalue":{"value":{"amount":"+0.6952819228172302","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":"Q1088979$AABE0DB7-4286-42E1-B691-85A159507EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0620462120711ce7c3084066e0157bfa61c35c","datavalue":{"value":{"entity-type":"item","numeric-id":4716050,"id":"Q4716050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a8a93a7ca009b389902c6456846f3beaaf3202","datavalue":{"value":{"amount":"+0.6952819228172302","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":"Q1088979$BA74EA6D-91C3-4843-AF63-B2081EBAB97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74bd3ee8d5491bf125d78ff4f1cb141605d7b8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3826520,"id":"Q3826520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b48735869c25ef8574dba3193e01a642d85158","datavalue":{"value":{"amount":"+0.6934840679168701","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":"Q1088979$7A1F64DE-BF55-4F3F-9B53-DA18A50CA243","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About finite predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_finite_predicate_logic"}}}}}