{"entities":{"Q1273392":{"pageid":1284142,"ns":120,"title":"Item:Q1273392","lastrevid":70044678,"modified":"2026-04-13T12:03:58Z","type":"item","id":"Q1273392","labels":{"en":{"language":"en","value":"Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230349"}},"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":"Q1273392$D7939688-DAA1-4978-A192-DE951ED163DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ad8684630e4ed2b2fd70bbe283f71577d70ba22","datavalue":{"value":{"text":"Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273392$6EADBDA9-DA21-45D8-A048-207499F3B388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b57213beb64a4611fd53f2e9680d6f4e299ea3d","datavalue":{"value":"0919.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273392$840AC141-81DA-4D62-93DD-AFDCE7A90C6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e350ec2c2497951599668ce40addec4f85cd4716","datavalue":{"value":{"entity-type":"item","numeric-id":1142204,"id":"Q1142204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$A45A8661-5DF9-4E42-BD12-1152B3B96937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$30EF60F0-FCB2-4E93-97BF-EFF93422039A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeb380f564c5a8f0fcd332fa7514de56929165f6","datavalue":{"value":{"time":"+1999-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273392$BD18D703-737C-4E3A-B925-323647D30D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273392$1974F028-C7D7-454A-9F70-8372E75D81B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00a63c92ea2333aa2ced1e0dfae659f76bd92026","datavalue":{"value":"1230349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273392$8E0D3C2A-4032-44E4-BC09-61A1660B578B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273392$57CC8793-57B8-4EB9-9992-3B985505DBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90689de7bc49a49a53888ddce7f52f19db72960f","datavalue":{"value":"Robbins algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273392$632C22F5-6D45-4471-9E38-AB02B0E88246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d96848a3515190efcec5d7209e0e87eec8cd96","datavalue":{"value":"Robbins equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273392$4677FAAB-1103-4DB5-8823-3BB76B7F8659","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9e2ca1a4955d4f8d2b010cab60cfca3f1f0786f","datavalue":{"value":"Q56039143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273392$3DB2C359-1AFE-4877-8BB6-ECF657E99D73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b0631dcdd65348a242111f53ee1924677244904","datavalue":{"value":{"entity-type":"item","numeric-id":27508,"id":"Q27508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$572802C9-155A-46A6-B694-AECC461034D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$8767C1B7-F12D-4B6E-B141-36A5876AA85B","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":"Q1273392$4DDC113C-93F4-4C77-8509-F228C46E9E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a70fb309ddc5987d74f7846b20923057e45e0726","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7467","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273392$84C22E17-28A1-4BE7-BB6D-38D827461B6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b324ec6657ca1afc3fc3a2b434d5a29b0dc3229","datavalue":{"value":"W2050750962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273392$D5A9D2D0-92EA-4307-AF01-F65F713E01FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a2d77c10bf7b1b25fa6ef3b8e22e9e85ddafc","datavalue":{"value":{"entity-type":"item","numeric-id":4752100,"id":"Q4752100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$8FAB27E9-B0A4-415A-9964-33C6D68C71DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6492ba77d8c359f41c0ff445fa725284276e282c","datavalue":{"value":{"entity-type":"item","numeric-id":4752671,"id":"Q4752671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$BCE0E70E-5363-4BCD-BAB0-E2E14B84C95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$B6CAC2F1-AC36-468A-9342-834932DC9A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfbd9b3b9a9fb7815687a52d4ad1518508aa647","datavalue":{"value":{"entity-type":"item","numeric-id":1204453,"id":"Q1204453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273392$CFC5EB6A-58F2-444B-ABDC-B9595C5254AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ed9783ade35952a5a9e7f90815d37910d1c39dc","datavalue":{"value":"10.1006/JABR.1998.7467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273392$EDA08839-0051-42BE-8769-F39C209A87D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a97484223ee8478eb6213dc959cb084ec03ef83","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260df0ddc803baa07c121368cf23fc9b6c826b67","datavalue":{"value":{"amount":"+0.9336000680923462","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":"Q1273392$897B3E28-A4B1-4FA7-980A-8179ECEDDBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb92c7562223d85991af5c334ecb6df3ab34b0","datavalue":{"value":{"entity-type":"item","numeric-id":2767933,"id":"Q2767933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bf480277c65f4f1c3ffd1fe4ab681decae3260","datavalue":{"value":{"amount":"+0.9106172919273376","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":"Q1273392$BB4EB33B-774B-4C66-B4F5-B4431055456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce340d3608c32b59f6b83337a57ebf1ff6368d6","datavalue":{"value":{"entity-type":"item","numeric-id":751313,"id":"Q751313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1755c73951c0542daa81adb32f8727bfdcee5846","datavalue":{"value":{"amount":"+0.8618495464324951","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":"Q1273392$DEE0EF46-8CF5-490F-8EC0-CF50D4CD6211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c057d308c2ad536fb48f55c613a0dc0b5ef46f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1204453,"id":"Q1204453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05fbdcd7fb9ec0a79f1c4f446a9dbc06cbfbf174","datavalue":{"value":{"amount":"+0.7960979342460632","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":"Q1273392$433C2EA6-3251-4812-889E-B6EFAC22E6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb48f245b51d979fdde29a607e16638ac74277a3","datavalue":{"value":{"entity-type":"item","numeric-id":2746807,"id":"Q2746807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f4ed3ce5642337bc48d88ffbfce3c56a21fe55","datavalue":{"value":{"amount":"+0.7951417565345764","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":"Q1273392$58A1C645-AC64-4975-9886-A25297BB3175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robbins_algebras_are_Boolean:_A_revision_of_McCune%27s_computer-generated_solution_of_Robbins_problem"}}}}}