{"entities":{"Q915494":{"pageid":917342,"ns":120,"title":"Item:Q915494","lastrevid":42761508,"modified":"2025-07-10T12:24:45Z","type":"item","id":"Q915494","labels":{"en":{"language":"en","value":"Short proofs of the pigeonhole formulas based on the connection method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151854"}},"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":"Q915494$61C173DC-7932-4B50-B70C-4711F637F067","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6691737cca472de030192068e38f4daaa75785e","datavalue":{"value":{"text":"Short proofs of the pigeonhole formulas based on the connection method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915494$D347D6C7-429C-420F-BA78-8299E44940AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0549cdd7efb9c35eb6e8645373c90658bdd74603","datavalue":{"value":"0702.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915494$74E58466-1AC5-4DD8-9306-02BFFE84CBC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21aecdf9ba15a44137787f58ae3663404c3d9274","datavalue":{"value":"10.1007/BF00244489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915494$B58A33EE-2E8D-4146-8638-3F098E2B268C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915494$111DCDED-2B23-45BD-94CB-474E1DA2B451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915494$6A84147C-7434-45ED-B72B-46D2D79B0C23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915494$D8D7C0C9-ED01-4E86-A32D-3E4519165325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac1d48cdd3af9555cad8f194f1744e3e2a6294b2","datavalue":{"value":"4151854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915494$6137D47E-F3B5-4869-A722-959D7D26498C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q915494$FF840C05-F802-47E6-A1AC-788CB9A2FD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q915494$E776FF4F-6C53-47B8-AC67-3A38FF26BFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q915494$1BE3AB46-25D1-48C8-994C-FF77BB539A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q915494$112346A2-6CFD-401B-A981-E66B33AFD6F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915494$1D6D9EE2-CBE9-46C4-AAB6-2A1CC7CE021E","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":"Q915494$B12A5428-531A-47EF-8C87-3DD00D6D3E5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b926f1b8ce8272a9c7adb754e09ea7fa4581722","datavalue":{"value":{"entity-type":"item","numeric-id":2917147,"id":"Q2917147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd9c88a0f57ed0ca2654d95a6cbaf04160c6223","datavalue":{"value":{"amount":"+0.85767424","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":"Q915494$895DC534-8A49-47EC-BA45-F7986EB05A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74a52fe922110f09f29e30f403cf5cf51fa5d11","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703d3e20f489d76261012b3db414cf60fc388f84","datavalue":{"value":{"amount":"+0.8446299","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":"Q915494$0F30367A-961F-4AE4-A972-C782A78181E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb6ad412a3f718f7044591dc88020bcb5bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":5895202,"id":"Q5895202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703d3e20f489d76261012b3db414cf60fc388f84","datavalue":{"value":{"amount":"+0.8446299","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":"Q915494$D066BC87-D93B-4F40-8AD3-6CF770F7978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed953d72a102015092ac504b8b4a47f704d14e16","datavalue":{"value":{"entity-type":"item","numeric-id":4009404,"id":"Q4009404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d1bf0387c9c7d70af9cfd15c19c31233a466a5","datavalue":{"value":{"amount":"+0.8380913","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":"Q915494$A819DC5E-E6FB-40DE-8AE8-742587C87374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0247af87e176aafad6848ca6c4df8650b0e491","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f0984960ec1adee170630289155c889e4782b7","datavalue":{"value":{"amount":"+0.8284074","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":"Q915494$435785CA-FE8F-40DD-8065-A62C38B1DA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b51671b7a7310127c77340f1132f6e1960c4b25","datavalue":{"value":{"entity-type":"item","numeric-id":4302463,"id":"Q4302463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f0984960ec1adee170630289155c889e4782b7","datavalue":{"value":{"amount":"+0.8284074","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":"Q915494$F0B1E511-1DD8-4F29-BCBA-B1594E7211CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2c512dee400e489457fb4f30a2d84166267260","datavalue":{"value":{"amount":"+0.8241568","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":"Q915494$9A9E7896-C45F-4B68-BA89-789F5B2F20E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba6b23f4fc1d9c696b5985aefebea4deda35680","datavalue":{"value":{"entity-type":"item","numeric-id":4737899,"id":"Q4737899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3207ea812b9317c5440cbd64ccf4cf845795b7","datavalue":{"value":{"amount":"+0.82217324","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":"Q915494$6D691DA5-C9CC-4B4E-9B72-99DB6268853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c9f089c25c49a7dbe6ce2e59c3f106da7af6fc","datavalue":{"value":{"amount":"+0.8176823","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":"Q915494$2BBD1183-BDF3-436F-90BE-F2C49F7C3657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c3b508bbd46323bd542168fae4542209951028","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544a6908c82455d2a8c0e902b01d690371d6cd2d","datavalue":{"value":{"amount":"+0.8166056","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":"Q915494$D1782146-0FBB-4B4A-97DC-A87DC9594359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915494"}}}}}