{"entities":{"Q2852368":{"pageid":2863088,"ns":120,"title":"Item:Q2852368","lastrevid":51839780,"modified":"2026-01-20T07:26:03Z","type":"item","id":"Q2852368","labels":{"en":{"language":"en","value":"A game semantics for proof search (preliminary results)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214065"}},"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":"Q2852368$E2A64A0B-0A11-48D4-90A8-5A5F03156ACB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30ed7ac42ea4df636b7e2ab505e8a56fa16626ab","datavalue":{"value":"1273.03166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852368$8C9359C5-D8CC-4D05-91F5-507E4190ABFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852368$6A82BE6C-6295-4D9C-8BB3-4BF077BA58DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852368$505EFA02-B01C-4D03-AF0C-C8C552C02E47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852368$0CEDE72C-E5AD-4CCE-BF9E-52ACB61912DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac4825571859328c0d55a4848db720b9d3b2abc","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610600209X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852368$43162FFB-348F-4E8E-B8AF-AB1B3DC61BC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852368$E6605373-4FB0-40B9-A7AC-C0597F66DCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852368$D1AF30C1-032B-47C2-93A9-88BB0A50D79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852368$04A2CF5C-366C-4D97-B147-3A91DF66377F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4db1600d8e4280e1f3a828684227b44fabe2632c","datavalue":{"value":"6214065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852368$79F35CD0-988B-4A9B-979F-7CC9111C36FB","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":"Q2852368$CB731DB6-EFFD-4348-AC6C-E1CF1690B154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b181cf76b6f3bfb980642892c36e25282fe535c","datavalue":{"value":{"text":"A game semantics for proof search (preliminary results)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852368$C76DC818-4C6A-4983-9933-43911FF2C2B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67e2e5395d4220ccebb5da76231f6df77d8d173","datavalue":{"value":{"entity-type":"item","numeric-id":3007292,"id":"Q3007292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f062e59a686732b482888429508947420136a028","datavalue":{"value":{"amount":"+0.8314568400382996","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":"Q2852368$1FBC07C1-FD75-4E17-8713-8340D9F6E801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5ac103968b2874cd36f036de86dcf456e68180","datavalue":{"value":{"entity-type":"item","numeric-id":636305,"id":"Q636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf870abef9a56b0b63fa3d358599244151f7281","datavalue":{"value":{"amount":"+0.8092316389083862","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":"Q2852368$3982348A-AC97-4C64-9A6E-8A46430E1F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7571a2596927124a219062d5ea2f8b20178c390","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874977d937d5d6b94fb4b8056142dda2bf3aecd0","datavalue":{"value":{"amount":"+0.7607272863388062","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":"Q2852368$5B810EC4-424D-4B93-81B9-EEACEB6384D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de2c99d6283f67513aac42be8add59c69b34f0","datavalue":{"value":{"entity-type":"item","numeric-id":4222836,"id":"Q4222836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874977d937d5d6b94fb4b8056142dda2bf3aecd0","datavalue":{"value":{"amount":"+0.7607272863388062","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":"Q2852368$A206BF43-A1DD-4735-8FD3-C8DBC55F0585","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":"4c6bbe91118086466fec637743c6f8ccc53071c9","datavalue":{"value":{"amount":"+0.7530431747436523","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":"Q2852368$A3F2DD90-039C-4BE0-B1D2-BCA78B1FAD45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852368"}}}}}