{"entities":{"Q2405245":{"pageid":2415988,"ns":120,"title":"Item:Q2405245","lastrevid":52904534,"modified":"2026-01-23T18:56:41Z","type":"item","id":"Q2405245","labels":{"en":{"language":"en","value":"Short proofs without new variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778401"}},"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":"Q2405245$A503DB7F-921D-4E89-8A68-D432C6D9661D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"381ee2428c060fd6264965314a950ac76335b0e7","datavalue":{"value":{"text":"Short proofs without new variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405245$1E4807D5-FF9E-4E15-BD6C-34965371F77E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e4b91a4942b0572b74c242cc2d14730e024d9a","datavalue":{"value":"1468.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$8293460C-D861-40CF-9221-BA3EBB89043A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f7300e9eb9b6cbb980c58b67545ebbfee05960","datavalue":{"value":"10.1007/978-3-319-63046-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$E88EEDFA-8AF4-4731-A8CD-3732FB51D88E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405245$EBA4A7AF-5742-4973-904A-C1E41931CA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f58cb4392b797c6a9cd32772df8b3616c15ce","datavalue":{"value":{"entity-type":"item","numeric-id":1680259,"id":"Q1680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405245$9E937521-B6D5-43D2-A50E-11F48D459EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405245$C5D2446F-DB21-4376-8E78-84724A6D7432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-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":"Q2405245$B18935AA-71FE-456C-9F2E-E206E5579459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$4B340DA3-AF4D-497A-802F-2CA62BA20B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$1E9BA117-0BAB-4CBB-8782-46F63EA1D5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$BD2F2A8B-99AD-43CC-A232-87E6380CC668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5b302b4991198f1219f55112d64393250420e80","datavalue":{"value":"6778401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$AB44996E-392C-4415-BC0B-1E7526E4D3D6","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":"Q2405245$DE2D04F5-C571-4107-A1D7-C178E7EBA6F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfe578544df297f769358618d421cda1f7b819f1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405245$792D4EAF-CD7D-443B-A428-3480B669D121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c6788151381cd289a4237ecbc00f9fc1d95417","datavalue":{"value":"W2735859735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405245$57D13947-FF2F-4BF8-9596-A3135302CCD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c36d3312f2d09610a2170b7380e4e4dd1744e15","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523faff2dc1aead939daeb374228db3e1a1eb544","datavalue":{"value":{"amount":"+0.8809170126914978","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":"Q2405245$8999DD4D-9341-460C-A105-701F42F09444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ca69dbb2a24d3517677fc5d81e39fc165e7937","datavalue":{"value":{"entity-type":"item","numeric-id":2181921,"id":"Q2181921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0063c9fa1849b775e89a34babe350e830a9a477","datavalue":{"value":{"amount":"+0.7777765989303589","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":"Q2405245$25F25773-EE86-4911-A478-B644406E9C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689877375047fe87a7bcddf1d00855207cca824e","datavalue":{"value":{"entity-type":"item","numeric-id":4553279,"id":"Q4553279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6416e06bdc17fca9887fdf796293ebb49765a2","datavalue":{"value":{"amount":"+0.7763746380805969","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":"Q2405245$0D33ECFC-EE84-4453-AA1C-FCE69C237EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cd95dd824f518f979db46b09628cc0b35c1d16","datavalue":{"value":{"amount":"+0.7709919214248657","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":"Q2405245$2689EC8E-A804-4399-9F16-FA11F93F17C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823becfefed235e205f2e8c9f018e0179cad24ec","datavalue":{"value":{"amount":"+0.756983757019043","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":"Q2405245$436F8A38-7D0B-4313-9F10-5327C76AF470","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405245","badges":[]}}}}}