{"entities":{"Q2917147":{"pageid":2927867,"ns":120,"title":"Item:Q2917147","lastrevid":51570146,"modified":"2026-01-18T20:16:09Z","type":"item","id":"Q2917147","labels":{"en":{"language":"en","value":"Some properties of pigeon-hole formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6091514"}},"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":"Q2917147$AB3CC086-45E5-4A13-820D-6D0AF0BD5AAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c75d13b7cc33b6a5386d6f3aab84206de2f60b16","datavalue":{"value":"1265.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917147$FBF45265-ECFC-4F07-B3E0-9112A359EE6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d16a97d7037a0b1a71408e39013bd2d5f44668e","datavalue":{"value":"10.3724/SP.J.1001.2011.03957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917147$1449E5A9-6A16-43E4-BDDB-D78DDF909C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec93c143595037578a39a20bd7d86a2c7e0c988","datavalue":{"value":{"entity-type":"item","numeric-id":360478,"id":"Q360478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917147$707952EF-F034-44EC-807D-5D29781E716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1cfac4fcc4acbf6b4ed2adbfa6f6821da971d1","datavalue":{"value":{"entity-type":"item","numeric-id":1040958,"id":"Q1040958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917147$370B127C-CB57-408E-892E-DDF7125698FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b8b574cdec9fa154e892bd9adb5c93f0bdf2329","datavalue":{"value":{"entity-type":"item","numeric-id":6052293,"id":"Q6052293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917147$539858DC-C6AA-456C-9D3E-843D111BE207","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917147$AC390143-32DD-4BEC-A3C1-6A3299F9FFAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f8189d2a034ff6392d84365a701fa2658da4b33","datavalue":{"value":{"time":"+2012-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2917147$FE19E1AB-310C-4335-A20E-C34ACAF035A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917147$F0DA6CE4-A199-4C77-82B0-0FB4A7AC0086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917147$07631786-7DB0-4CE0-9DEF-DF8464819155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b9c8c821924ff7e4b9855bfefdd828a51a90d54","datavalue":{"value":"6091514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917147$B95529C1-67DE-49EB-982B-86008E1D1895","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb9f778102ecaae554ec7ac917b1fe3339cd029","datavalue":{"value":"pigeon-hole formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917147$55182F03-C9A5-4797-8864-243C4E384AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917147$2971BA06-1C86-4FBB-A73A-0CD71D36EE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5350adeb6c55fffa7bb4b9708b8f2dba1c2d2c6","datavalue":{"value":"maximal satisfiable assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917147$616D55CB-2907-436F-94B0-74261A8E1EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917147$2CF43C29-1CAC-4480-A2D8-44CD6F9D6CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8faff68dc240d46790f856a952e78879df1a2a5c","datavalue":{"value":"substructure isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917147$949BAC74-BD58-4BF9-92DB-7D4FD915F7B8","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":"Q2917147$F1310B2E-1636-4469-85A3-A7B485D7F442","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8818994c34542c151bf6d5aa52356c6610222aaf","datavalue":{"value":"https://doi.org/10.3724/sp.j.1001.2011.03957","type":"string"},"datatype":"url"},"type":"statement","id":"Q2917147$ADE08919-901A-4A17-A4F4-90BA3D32920C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90e827d73b6016185ebafd42b65556d4456a6e9e","datavalue":{"value":"W2319529125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917147$123545D9-D46D-4FDE-90FB-FA1888F6ADCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87246fc8984ccc1cd1f66811a9734938ec612351","datavalue":{"value":{"text":"Some properties of pigeon-hole formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2917147$12113E98-10F3-4E53-BE90-287B5D5A8AD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217ca188c28e2635cf5bccb238de4f5c96411b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48f2e78671835d3b7d141daab056f4615c34688","datavalue":{"value":{"amount":"+0.8094154596328735","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":"Q2917147$A8F462BC-2BA4-4305-B593-E0434722D258","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":"de19c59a1cc2dd80f003bdcdf6d2684ad02578ab","datavalue":{"value":{"amount":"+0.8093146085739136","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":"Q2917147$38D9E52B-08EC-47F8-95D6-7BC727DDA213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cf90495e95ccafed6b110166466fb6ca23310d","datavalue":{"value":{"entity-type":"item","numeric-id":1401365,"id":"Q1401365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5572fd93092c347dfeb5027edc91ee90cc1b3a","datavalue":{"value":{"amount":"+0.8061684966087341","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":"Q2917147$16786EFE-01BF-46FF-8FE5-72F860E45705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ed1058ed386c997bdd49be01b4910106b23f2a","datavalue":{"value":{"entity-type":"item","numeric-id":915494,"id":"Q915494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b745348394922cb490581f23472ff351a976c8c5","datavalue":{"value":{"amount":"+0.7709218859672546","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":"Q2917147$F395937F-5349-4510-BD9B-D79475067FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a313ae0355a151e08b3e949539235d6f5e8d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b9c87172265d8aaa6728381de8cb6e58216d69","datavalue":{"value":{"amount":"+0.7683337330818176","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":"Q2917147$A6702529-5DFB-4F8F-856C-DD9D09989D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2917147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2917147"}}}}}