{"entities":{"Q1314388":{"pageid":1325138,"ns":120,"title":"Item:Q1314388","lastrevid":81160187,"modified":"2026-05-06T17:52:27Z","type":"item","id":"Q1314388","labels":{"en":{"language":"en","value":"Finite games for a predicate logic without contractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501196"}},"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":"Q1314388$3677097A-9CEF-47AE-8FD2-3395D4984555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da789bfe8dd88e0a7832dfd94be3bac28fe9e5e0","datavalue":{"value":{"text":"Finite games for a predicate logic without contractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314388$C4D293E3-6AD2-4A78-B4F8-076F4AE90FB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b029b6538c399737acf31b98354993d329ce186","datavalue":{"value":"0830.90138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314388$1DEE9E9F-39EA-486F-A16F-22C990FD331A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d60e0ab4dbf198cc8acb39e5b5307c6c00328f9","datavalue":{"value":"10.1016/0304-3975(94)90132-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314388$31EFAB47-E672-496B-B632-7ABCED39C184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b38430eab63e752cb84f2fd7cfc998a2c3714a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1314387,"id":"Q1314387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$FD4F5E08-D439-4B4F-A94A-AE6AAD0C0734","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":"Q1314388$3844BCBC-3242-4947-8EE2-BBE9E2872EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e26b88711e08010d610855bece2ce31f95b0ae14","datavalue":{"value":{"time":"+1994-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314388$4B2C6394-E6CA-43ED-B52F-F795EFD77292","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c7118d62edbd5292a91842d0c1285dcefa70329","datavalue":{"value":"The author investigates a multiset calculus LS. LS is in fact equivalent to LC, a similar calculus for classical first-order predicate logic. LS is derived from LC by dropping the contraction rule that permits the inference \\({A+ A\\over A}\\), that is, ``\\(A\\)'' may be derived from ``\\(A\\) or \\(A\\)''. It is known that LS is decidable, in the sense that it can always be determined whether a given formula is a theorem of LS or not.   There is an intuitive game schema, whose rules are closely related to the rules of inference of LS, which associates to each formula \\(A\\) of LS a two-player zero-sum game \\(G(A)\\), with player 1 being the ``proponent'' and player 2 the ``opponent''. The main result is that \\(A\\) is a theorem of LS if and only if the proponent has a winning strategy in \\(G(A)\\).   The main interest of this result seems to be that a very similar game \\(G^c(A)\\) can be constructed to relate provability in LC to the value of \\(G^c\\). The additional case that must be added to handle the contraction rule pinpoints closely the reason for the undecidability of LC. Some examples are given to emphasize this point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314388$7AC5C312-CB32-4581-BC77-F7F0A2F26240","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314388$273DE246-C01C-45D1-8E3A-4AF9C3A9A7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314388$C003D5E2-115B-4771-A48B-9D9BF8A33F18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a0ee1715d25945f208cea6c47c0868a91c2629","datavalue":{"value":"501196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314388$8C370ECA-4C08-4F4A-8459-A81EF4396EBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066e06c9df87b15d26c39bd94cb6a169c84f3e23","datavalue":{"value":"multiset calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314388$36264CAE-5080-49AC-B5D0-89EFBF773BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314388$534542E4-638D-460F-9B3D-99410F283487","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a71810d84d715aa1d2cf6dd2cec3c37e78c4c49a","datavalue":{"value":{"entity-type":"item","numeric-id":374868,"id":"Q374868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$A2820DF8-7681-4C16-B04D-C2CBE7278BA5","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":"Q1314388$79DE1FFA-F477-495B-8A59-AD62498DA507","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"510861f8954c1aaaeef2cbd85cfcb44534b1db8f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90132-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314388$4BA3E94D-A397-489C-BF1A-B963E109E341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d9976c795082f35e3b4fa0e71d35f7ecc5fcc4e","datavalue":{"value":"W1999174465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314388$D8BE00F5-941D-48BA-A7C4-4DDF4FDE505A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03bbfe7771b592db9a8c7c973dd6e1dc46866ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4256645,"id":"Q4256645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$4F09A420-C00B-42A1-9EE2-4171060717C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$CD984610-7536-4F37-A5F7-C4AD7380D1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$74E1E252-532F-42A0-A5FA-F373296A90A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$7A264381-795E-4C39-ADCD-6390C2966B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedadcb6b96cd2c929e3222c7cb41ead94410f62","datavalue":{"value":{"entity-type":"item","numeric-id":3686704,"id":"Q3686704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$D376C5EE-B610-4D25-ABD0-7D1808D0FBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c2392713a92d4b19d03448288a94a4fe3f89db","datavalue":{"value":{"entity-type":"item","numeric-id":3290716,"id":"Q3290716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314388$A321AC75-9F0F-4337-BB98-518C7E1DD275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e07d9aa6db393abafdffc7fc07c41d7099cfb78","datavalue":{"value":{"entity-type":"item","numeric-id":2805162,"id":"Q2805162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612c6b00ac7d49ec0dc18a4efb9e5ad83d76654e","datavalue":{"value":{"amount":"+0.9180114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$9ADAC3BA-123A-4B1E-8E9E-B532DE480A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7221fc6c30acb968bbb9b47be46fccfbef044b28","datavalue":{"value":{"entity-type":"item","numeric-id":3086929,"id":"Q3086929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28efa7f6d384fc24754cf78be682206964680e1c","datavalue":{"value":{"amount":"+0.89313895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$167B1854-899E-40E4-9F0D-30C8A75AC430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb882861981308bd1282ec96613120ef5f825afb","datavalue":{"value":{"entity-type":"item","numeric-id":2721286,"id":"Q2721286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d961d5973bbb1e0d00c5450719f392e1e0700cc","datavalue":{"value":{"amount":"+0.88497657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$1BA8DE5F-D03A-4413-B8DD-0AD270E811C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac522dfc6e3f3525cec09cd84cb1987d69c7566","datavalue":{"value":{"entity-type":"item","numeric-id":4586163,"id":"Q4586163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c937df7e43a9d4a277f4611d41b694595eff4d64","datavalue":{"value":{"amount":"+0.8846436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$4B5A1B63-D21A-4B93-A9D3-4A822C275419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d369cb3cb515b6cc78000629fbadc23536c65","datavalue":{"value":{"entity-type":"item","numeric-id":3509079,"id":"Q3509079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c211afb6edd0e5b4b8c4dc31eb58c10c905356","datavalue":{"value":{"amount":"+0.88360065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$666D71FC-3381-4A1F-AC2B-78851DB10CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0e22da708d033ab98e5627e5d477b43e44eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":3457682,"id":"Q3457682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f12085e2fc7e7fc5f35ea1fea3f5002d99fb757","datavalue":{"value":{"amount":"+0.88334936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$D8E3A7B8-ECF9-4FDF-B659-6EF1867A5272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cce48bbe3b7a3c0cedff812bc6de2b696a4f379","datavalue":{"value":{"entity-type":"item","numeric-id":5241925,"id":"Q5241925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d904da9fd4d00097b0c3b5294204183ee93afc08","datavalue":{"value":{"amount":"+0.88166374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$810E32AC-B983-4A31-A9F0-4C3D2CD8B89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af69f5137f6bdc6665a4dda483197c99e1f8c02","datavalue":{"value":{"entity-type":"item","numeric-id":3064167,"id":"Q3064167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1353b3e7966b9dfca30808d26f053d19857a432c","datavalue":{"value":{"amount":"+0.8815279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$B487FF9E-EFDC-45E6-AF7B-7B24D91C264F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfeda99f57a8e7cc76723a5c78736d060a7aab24","datavalue":{"value":{"entity-type":"item","numeric-id":2142094,"id":"Q2142094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fa9079eca1b6fee71c779d695fa17b687de559","datavalue":{"value":{"amount":"+0.8812655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$023F1408-C4CD-43BA-BD2E-76ED9CC1CC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c5eddcc83f3c7a65954a4f82d4f55471b022a6","datavalue":{"value":{"amount":"+0.87731946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314388$E3CE7CD8-7671-4B8F-90B7-D740A570FFA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite games for a predicate logic without contractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_games_for_a_predicate_logic_without_contractions"}}}}}