{"entities":{"Q4892455":{"pageid":6922034,"ns":120,"title":"Item:Q4892455","lastrevid":47416225,"modified":"2026-01-01T16:42:52Z","type":"item","id":"Q4892455","labels":{"en":{"language":"en","value":"A SYNTACTICAL PROOF OF LOCALITY OF DA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 927245"}},"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":"Q4892455$CF28C172-A4E5-429D-A390-3EA78C831922","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0be505878c2edf555ba7d9b90d27bf405a97bbe3","datavalue":{"value":{"text":"A SYNTACTICAL PROOF OF LOCALITY OF DA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4892455$97B59555-6C4A-4079-8A1C-C92D06288AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2c31d1cdb43a64baf309c304933dcb136161752","datavalue":{"value":"0858.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$1EA531E0-BA88-4EB5-A00A-395337289F30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe98573f8c4dad562586a3f0821aa8857f4a3e24","datavalue":{"value":"10.1142/S021819679600009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$75B72E2F-41AB-4D61-B50D-65074E02D50C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892455$B5C7CD95-38E5-4614-AFA3-66164BB60DC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9657586cd13c4c74a5ce71e23eb80160be2bda3","datavalue":{"value":{"time":"+1997-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4892455$F164A484-BC49-4F30-9D1F-21F66F0EF2EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$33A9FEBF-70B4-4B24-BC98-F184577428B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$4101CA86-A928-46FB-BF15-49582FAD197E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$FA953D41-253A-4EFF-9376-AF5D67DE39C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$2EE9FD61-1902-4725-B466-4D4BDE5ED031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$19AB641F-8A5E-4529-899F-85FAF1940F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d4ee2aca74c4c0df9926d6f3cf4629e4beb1fa","datavalue":{"value":"20L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$57A8BB85-484C-40C7-AB61-7E7B58F0FDEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a446cd3cc8c623836d2403a22af30aa710ca8a","datavalue":{"value":"927245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$7E1E8D9E-6CA5-4D7E-A2D7-BBCE0020AF5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc0cd31d36f0ac6a1e4cbb2ecda440630586e55","datavalue":{"value":"finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$BFCE30EC-71E9-4435-9712-F48EC2F3BEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e6b0339c89101deb5d9467496a7bcb11027133","datavalue":{"value":"pseudovarieties of finite categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$85F6BC30-8CB9-4097-A9BA-B420B82E35DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e860314eeb1a93c1b93265a9c37508a478a501","datavalue":{"value":"membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$AF85942A-85DF-490A-B52E-B01ABC3A6C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e47616db9cf24a69a7f74aca71cd95343e709a","datavalue":{"value":"semidirect products of pseudovarieties of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$A2EA116B-89CF-4593-A4A8-6061DFC18F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b053c5e30545ab25ce34f57763d2b7573c55756e","datavalue":{"value":"varieties of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$EBDF1EBD-63E6-4DB0-830E-5203C26DE62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba13381e3a2043bcc19b74356c40b744de6a8c75","datavalue":{"value":"local pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$608574C9-3DD3-4519-9808-DDA283476DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe44f8c0b313d423dbdd492c11af84d7a867fced","datavalue":{"value":"varieties of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$E4D100E3-974B-40F1-828C-E2853392C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a188ab4e06f01a6dbaff113d688f38f3e6005b06","datavalue":{"value":"profinite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$F32523E1-D857-4354-BCDC-633758DD471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4a8b05b4acc6200eaf09cd224c42fc2ab461f22","datavalue":{"value":"syntactic proof of locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$E96F2F1F-4AD7-4575-8948-DD732020C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da058a2a0a6018a748102fe8e74cb19fb378ec5","datavalue":{"value":"regular \\({\\mathcal D}\\)-classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$B7881535-F0C0-4D93-84F1-A746D0248096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0202200db990bf8abc7dff14f2845a3a8a8c59","datavalue":{"value":"rectangular bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q4892455$E613F623-F871-48F8-B7CC-7D68B6CCA8E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4892455$C64FBF99-92BD-42FA-8399-11EFF1F1AB94","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":"Q4892455$6AC0E729-24E3-481E-B4C3-48AECC1943EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054cd1bb2d17ea5c790a637dc1888e4eba4fb67a","datavalue":{"value":"https://doi.org/10.1142/s021819679600009x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4892455$FEFC9E3F-2E1E-4F5E-B350-3504FD30BB49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7551da7e9ee27dfd82aabe44049be421996fe37c","datavalue":{"value":"W2034847619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4892455$FB2431EB-F095-4F9F-9ACD-799116CE0EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66bccc8ab9aa7595f8164483227daf252e7446e","datavalue":{"value":{"entity-type":"item","numeric-id":1909729,"id":"Q1909729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298d36453e7a105aed14363665f4d63d0c11a9e2","datavalue":{"value":{"amount":"+0.8558897376060486","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":"Q4892455$E9FA809C-B65A-4E4E-ABE5-C86845F742C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e357a3f6829f8753ee72988bf371267c43a1abec","datavalue":{"value":{"entity-type":"item","numeric-id":1194189,"id":"Q1194189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298d36453e7a105aed14363665f4d63d0c11a9e2","datavalue":{"value":{"amount":"+0.8558897376060486","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":"Q4892455$1F183121-4A17-4E8A-9A7A-2BEA90E6CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73709c4a6575739cdebca1f1e57220220c46f3cc","datavalue":{"value":{"entity-type":"item","numeric-id":5452109,"id":"Q5452109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93adf5b913eea69dc3e08b7dcb8b6af1360daea2","datavalue":{"value":{"amount":"+0.854052722454071","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":"Q4892455$BDA5947A-3A5E-4242-B7DF-51DC91F666CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2878c5bf8c44c45f4ae48aeb0ea0d2d8fde1c518","datavalue":{"value":{"entity-type":"item","numeric-id":1747981,"id":"Q1747981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b7d002401ebd7b781aac9815394d92b2332512","datavalue":{"value":{"amount":"+0.8460509181022644","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":"Q4892455$92093F03-C5A5-4ED4-8BEB-CA54274B0C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c44e201ed360d0be1981490db6e6309f8c49e31","datavalue":{"value":{"entity-type":"item","numeric-id":711615,"id":"Q711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3230b1abb62acd4b9e0f71f559e8e4103128e15b","datavalue":{"value":{"amount":"+0.8393760919570923","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":"Q4892455$788EE4CF-38D1-46D4-9F99-3FE8E89F8906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4892455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4892455"}}}}}