{"entities":{"Q2372191":{"pageid":2382934,"ns":120,"title":"Item:Q2372191","lastrevid":72630717,"modified":"2026-04-14T06:11:08Z","type":"item","id":"Q2372191","labels":{"en":{"language":"en","value":"Fresh logic: Proof-theory and semantics for FM and nominal techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174342"}},"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":"Q2372191$FFD7AB07-86B6-4047-B2C2-18FCAD5F7F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92519f48e292a95637e2dde60e8281ae08aaa165","datavalue":{"value":{"text":"Fresh logic: Proof-theory and semantics for FM and nominal techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372191$C7C2621F-F0A9-40D9-80FA-89ADFE15ACA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89c11ea7bef5e4073023da13ae385fda268c4d2f","datavalue":{"value":"1124.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372191$6704FB36-D16D-40D4-B9C6-7CF36677F0C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$2CDE94A6-FF99-4D2A-A22D-937ED2381D88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372191$B3F8C855-6738-40AB-B9F4-99BD23B80AFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5febe5aebd495f855c6e7c98a2a1041733f8f84b","datavalue":{"value":"In this paper a formal framework, called fresh logic, is introduced and studied with respect to its semantics and proof theory. The logic originates from Fraenkel-Mostowski set theory featuring a quantifier \u0418 `for all but a finite set of names'. The aim of the author is to provide ``a logic whose judgements look like normal first-order logic, whose language is augmented with the FM \u0418-quantifier, and with a good proof theory and semantics'' (p.~357).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372191$4D0D6483-21DE-4A57-B1A8-8016B23799E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$9210ADE1-0073-40F9-A1C7-5D9B4FA52F8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372191$721916A6-310D-4FFC-9B55-397EF02EA2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372191$D1BBF4DB-82C0-47DB-B418-01D6EE4936B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c6339c22e4968d16dace231969235b8c53662e","datavalue":{"value":"5174342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372191$C01BAD3F-4ED0-4171-AD8F-8DC5FD079CBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372191$A16F21C5-95B6-4D68-9DEB-11F6D4E2E3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372191$8E95DFE9-3194-4FF8-947B-07FF2C860DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372191$066F8BF2-5023-453C-9876-168C8FEE59D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3599ddc6791e8ea706419de925997e436f58a177","datavalue":{"value":"Fraenkel-Mostowski techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372191$8D69627D-6F42-489D-857B-0B6B0B5FBE74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$A5538302-642B-4A94-8BC8-DC83FED4B43E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$5F416113-B83E-4780-8772-56922E55D4CF","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":"Q2372191$8844A09E-DA35-4453-95C2-BA789408ABEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85702b35a7b4fa3d4717e8f8117607607740e4ae","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.10.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372191$E42A0D7C-36A2-4002-A6A0-95C31CA7E6BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f67bc3bc9893fc57565aa4c67dbba3ecf3367e05","datavalue":{"value":"W2092116738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372191$22B8BAA8-CA00-43F1-952B-7D4BDF3A97C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$F4ED380D-6C02-4B66-AD02-069639045867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ffb405ca2326f893cc667ff92635ebf3c4364","datavalue":{"value":{"entity-type":"item","numeric-id":4876818,"id":"Q4876818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$42EDD5AC-21CE-4832-836D-7919BDAA8FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$B8FF3EDC-415A-40D4-A9F6-0239E856A938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7319e933ba15aa6f8a1d39375a8d279be83de2","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$72F9E546-BD5B-4799-83D8-291F4319402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$1DF12E52-F796-474C-8DE7-E8ADC059B06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$EF37221C-1AC5-4484-A5EA-97C8325E4BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5b239a2f303b2c8313b2ef3a973a6390b54360","datavalue":{"value":{"entity-type":"item","numeric-id":4664925,"id":"Q4664925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$D6523073-1E49-4F1D-9A49-7EB4F12A05E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$9B211791-C5E4-4E72-9AE6-C9DA7AE90BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc09fba81e6a14082e7e439b4990f073f09d0006","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$7FCAE11C-0629-4F7B-BC74-A4F5946F5CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$4D5B1F6F-71E6-4E81-89AC-757EE1DFE110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$3E5FD2A5-DAEA-4F30-B9EF-67104BE4DEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$47B537EB-1BD6-4CB5-81FC-CD1AA7D9CB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$E671AF10-F75D-4F19-A2E0-C23848E4B3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c35fe0df049e2050e7992076c5f03650ac39ce","datavalue":{"value":{"entity-type":"item","numeric-id":1410543,"id":"Q1410543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$5D22A056-BBD4-401D-8E48-4E99ECEC86CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$B660BA73-8330-44F2-B499-20880EE6C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$47E3ACA9-36F9-4F0C-9FE9-240EBB2A72D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$AFF9FA69-F3B9-4E33-9429-D357F7DD11C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae1ae279a482446bb78d37be8963f369d811b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$35A2D032-5AC7-4827-A225-80D67E80EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$0659ADFC-8D60-454B-BF95-1F4E9E41E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$E26DE730-36A0-4B4C-B409-2FF78C289D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c57a1c72c02e0da9d842a1c74f54162444fc9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5292662,"id":"Q5292662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$78EA89EC-6549-43BD-A1B6-B5E6F957C517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e09aa05798a503121285cd3842f17fb3fa8df24","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372191$BB99484B-AD41-45E4-94E8-EFE9CBEB0067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03102e3fd7b8c9f2700bb8b9226a95d0fe5bb65e","datavalue":{"value":"10.1016/J.JAL.2005.10.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372191$9B1FB064-7ECD-40C6-A883-AAAE00770E99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ca567f76c24a34e994763bae8bca1893723a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5739979,"id":"Q5739979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d7c8f448170fadb0613f48d49850ad0f8734fa","datavalue":{"value":{"amount":"+0.8300186395645142","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":"Q2372191$E24D6CDA-20BD-421B-BC3A-EECCBC53A8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1edc3a35c440f23523e8edf3de2a13acdb88b2f4","datavalue":{"value":{"entity-type":"item","numeric-id":5705899,"id":"Q5705899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d236de5a0bf96606281c8176c24a9ef4f4e891b8","datavalue":{"value":{"amount":"+0.8272911906242371","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":"Q2372191$AED8584D-AD03-40BF-BCAE-69DD9058FD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bf10d5ad78b7314c398ed94a0d07b67b9ef773","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24581242b2145c2ad3d5425734fc556fcd0681e7","datavalue":{"value":{"amount":"+0.8216880559921265","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":"Q2372191$30E4AAFA-23B4-4D2D-8BF6-8AB00D1E1324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6634b134d3a466e5338ef47e82a1d5356c1127e","datavalue":{"value":{"amount":"+0.8213609457015991","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":"Q2372191$5FF1F11B-A18A-4BFA-9479-050108D6F471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3774073da3bfbd10184e3b3d7fa824e1ec3da4fd","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4033201084f2baaa04ee7c390293784a1b0aa5c2","datavalue":{"value":{"amount":"+0.8190891742706299","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":"Q2372191$77B03190-06B8-4C64-80C6-691499E63727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fresh logic: Proof-theory and semantics for FM and nominal techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fresh_logic:_Proof-theory_and_semantics_for_FM_and_nominal_techniques"}}}}}