{"entities":{"Q4787831":{"pageid":6817411,"ns":120,"title":"Item:Q4787831","lastrevid":74484171,"modified":"2026-04-14T22:51:21Z","type":"item","id":"Q4787831","labels":{"en":{"language":"en","value":"A Fully Equational Proof of Parikh's Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1850597"}},"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":"Q4787831$9CC9E892-BF42-4DE9-8CCA-00DF5E5C7E56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30caa337fc5f2f059dff086c1a8b257dc2c96db","datavalue":{"value":{"text":"A Fully Equational Proof of Parikh's Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4787831$0D1BB79A-5B3A-462F-B83B-D3EE4C699404","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d262afd40256b96c8908ef62fc5fd9104cb78257","datavalue":{"value":"1024.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$306CF4EC-56C4-468C-9AD3-7F0BD24BD706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$5B2F3669-D6E4-4991-8DAB-1503F884DF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$0F180C62-99FA-491A-8456-F8917056BA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$B5444145-6875-4C78-98D9-3E8099ECC324","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":"Q4787831$E9A4694B-90E4-4789-9A8C-6B4FA91C3F2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57a85b978605e92a5cbf995df34cb443c18c900b","datavalue":{"value":{"time":"+2003-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4787831$7510C5EB-DFAA-47F4-8B91-C3A5C100F069","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abe0f8ff28f6b5c0ea9fb9bf3a0d7c813c48169d","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2002__36_2_129_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787831$F4E3943B-145D-4A70-9F44-DD98C8E0A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cd1dc3494a5442121eaa449b04545e5bfcf723e","datavalue":{"value":"https://eudml.org/doc/92694","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787831$190202B8-B652-4E85-A033-60864CAAB31B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$8ECE180B-7D30-4445-86BD-A83D15C008DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$A9A9D31C-A607-4C39-BF29-5D6B5BB143D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$A005AD77-D572-44B3-8C53-3E55BFE9E2F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbfc51a2a67a6d9e5ce3d572734c2025f2da1695","datavalue":{"value":"1850597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$EC2807BF-245E-4A43-A95C-317FAB9176A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787831$49EBE9C8-3F32-4316-A7EF-DC77C4A17BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f202d79fab1a109060a0208a73a5a0da6be341db","datavalue":{"value":"Parikh vector","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787831$73D7A1CD-B2E8-49A4-9773-EBF40860793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75d448735778f46c4e9667e177539a844422b26","datavalue":{"value":"context-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787831$6CF1A8B8-8CE7-482E-9CF5-1CAF759BC4CB","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":"Q4787831$03934B13-BE32-4304-87CB-85F1385617FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77f8540ac93f55ea627aa354f930bd54a3bf1ee2","datavalue":{"value":"W2096801634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$A1ADA613-258C-47A0-B993-D8CEFA0D9469","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74529332d52a3507b2b5b261bdf475682b3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$3B2B5925-D3B0-4154-98E8-00ED883A9BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$FCEE75C5-6D2F-444A-B7F6-4D026E2233DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad0a9d370c8b64e12fb0c3cd7c6e672a27b4958","datavalue":{"value":{"entity-type":"item","numeric-id":1277364,"id":"Q1277364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$26BDF1E4-9B59-4A01-B277-7A7E96EE15FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$E8E291C6-7B8D-4B93-A220-4A0788B1AEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$562E551F-F374-4930-BF4D-68E3A7F61B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94a33d883c06cb1ac1e795f05866eb15caf23b9","datavalue":{"value":{"entity-type":"item","numeric-id":4411820,"id":"Q4411820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$E4724076-DEAA-4A69-A7E3-7E137E5603C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$B60CAFBC-C50F-46DE-BF0D-55867EE278B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$4DD0A3C8-0FC7-4FB1-A005-44D60622306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$2D0D8BFB-C381-4523-A72D-7456065F12F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$74786EBD-FC14-4B07-BE4B-78E32A7DF98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2f573592e98c5ac8ddf159206ff6c9481db65e","datavalue":{"value":{"entity-type":"item","numeric-id":3668872,"id":"Q3668872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$5AF91437-3BB2-42B7-8791-FB35BDC5F660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b643f8cccbbd8eac9ed109cfadba5472f2eb884","datavalue":{"value":{"entity-type":"item","numeric-id":3736915,"id":"Q3736915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$792A5D63-290D-482F-9D8A-AFD76C01C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$E397594F-6654-402D-A97E-8789F9349241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$EF5F8C9B-C37F-46A7-A710-64C2C7D59AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a400bd87bf6a6ff978518d22bccfe9c5f8b77f","datavalue":{"value":{"entity-type":"item","numeric-id":3027187,"id":"Q3027187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$F5057AE8-2EC6-4534-8C27-239F7CA0D8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c818205f325ae1c1056c92ecc54c68e95eea9e56","datavalue":{"value":{"entity-type":"item","numeric-id":4218125,"id":"Q4218125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$F665936A-303F-4420-A575-D35FF9F6E9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$A6E63BE3-4C45-4486-8E48-19A12C50EC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$8671AFA7-A0D7-4C83-84AD-DCBCF3BBBCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$96F3A123-06F2-476E-B64F-E6D08C9ECF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$3FD40862-98A1-45E9-9DC5-1B888DE2EF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$5754482A-4F8F-47D5-8885-88C54265C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165bcf3596e5640fb621736d24b294dd1c0e618f","datavalue":{"value":{"entity-type":"item","numeric-id":4403744,"id":"Q4403744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$A65DF3BC-99B2-4C76-9A58-79862199A022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f45038ab8e4e4836ac8e04a5fbfcb672edc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5588675,"id":"Q5588675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787831$15AA9256-76CC-4A5A-8C8B-8D1F1B668EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"115d4918219dc7c7ecf86e810cef9cbb516a5083","datavalue":{"value":"10.1051/ITA:2002007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787831$DD85AA73-7372-4264-98B1-F43C728B3DA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0a5c47775f4c4b8a516cbcc4ed8b8fdb6d6ae3","datavalue":{"value":{"entity-type":"item","numeric-id":5261299,"id":"Q5261299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937288ae3991ca3cb9bd819a17536f447e435116","datavalue":{"value":{"amount":"+0.8686345815658569","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":"Q4787831$8DF292AE-19EF-4BC0-BD94-EDB7CD27F5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a930a7f3ae3b6aa061f0ff8257cd8d4e91fd52","datavalue":{"value":{"entity-type":"item","numeric-id":1944966,"id":"Q1944966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5548548f3fa3c8d2e554f0c80f1ec0658d717c02","datavalue":{"value":{"amount":"+0.7967686057090759","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":"Q4787831$2BC661B6-8159-4650-A9E5-1717C7DBADD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d352fe0a92a6b0894875f5bee4ae49ffc538da","datavalue":{"value":{"entity-type":"item","numeric-id":2257288,"id":"Q2257288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065750795f730e08eb4e40f1d9d3d688f1b07a7c","datavalue":{"value":{"amount":"+0.7730836868286133","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":"Q4787831$85464D0E-72C9-4A17-8486-0C49829E789A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a1635472b09eaaba383f45d45d94af8fbc27e8","datavalue":{"value":{"entity-type":"item","numeric-id":476875,"id":"Q476875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee66bbf33a243d787609b7cbf14e2f4a9db06728","datavalue":{"value":{"amount":"+0.76179039478302","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":"Q4787831$9D8112E2-E2CA-47DC-A550-394ECBCF7F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c29c4ea10caa192e2ff9154b501c626673410d","datavalue":{"value":{"entity-type":"item","numeric-id":4242719,"id":"Q4242719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3601f612f01b0c30b8c218d29b44c4c45e264670","datavalue":{"value":{"amount":"+0.7617199420928955","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":"Q4787831$304E253D-20DE-4591-ABFF-0A017179F534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Fully Equational Proof of Parikh's Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Fully_Equational_Proof_of_Parikh%27s_Theorem"}}}}}