{"entities":{"Q2765569":{"pageid":2776308,"ns":120,"title":"Item:Q2765569","lastrevid":83217152,"modified":"2026-05-07T06:40:35Z","type":"item","id":"Q2765569","labels":{"en":{"language":"en","value":"Monotone proofs of the pigeon hole principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694864"}},"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":"Q2765569$A491F976-6FC6-4598-B18C-5DB16072ED69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"039a65f381ab76d2ba2e9315f89655a5468db341","datavalue":{"value":"0989.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$E7CEAA55-E54A-4DBB-AED6-1C9EB601200D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765569$08CCF608-C8C6-4257-8DC5-2F9D1CC07727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765569$C467D8EA-B0EA-463E-AD97-F23591959602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"571859cb8670c4008117d3f5904f654c99cfaef3","datavalue":{"value":{"entity-type":"item","numeric-id":479462,"id":"Q479462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765569$FFA12549-35B2-4449-918F-EE7364DD48BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456c8c6068f5f9f6deacb4e2d51a2b9ec66d8bdc","datavalue":{"value":{"time":"+2002-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765569$CF8BD126-D35F-417F-98AB-6B4D64A1EEA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$22C93F41-16F6-4689-9FC3-7BA528121081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$3A3C42BA-6271-4650-A958-E45D07C0045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$8AA5D5C3-DA48-48EF-93B8-7790631CF0FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1647269110232caef762187e111f7539b963e5ef","datavalue":{"value":"1694864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$50BB10F0-E360-486D-A90D-E1CF49783117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$8CC12FC4-A4FE-49C9-ABD2-7F25DA193192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3076f9cba27cdde8978a3b99d749b2f64cd0508","datavalue":{"value":"Frege proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$7D9135ED-63AD-49E0-8762-E527D90E17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$7EA6D456-486C-4FD6-A0A0-E7B5220A74D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3dd5daa29519af84c0001de2b8068a8fc8b49fc","datavalue":{"value":"threshold formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$58FB5FBC-1358-4C38-9DD5-6C4948FF3330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9653a494a22d14c1ee0449e0f04342e096affb02","datavalue":{"value":"monotone Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$52B6DB0F-89F4-4494-9F3F-2006673B1DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$0CFFC481-9A1E-4945-855D-1F6F879BB5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d00aa63b7d0cb5c0f2c4176aa786907abd45e34","datavalue":{"value":"monotone proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765569$C24C9B1C-C69F-4916-B9DF-30386AA450C6","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":"Q2765569$DCED50A3-4156-482F-843A-7A313D0D7233","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43518d81c4076dc8aed8aa0f36ec0b0c2d3c4c85","datavalue":{"value":"W2031370656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$F0D93D43-2E51-41E9-838F-7B1825D646A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06431d6e628d723be01b3018ec32e07020b20c97","datavalue":{"value":"10.1002/1521-3870(200111)47:4%3C461::AID-MALQ461%3E3.0.CO;2-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765569$2602D280-27A5-4B16-A0E1-435C02ED86E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96e2bb10d68de6afe85db6d77bf1676da6865bea","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200111)47:4%3C461::aid-malq461%3E3.0.co;2-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765569$B107B903-5DB6-4223-A4A1-D414EDCB9189","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c64929a9240facdde6f82227498c497b9762dea","datavalue":{"value":{"text":"Monotone proofs of the pigeon hole principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765569$1FD9A0E7-1C05-4B0B-A807-79B89C25F9F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765569$D20BA727-92E0-422D-A04E-0D2EB4D5233A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451b70d18c5826eba1b7f5b1f4d221eb4f2b8213","datavalue":{"value":{"entity-type":"item","numeric-id":2754140,"id":"Q2754140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548a9b9049477efb3eaef422ee34b0f0a5217def","datavalue":{"value":{"amount":"+0.9887894988059998","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":"Q2765569$6B79B463-6601-409C-8DFA-492C57286D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffd5fa752f6ff229cbde23b7a782d9a6f389f76","datavalue":{"value":{"entity-type":"item","numeric-id":1872729,"id":"Q1872729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dc8612c9691416ea0460d8ccadfc77c08b2f99","datavalue":{"value":{"amount":"+0.8645707964897156","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":"Q2765569$81A1DE87-D5C4-4EDB-89FD-CCF2027090A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7292de006c7e3abfbff4b367625f311a55273661","datavalue":{"value":{"entity-type":"item","numeric-id":4635621,"id":"Q4635621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1414e65248468834c50a5b59e6017903c2113da8","datavalue":{"value":{"amount":"+0.8179566264152527","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":"Q2765569$32191FEF-8C77-478A-8FE4-C0C2BD3A53A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a130900d14ac9ffd5ddf12e923ff261137dff8","datavalue":{"value":{"entity-type":"item","numeric-id":4828877,"id":"Q4828877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde620cc6cb627d607677461e5f9115cc37095ca","datavalue":{"value":{"amount":"+0.8107281923294067","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":"Q2765569$CE44583A-CBC4-41BE-AF20-688EC3EF79DA","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":"49ef3fd936ab8ca6661e9ee6b92d564c068515aa","datavalue":{"value":{"amount":"+0.8091301918029785","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":"Q2765569$0543B6C5-90AA-4F53-9D75-BAC542713E03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotone proofs of the pigeon hole principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monotone_proofs_of_the_pigeon_hole_principle"}}}}}