{"entities":{"Q1373299":{"pageid":1384039,"ns":120,"title":"Item:Q1373299","lastrevid":67268031,"modified":"2026-04-12T16:29:17Z","type":"item","id":"Q1373299","labels":{"en":{"language":"en","value":"Solution of the Robbins problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1089469"}},"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":"Q1373299$2AB020A6-153D-40AA-A2A7-84BB324D7E5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"660474687396243dfb3f7e5bfaac2ab313bbf92b","datavalue":{"value":{"text":"Solution of the Robbins problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1373299$6D6C21E0-9B51-465D-8C47-A3C8D9DE3339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c134c6db52a1073c0014bb2d7820e58625b7b385","datavalue":{"value":"0883.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$B16F0621-89EC-4367-8642-E7DAF64FF91D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c298a053cf47f15a6327b10f82dfec03cec1a6dc","datavalue":{"value":"10.1023/A:1005843212881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$1465EF79-25BD-49C7-884A-7CD5BA19F334","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":"Q1373299$9A5E1522-9AE2-4B4F-ADC0-99B254EDF336","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20d9699532b3f4e30cf94a2814dc68ff83c6f6ad","datavalue":{"value":{"time":"+1998-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1373299$C33F08E9-5891-4A8A-9CE9-52DDE7EC92C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$38F62041-86F4-4A24-A003-3DB0F9D2694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$5DD8DEA9-AECB-429E-8722-DD7E574C90AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41797f091d2c1efd3accd53dd04e594e696bb107","datavalue":{"value":"06-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$43C54EC8-D9D4-446D-9C7B-663B5220DE95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a0241326560ac53540df861901e4fe7a42129c4","datavalue":{"value":"1089469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$0DD76CD7-0077-48FA-98A4-490A2FA36CA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a56373b43d7c44c00296cd69c1bbc65525a0ea","datavalue":{"value":"associative-commutative unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$2B2DEBDB-2D56-451B-AD94-E67B2EE2844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$40CC44DA-B8CC-457D-AB0B-423A9FBC9DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90689de7bc49a49a53888ddce7f52f19db72960f","datavalue":{"value":"Robbins algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$EE4F1132-0201-4F9B-8295-902EEEE92135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$14AE3507-D29A-4A29-A906-109DB16E0016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f9bfcb5f91c67f433476a8c3251348f5cb99ef","datavalue":{"value":"associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$337D3E24-2A23-4B86-9FBA-C6C762596D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d96848a3515190efcec5d7209e0e87eec8cd96","datavalue":{"value":"Robbins equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$C32D996A-46CC-4714-B63F-46179E169514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3463949f310220198d24df296efddca39a0bd0","datavalue":{"value":"variety of Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$98C3A812-2A44-4803-8C25-55DD983209EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5049d4f5c97944e30da8e2588c4a96e87721cb0","datavalue":{"value":"EQP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$3F007848-AF85-4312-BC36-B3CF21944696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b46afe83b6e8b38af3059a61f5eff79d542f3a9e","datavalue":{"value":"theorem-proving program for equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$8AE57D9A-F32E-49E7-8837-7E9DBE1B75A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb15360489ef57a2f9a471961704837ccc5bc83","datavalue":{"value":"search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1373299$5281E357-AF69-443B-B82E-98A742E76CB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1373299$A79C0CFE-92BD-40B4-9A66-8A324C33B40B","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":"Q1373299$3617F0C7-DDFD-4FDE-B0AB-C8C345CA6E07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa30d35c4c78e6562d3058cebf03a18cf6287450","datavalue":{"value":"https://doi.org/10.1023/a:1005843212881","type":"string"},"datatype":"url"},"type":"statement","id":"Q1373299$3C658DDA-5B2A-4A46-8635-A37782465CB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e4a27daad6a4cfec7cd2e61565dd7a92aeedaba","datavalue":{"value":"W1510333080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$01740CDF-1968-4558-BCA6-5897C94D0601","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9afa0c4e08c89066e125828e99839efa4e295312","datavalue":{"value":"Q64225930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1373299$B060323B-8C36-4877-8CA3-289903B8AB1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcd69ad7799af1c56d2116e1c8e828199cdc6c5","datavalue":{"value":{"entity-type":"item","numeric-id":1273392,"id":"Q1273392"},"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":"Q1373299$CD58A242-6D9E-4E02-825D-FF6EC9F61C01","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":"610d38de9a202d496131267277b8109219e5ea51","datavalue":{"value":{"amount":"+0.8760301470756531","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":"Q1373299$BE1C3B21-8DB8-4321-9361-AF3C931D2FDC","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":"7170db9b237724a52fa2644bb8c312344a64c8f0","datavalue":{"value":{"amount":"+0.8432250618934631","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":"Q1373299$93985CC7-4EBD-4CC1-840D-80B7167615E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e79ee667756c02ce2a6791e4dba85f1691c8e8c","datavalue":{"value":{"entity-type":"item","numeric-id":4594214,"id":"Q4594214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2343dde3ddbe0c730b20f22501459a802078f95a","datavalue":{"value":{"amount":"+0.8105480074882507","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":"Q1373299$37F7B6DE-EA04-4440-A841-7521F689D627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solution of the Robbins problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solution_of_the_Robbins_problem"}}}}}