{"entities":{"Q6383790":{"pageid":13517402,"ns":120,"title":"Item:Q6383790","lastrevid":99224867,"modified":"2026-06-05T19:29:40Z","type":"item","id":"Q6383790","labels":{"en":{"language":"en","value":"On extracting variable Herbrand disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6383790$9C0CA8E0-2D33-4B30-8C56-531E06A6ED96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d88cdf50c95484e0be480b161ba22851940082","datavalue":{"value":{"time":"+2021-11-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":"Q6383790$8811073C-9DD2-4B44-B8C5-859938046C80","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"87bd39a22df4f01a691be75d796af5242797c1b1","datavalue":{"value":"2111.12133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6383790$6374E637-F654-4AF0-A696-262F13813653","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6383790$F9FFD013-81F8-4884-B60A-F6B2E847E3BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5e0a0bf4c521c32485aba72971c4b0e7b313ca","datavalue":{"value":{"entity-type":"item","numeric-id":331049,"id":"Q331049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6383790$6D572EC8-F3CC-4599-8506-C5DDF7D282C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6383790$03D00505-9B31-4CE5-8595-ADA661060980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6383790$873E724A-7A1B-4AEC-8016-078859761EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6383790$46DE5856-BE93-4524-986A-74ADC8AB9ABA","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":"Q6383790$077CDA4C-F14B-4727-B714-D209CDB661D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0c1b1a7295f1674278c3a18943ab587f70e0b21a","datavalue":{"value":"Q114827198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6383790$D708C56D-5EE5-416A-B203-2C1B56CC9A18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d507b362faf257f8a43a47b0ed22a13e5ab51e","datavalue":{"value":"10.1007/S11225-022-09990-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6383790$8135A2FA-956A-4C52-A5BC-5EDA5B786B9D","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"9cd5aa6d4ad1bcf65eccb5c56beedb2623d59d40","datavalue":{"value":{"entity-type":"item","numeric-id":2157604,"id":"Q2157604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6383790$2A614794-39D2-49F3-B4A3-E556CF1B12C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extracting variable Herbrand disjunctions","badges":[]}}}}}