{"entities":{"Q5221602":{"pageid":7251172,"ns":120,"title":"Item:Q5221602","lastrevid":41647469,"modified":"2025-05-06T18:08:05Z","type":"item","id":"Q5221602","labels":{"en":{"language":"en","value":"Herbrand Confluence for First-Order Proofs with \u03a0<sub>2</sub>-Cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184899"}},"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":"Q5221602$CE569E03-B4B9-489C-9863-99668BC74EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56d7f317946110ade6e9a5fe617b5d965f9211b7","datavalue":{"value":{"text":"Herbrand Confluence for First-Order Proofs with \u03a0<sub>2</sub>-Cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221602$8A98F0B0-91E6-474E-91E4-1E59F3589BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ab49e9c58e65580781497cedcc5f8ed98178d9","datavalue":{"value":"1433.03133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$CBAF9297-128A-4128-B7DF-FA326AE392E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f557070b1e30f1bd0727e2196a8bda18514f4704","datavalue":{"value":"10.1515/9781501502620-003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$D7DA258B-E481-456B-BEFC-DDB156A1CFA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221602$80EA9D85-FD49-4D90-8F4E-032717F8734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221602$912273D8-495B-4943-BDD1-5C9724D018EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221602$6E4867F9-B36B-4313-9E1C-0A013C017374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221602$C263AFFF-890B-4431-95D7-8F3874310764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd3630e05975afdb259b29d18d30bdf474d1aa0c","datavalue":{"value":{"time":"+2020-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221602$B40156A2-7083-4489-BEF3-A6F06F4200B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$82D47967-C650-447A-A75D-79EA6C73097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$EA60D456-391C-461A-8C6B-2E4E6D2A3F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$B159A488-A9DF-4907-8AD6-9417024758E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b6388fe18c86f843d50d92ce48197238bc2055b","datavalue":{"value":"7184899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$A1F41205-05B1-4827-B84A-6C0BA31F92BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221602$363E1C3F-087E-4588-B24F-3B989A7DD92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221602$2E7293C5-60A4-40EE-A43C-8B5D55AE27FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221602$14A7A0EF-2CA9-4D15-B0FE-D09BF40E496C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b737340a658db4117ab44a3cae85a83747ba45ca","datavalue":{"value":"formal language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221602$380447A7-9247-4788-B21A-467F29A6C5BA","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":"Q5221602$4FFF9308-F169-4CD0-B57C-B2D3CB693994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5c5f6d78f7e95744349673f838a8afa4bfc5232","datavalue":{"value":"https://doi.org/10.1515/9781501502620-003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221602$8F95C8F7-B5FA-4402-9B0B-23838916F86F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48b43c7571f92c90c69bdbd9684c54e81406652d","datavalue":{"value":"W2485473430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221602$9F49688E-4F55-4F32-834F-6A8AC2314078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a992e8a4c301a1abd9e9a476a2938e15c2272699","datavalue":{"value":{"entity-type":"item","numeric-id":4649555,"id":"Q4649555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7aaa8cbf0f3bf589b848cb34f034c576ae8688","datavalue":{"value":{"amount":"+0.89370966","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":"Q5221602$5DC8D7E5-F513-474C-AD69-648365BF94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aabf12003d06c112520ad55a6cbfb97040eddef","datavalue":{"value":{"amount":"+0.8562851","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":"Q5221602$AD5ADD42-B0C7-4986-A272-CA2D28722978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c44e02d3ba1fb404b3e82a6a5ef631beffe17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a2e56ee9f538f2eec1d091ac93c7ccbddb0bed","datavalue":{"value":{"amount":"+0.85331047","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":"Q5221602$60AC47E6-372B-454A-B181-9EDE393B6B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23363285bd1fe8b01d4abc595b5b22345d00673","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5754cb39ae69034476ba18d44606f5fdacef2ec","datavalue":{"value":{"amount":"+0.84476316","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":"Q5221602$907C38B1-A9DB-42F0-9AE9-C0DA23D80C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dab29410299994a7c67989be452809fbdeaff2","datavalue":{"value":{"entity-type":"item","numeric-id":2996163,"id":"Q2996163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5940562f54c65bbd41b388c7ddb9896c46287820","datavalue":{"value":{"amount":"+0.84140354","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":"Q5221602$00F83352-E99F-4FAB-9B0E-3806BCC26232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eacba26f64e9b0661a140d49fec758111680ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5425341,"id":"Q5425341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe56d23bc14eda0f96255484a32005cd2f64608f","datavalue":{"value":{"amount":"+0.8408514","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":"Q5221602$B070D935-4F9C-4896-96BF-9BF270E259B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4788fc6d601fa5f4275cebc35cd8b753e0d23f47","datavalue":{"value":{"entity-type":"item","numeric-id":5579478,"id":"Q5579478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95db6fd8b07dcc3afaac36c258f7afb6b97d3871","datavalue":{"value":{"amount":"+0.838972","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":"Q5221602$6D1642A3-1FFF-4132-9EDA-F45A3A38C32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6add634383be2c190127cd21b31957f90d0943","datavalue":{"value":{"entity-type":"item","numeric-id":3083669,"id":"Q3083669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7148aaeed444bc7a56aaa98a2ad352b4ebb75506","datavalue":{"value":{"amount":"+0.8385287","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":"Q5221602$AA61A759-7981-47CC-B11A-4541BBF785D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5f2c272432537f0dfafe71266a26e4b26aea77","datavalue":{"value":{"entity-type":"item","numeric-id":3352994,"id":"Q3352994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935a09bef78bfb402a186fb02951e20ba9356105","datavalue":{"value":{"amount":"+0.8374863","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":"Q5221602$6D8DA684-4B40-4374-B46C-46F514BB4FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7198552a8b66775e52ec08df98815b77c3875040","datavalue":{"value":{"entity-type":"item","numeric-id":2735815,"id":"Q2735815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6b6c1a24b7dbbb17374ec6a5abab3611eb600a","datavalue":{"value":{"amount":"+0.8367461","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":"Q5221602$481518A0-6029-4271-9A57-1BEC9CF702A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221602"}}}}}