{"entities":{"Q6129083":{"pageid":13263390,"ns":120,"title":"Item:Q6129083","lastrevid":58709853,"modified":"2026-04-06T10:23:04Z","type":"item","id":"Q6129083","labels":{"en":{"language":"en","value":"Human-verifiable proofs in the theory of word-representable graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7833154"}},"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":"Q6129083$87C332C9-D5CF-4FAA-A5F3-0572F976A387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce003fd385a5eb8ba109bbb390d047b699f5e964","datavalue":{"value":{"text":"Human-verifiable proofs in the theory of word-representable graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6129083$4C939349-549A-4511-AD9C-EB90DE821929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d5b529cb72dbee5219c8278759bd209575efcd","datavalue":{"value":{"entity-type":"item","numeric-id":284735,"id":"Q284735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129083$00895C0B-BDA9-455D-8857-B2F3D374E9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84cb894657d2008ad79b8d8c8ebb0fd14346af32","datavalue":{"value":{"entity-type":"item","numeric-id":4621951,"id":"Q4621951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129083$C67FC6AF-8FB6-4725-9FC3-D332C3FB2959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129083$0788EE22-BF6D-4CAB-82B6-0543CF450F2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0e93a36236072eb62846cd5f688ff9538edf556","datavalue":{"value":{"time":"+2024-04-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":"Q6129083$952B62D9-5BF1-43AA-B516-50B77886DD46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18396273b2bc822875d2bf49c5bfad3368a1ff1b","datavalue":{"value":"https://arxiv.org/abs/2110.05405","type":"string"},"datatype":"url"},"type":"statement","id":"Q6129083$A0878EF7-A327-40FE-AD37-592E651B53E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"82e8efd6e51c28a954a2ab0c3ccebf86d2ac5eb3","datavalue":{"value":"05C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129083$19CE1B94-073E-4EC0-B0F0-D4931872BBC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffaa1ae23c328316fa1202f484dc3ec5cdc0b680","datavalue":{"value":"7833154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129083$22B51418-E017-4A6C-91E5-FFA572347F75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f3ddc18238efe2d9a42d02b8b34ae5bdd239f07","datavalue":{"value":"word-representable graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129083$76743F1A-8856-455F-924D-A466EACBD306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d325b7bbe683112a26907478ca4382dfbfacf8dd","datavalue":{"value":"semi-transitive orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129083$0E6F18DA-805C-499D-B46C-180CDEE841F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1203243fb6d1e0ba6a8d0eb5c56d76a1539719","datavalue":{"value":"automated proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129083$961A4B7D-01DC-4AF4-8424-4A7BCA215343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47eb7863a64a6224ecbb0cb816ee136737d4e28c","datavalue":{"value":"non-word-representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129083$476FE222-36D4-4C5C-8128-A3AAFD106F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcfb15220bb519e7680d3ed4ceb87f10c44839b","datavalue":{"value":"Clebsch graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129083$0EC2BF42-FFDE-4FCD-BFBD-067B80BE5F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed14436b83d285330e3de3a53bf27fed277649a9","datavalue":{"value":"Shrikhande graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129083$1C1F2E74-966B-49D9-B3F7-3040E0650A1D","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":"Q6129083$D2F875C3-C028-45B2-A109-10A92EE9FED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f03f3a847e33d26f4e2b3ee11b7f7406a5e3604","datavalue":{"value":"W4393194694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129083$0FB86A08-AC1E-4C3C-932B-2A7025C9445D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7bc13cae4b84aead7fd720cf01e61e4eb73bb99","datavalue":{"value":"10.1051/ITA/2024004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129083$C8306E4B-042A-4893-AC5A-B362525D7D31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8660d3d3de74e41240460e847781e14b851b59bc","datavalue":{"value":{"entity-type":"item","numeric-id":3120420,"id":"Q3120420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b31410cad73f24d07062f65b9c10490e0735ab","datavalue":{"value":{"amount":"+0.8173494338989258","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":"Q6129083$60CDC7B5-60CE-4BFC-AD58-D4A540176E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d2d7c21fdf47dfcc31669d4ae157118570d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":908303,"id":"Q908303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47783ea6a32243be3e0e45e4bb99a39ab92fe73f","datavalue":{"value":{"amount":"+0.798922598361969","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":"Q6129083$1BF4A51C-D6C0-4093-804D-B499C810B57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4ad5f375a770d9ae0750265fb343bd45aacf70","datavalue":{"value":{"entity-type":"item","numeric-id":6635157,"id":"Q6635157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62bfd6d7f34a390748120ffc644e37c23983389","datavalue":{"value":{"amount":"+0.7616742253303528","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":"Q6129083$2D658BB9-D9B8-487A-B678-886F176C5A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826d9f8d27f8b46598a518a828e964fb7a8bc9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5503439,"id":"Q5503439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528b7510c5c0c519a0f727a3e2e7869d8b22e657","datavalue":{"value":{"amount":"+0.7545506954193115","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":"Q6129083$BCE74D79-43E2-406E-81AF-D29F11F76EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a267b712162d44b73ca2e5671d9dafb1c90aad9a","datavalue":{"value":{"entity-type":"item","numeric-id":4558287,"id":"Q4558287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263fdaad4db8b61e04528d49f287bb0918cc595c","datavalue":{"value":{"amount":"+0.7543421387672424","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":"Q6129083$D2948BEB-6265-4792-81AC-53D2A9E18FC0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129083$8B7201D7-3630-4DEC-A8FF-9DEC5CA2098B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6129083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6129083"}}}}}