{"entities":{"Q1274449":{"pageid":1285199,"ns":120,"title":"Item:Q1274449","lastrevid":68430492,"modified":"2026-04-12T23:39:41Z","type":"item","id":"Q1274449","labels":{"en":{"language":"en","value":"An algebraic generalization of Frege structures -- binding algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238416"}},"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":"Q1274449$883C2CAB-59B1-4309-A603-7DFA156BC37C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"042d91054658b4aa9c262c9973a718476bd764ec","datavalue":{"value":{"text":"An algebraic generalization of Frege structures -- binding algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1274449$13B61A80-5C9E-4B0A-93B5-6D9BF807E06F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"953f05dee7153ecbcc800e2f5f9f6fd3521076ae","datavalue":{"value":"0915.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274449$2B412F1C-E7C3-4517-B7BF-76589006406F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"213e87d22666fdb1b4bcd3b300a032f3be69fb08","datavalue":{"value":"10.1016/S0304-3975(97)00170-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274449$7135793A-9C98-4C0D-A177-407244FD63E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa92e80a2eabff3026e81ce7126ea4306b3160c","datavalue":{"value":{"entity-type":"item","numeric-id":309678,"id":"Q309678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$A4910984-C001-4DB5-8350-F3D035298010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$C08C2D3D-96E4-42F3-AB42-AC7A9D9DE607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1274449$5E95AF31-C1DA-4D0A-8E41-8F1CAA22ED7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274449$0E605395-D2FA-4F0D-A928-C3AB3A8DBB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696c235ea328c2e7e45ecb26796d2b74bd37d4b6","datavalue":{"value":"1238416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274449$EF3A3262-CB7D-417E-A74A-CDD795224E71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b639845dbc0c45e2f93c050b61b426eb87522368","datavalue":{"value":"Frege structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274449$902B2539-8149-47D9-B9B5-755C4AD83E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac6bf3df490f53c8f4f40f74a023d91c08e3efd","datavalue":{"value":"binding algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274449$0E75B3CE-D1FA-46B2-9597-A40A81D799A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b42c3fec9c293ab23b57e6523503a7d80738d3","datavalue":{"value":"Birkhoff's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274449$D4B38E5B-DE6B-48ED-AE84-F8BE7EB92F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dd3dc417901640fbd39ccb253561a021122fac","datavalue":{"value":"binding equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274449$BC7B8BEB-408F-41CC-8EF0-CBF342256455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f2e0e24e6df7bf2a001ba5241127d584b27e85a","datavalue":{"value":"(admissible) equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274449$C7A9EF89-743C-424F-92DE-97E5BCF7B9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca90970bdfc3564dbeb8d5187653cd16238a05b","datavalue":{"value":"admissible completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274449$9F8B50D1-EB00-4C89-BF3E-AAB2EE7B4D72","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":"Q1274449$DC71FD0B-1ED6-46EE-B267-8586CD2E9C9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$A9272053-6A92-442D-B17E-8B68160105A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$80F8CC54-1751-449F-BFEE-EF60D2C68825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0abf65c499a2acb50eb37174e27c93ee329f542","datavalue":{"value":{"entity-type":"item","numeric-id":3914980,"id":"Q3914980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$435EB0BD-C8A3-4EEE-83DA-942925708AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$9537AA16-BF94-42DA-A19D-D044C24544C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$490E5596-7077-4F22-92CD-3427CE10B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d547c7fd9babab36dbd5b984de40e15f43e99d2","datavalue":{"value":{"entity-type":"item","numeric-id":3858398,"id":"Q3858398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$82869426-EDA7-4267-B47E-D1F1BD2013E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$8AAFC277-DE32-40FE-B329-4DD978E76EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0f64cc99cb8bcdc12a07911f76a1f78bedc63e","datavalue":{"value":{"entity-type":"item","numeric-id":3812243,"id":"Q3812243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$0605CF82-0D81-447F-994F-19FEABAF6443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$1EC4285D-958B-486B-8DD3-7D90F0DFCFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$70965501-6BBB-42D3-8D20-C1C412B7177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$D9A352C1-A33B-4A25-B075-B79FEDCE7E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$F0A2F38E-7A82-46DD-A5B9-DFE05ACAFAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1eba0d19d16f199cc4a005dde4800fb9191d62","datavalue":{"value":{"entity-type":"item","numeric-id":5285989,"id":"Q5285989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$CD5F00B7-0B81-47E4-8DD2-1C0CD108B588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe0713865fc3111d28b95b8b38aaf48bd28a396","datavalue":{"value":{"entity-type":"item","numeric-id":5286912,"id":"Q5286912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$847AECA4-B8ED-401C-936F-AC2BC7814EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d6aa8771d831b76ce84d229a9e335539dc75ab","datavalue":{"value":{"entity-type":"item","numeric-id":4159049,"id":"Q4159049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$10ABF622-4284-4A23-984E-83F4963D7BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e549581c03e6951191873931c64b3eb74c2755e7","datavalue":{"value":{"entity-type":"item","numeric-id":3860824,"id":"Q3860824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$E3D1A77A-C70F-45D1-8CFE-4107E7A0CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$7B4AA886-5B9A-4145-BC4E-850EE486D808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bcd491d9610072b36fb1c41ffbbd04da04e521","datavalue":{"value":{"entity-type":"item","numeric-id":1338890,"id":"Q1338890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$BEEB1584-B93F-403B-9D60-F30F7D264BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$C07C6B5A-809E-470C-A513-436E3CD2FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$80CE906B-0F73-499C-B208-90D5AAAD8EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$C5689FD2-8D34-4D01-8D6E-5B6A215C5425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83523f6bea016ab893f9d29af7bc9892bb0f3f37","datavalue":{"value":{"entity-type":"item","numeric-id":4594256,"id":"Q4594256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$D4D65F90-4E10-4D72-B7CB-E1EB6A65C6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d262ff675f96dc143fba11bdd136a6eee1f4d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5631102,"id":"Q5631102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274449$2F937448-30BC-4416-87BA-BA7ECA5A12BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfb431eb69d4a693f45b37074355ea82eb0c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1fdc105a157226e5a95bdb055c0bb771da8ed1","datavalue":{"value":{"amount":"+0.7383815050125122","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":"Q1274449$BA880097-777D-43B9-BBB7-4D74CFFEA393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93746bd82b40d8488dc6a526a9c740aff72c337","datavalue":{"value":{"entity-type":"item","numeric-id":5714443,"id":"Q5714443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034898e9b145025b257c9cd3b0bf4d479ccd6e10","datavalue":{"value":{"amount":"+0.733367919921875","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":"Q1274449$695CA00B-DDDA-4B31-AF35-209A4C99B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7616d5a36819cffb6051d9efbf91eb7f1f9756","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da60fdff7b48533576477257e110634bef4271d","datavalue":{"value":{"amount":"+0.7312071919441223","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":"Q1274449$6175EC8A-8B10-4075-80A0-EF9B5083CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5e258712eb8a99312523d92c6a06e458cb2182","datavalue":{"value":{"entity-type":"item","numeric-id":5058367,"id":"Q5058367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60abcf949107d2b136c4a2d81d043faebbf11989","datavalue":{"value":{"amount":"+0.7266213893890381","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":"Q1274449$6D577950-FCB4-4E96-A75D-25A4E4FDD655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278f70e0efa85f7d20acd9bce998d5b5447502d6","datavalue":{"value":{"entity-type":"item","numeric-id":5459188,"id":"Q5459188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ba2916b844335b05eaa19be330fd3faacce7dc","datavalue":{"value":{"amount":"+0.7198376655578613","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":"Q1274449$C8449019-A01F-44E6-A22C-A52708F2135A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic generalization of Frege structures -- binding algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_generalization_of_Frege_structures_--_binding_algebras"}}}}}