{"entities":{"Q3586074":{"pageid":5615978,"ns":120,"title":"Item:Q3586074","lastrevid":51070844,"modified":"2026-01-16T12:19:12Z","type":"item","id":"Q3586074","labels":{"en":{"language":"en","value":"Proof systems and transformation games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779279"}},"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":"Q3586074$739956C4-8B3C-4906-8B3B-478547ED4527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b2641a865df945a6ed5c28a1e8b3e26faef47b7","datavalue":{"value":{"text":"Proof Systems and Transformation Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586074$AB5949AD-8FF4-4389-ADFA-8DB92A6ED60B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4861774d492162d52f05541ffaa2ec597370ba0","datavalue":{"value":"1273.91029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$DEBA0AD2-2C20-4A0B-AD21-1DC13260E698","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"846078dd5b50882a64b56bcc8a85cf2693a132dc","datavalue":{"value":"10.1007/978-3-642-15155-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$EDC87757-5A46-42F9-934D-49D73AB6F58E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e883a35d3a28669eef9486e8c69748089032dff4","datavalue":{"value":{"entity-type":"item","numeric-id":354610,"id":"Q354610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586074$25376A6A-C85B-4154-9CDB-AAC5FC9480C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d87fbdf267514b4406f204e3c360fe91c5099a3c","datavalue":{"value":{"entity-type":"item","numeric-id":354611,"id":"Q354611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586074$2434D36E-6C06-4524-B43E-0C058A4C0BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586074$81B408CD-8ACF-4915-B2B0-71D51F94E450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d507108377ce343b27aaa1d44087bc3c6c56c3de","datavalue":{"value":{"entity-type":"item","numeric-id":354612,"id":"Q354612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586074$BFCE4175-9594-4558-8925-11F4EB99B981","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd8e99eb8d03f31b2844a0082c9e665284ef7272","datavalue":{"value":{"entity-type":"item","numeric-id":3586065,"id":"Q3586065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586074$79B4F3D1-B9A1-477A-AD8A-84E7DC0E7F4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586074$BF1C49D3-2C45-4E60-80E4-5A7C62080492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$2FF6E740-39DD-4F5C-8D9A-284A2AE610E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$E18E6A77-6B23-4770-ABE7-CE8FC0D28DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$9EB6B68E-8F5B-47C8-8F74-AB67E69C7FDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84341f286afb30b1445d0c4f277d5c69b19271fd","datavalue":{"value":"5779279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$FAE8376F-CD9A-4B8A-AEE2-EB7A79EB0071","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":"Q3586074$A5F05697-5A4C-4E6B-B20B-69EB77969B7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"277df6b56b84e7c2d5e1dbb333954077b25d3d14","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15155-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586074$71B822B5-A493-4D07-8A1D-5CBA0392F440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca1fa672a0aac91a903f6ec5dd3d8329b0605ed4","datavalue":{"value":"W1585561778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586074$7D3B6569-62E5-4BBF-BF72-1EC62ECB30AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9a6e3d7d166a6e5f4cd86878042db46de9b27e","datavalue":{"value":{"entity-type":"item","numeric-id":354613,"id":"Q354613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaed7f2eee5d93dcd93b8084abc1781daf6d2ca","datavalue":{"value":{"amount":"+0.9791842699050904","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":"Q3586074$ED0DFCA9-15D9-4DC6-BA28-D9FD17F94DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25f552e8ecadd8430f07218f163b0e71d99b12a","datavalue":{"value":{"entity-type":"item","numeric-id":2269130,"id":"Q2269130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7c2bdf990266d3d9c0e68772021fa40e5ed661","datavalue":{"value":{"amount":"+0.7916696071624756","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":"Q3586074$DF38D348-6018-4AC1-B406-9DF949FAD598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452966639ac7f6f6b8881b7d11b64038ac22e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2457612,"id":"Q2457612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5295f5f584fc43470ebe754f7ebe10b3cc392961","datavalue":{"value":{"amount":"+0.7899013161659241","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":"Q3586074$2246A605-065D-4E3A-AED7-B53F5609A758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb47156cd31eaed4a3187c1c63a2eb3907458791","datavalue":{"value":{"entity-type":"item","numeric-id":650525,"id":"Q650525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4786b2024fc1cb8588456cdf66da99ccbbbc8ea4","datavalue":{"value":{"amount":"+0.7662723064422607","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":"Q3586074$D30D6B9C-482A-4A90-A02E-29FAE1E09FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd333ad9b3467846dfe3a17fa419d9b5e6fa487","datavalue":{"value":{"entity-type":"item","numeric-id":1617670,"id":"Q1617670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a29c51da870dfac3dec080e13172e8bf20fb49","datavalue":{"value":{"amount":"+0.7621881365776062","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":"Q3586074$FB235F3A-29CD-4807-BB4B-EF29EF0275CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586074"}}}}}