{"entities":{"Q5401553":{"pageid":7431127,"ns":120,"title":"Item:Q5401553","lastrevid":74429199,"modified":"2026-04-14T22:17:39Z","type":"item","id":"Q5401553","labels":{"en":{"language":"en","value":"Strict local testability with consensus equals regularity, and other properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6266663"}},"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":"Q5401553$16FECFFD-CB75-4F42-8AE4-588B574405E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b901c237640339315b6ef131f95f6e734b7bc22f","datavalue":{"value":{"text":"STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5401553$F64E4B92-2113-40FA-B659-41D517B26533","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d19c6730f753b402475c88c2753dc207ab89cf","datavalue":{"value":"1408.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401553$A57F36AE-B9C4-450A-A9BC-C3E7A1447E2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63e136ede1aefa9a7f184546754bf66cd2b84545","datavalue":{"value":"10.1142/S0129054113400169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401553$F86A0F78-1EBA-4785-859F-2CAF739EA484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02fd388478e600d2c94ec5f14e35cc88504486a","datavalue":{"value":{"entity-type":"item","numeric-id":235673,"id":"Q235673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$673BAE1A-8B64-4016-93AD-1E171917C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f397e7e67b8be5e13f893f1a8004a9ad5bf1d720","datavalue":{"value":{"entity-type":"item","numeric-id":235674,"id":"Q235674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$25EAE11F-AE5B-40DE-8027-981F4911934B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$62F81F8F-C38E-4CC5-81AC-F120397F9FAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263711ed51fd12cc335121a0bdee06ca0225e302","datavalue":{"value":{"time":"+2014-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5401553$88C30F51-DC60-4290-9274-F4F30191A777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401553$5CC06F25-FE0B-4CC5-8535-726A3451E786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"263d3918a4971e73cd7d65f907f678c2f0d5de96","datavalue":{"value":"6266663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401553$E005C682-31D4-49A2-AAE8-C3468189F4BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$9CF5D667-73EF-4C7E-8B65-5A8452F2F590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73552914f5b24bf6705cba1e3d2870c437002a35","datavalue":{"value":"strict local testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$9977FDCB-1050-4E74-8AC7-2BB9C7BB9EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af62cb176246a01da3dab8b546a81e32feb0fdd7","datavalue":{"value":"non-counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$826D6B42-7BE9-465F-B859-1E6C0B462CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab409eeed92a826727b812420b1b7b99f47f0e48","datavalue":{"value":"consensual language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$166BB17D-F800-473A-BB42-F61FBEFA7EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$50F2D182-32AA-4889-B69E-D1290E4F2982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab276108e9b1285d161867e0357fb87d6bcf4192","datavalue":{"value":"Medvedev theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$9D516A2F-A379-4CBE-9782-D3C0599FAA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3d8c8d3d59fb5b2f62fc6a6d5cc210259f9384","datavalue":{"value":"homomorphic characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$20F55D47-4FF6-4837-AC68-F86915D291B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6685115c031ccd3c1c0f6cc8f7bdd41f1daf41","datavalue":{"value":"context-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$D3F26270-C661-4E53-B04E-95684DDE9B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc3c3e0b79867aa746ecc8341e78eae4797e972","datavalue":{"value":"context-sensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401553$EEDCA8E1-10BA-4F6C-9AE7-69334A14AA56","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":"Q5401553$B05E0110-583C-4C15-ACB4-224E2F4FD7AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf0589e53a93e9a047ef163e5bb4fa71be52f38","datavalue":{"value":{"entity-type":"item","numeric-id":3883540,"id":"Q3883540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$D06F4BCE-D6D9-40E6-99C6-2B549A5DCA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f76beba5b3ac0fc46dfd17a1add2bfeb272d2e3","datavalue":{"value":{"entity-type":"item","numeric-id":1575558,"id":"Q1575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$5E4A52A1-22BC-4294-A5E9-92221116B80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11678a22e62aca7524e3fde7fcdc7992308fa32","datavalue":{"value":{"entity-type":"item","numeric-id":2841978,"id":"Q2841978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$D0D29D78-26AD-4709-8BB9-0928C0BFEA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60849ad9994affca3c1db349700ab17186bd3d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1109707,"id":"Q1109707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401553$F481B682-E457-4A84-8349-2DC7FB21253E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a868e123f55531c8227b45909b7dc70eb2d50ec","datavalue":{"value":"https://doi.org/10.1142/s0129054113400169","type":"string"},"datatype":"url"},"type":"statement","id":"Q5401553$60339471-79C6-4CC0-87B5-9D435D700AEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec06dd3d06853694502ed153b4b086c7e4d1122","datavalue":{"value":"W2033706835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401553$EB1960E9-53FE-4895-8ECC-22F75F5A712F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b0fa186fb7a7a610533381380edaaa89bba306","datavalue":{"value":{"entity-type":"item","numeric-id":2914699,"id":"Q2914699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b537352caf1f5b5a7a1771d35b37c220551e0f45","datavalue":{"value":{"amount":"+0.9728792905807496","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":"Q5401553$0C7C56BA-7144-4721-AACF-6087CEF9D1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7471dbe5c6d166ff0bb3839993909063b22f17b9","datavalue":{"value":{"entity-type":"item","numeric-id":3540109,"id":"Q3540109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ddfac312025600a6ccee41968099128cb62edb","datavalue":{"value":{"amount":"+0.8637771606445312","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":"Q5401553$3C52EFD0-978B-49EE-88E0-2C9C056AE7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47fd0e163b1a99f9acf9d0c36a8fada3bfb953d","datavalue":{"value":{"entity-type":"item","numeric-id":3006160,"id":"Q3006160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ef4c5de4493647f749e15c4cb6ac190268305b","datavalue":{"value":{"amount":"+0.8413824439048767","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":"Q5401553$DFAAEC16-A505-4F61-A37E-4800D9B1C76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec154448e006af8bbf0d04231cc7ff7d4dcd4fd","datavalue":{"value":{"entity-type":"item","numeric-id":2709036,"id":"Q2709036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cb94f1b8da487eb14a07b2bfe433be090e77cc","datavalue":{"value":{"amount":"+0.7199916839599609","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":"Q5401553$54A33640-EA9D-4046-B393-8760BDCBDC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ca36dd6e6ff612139ee9ae00a120dd438f26ea","datavalue":{"value":{"entity-type":"item","numeric-id":1575558,"id":"Q1575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d74bbec3fec4a59670ae4d995462a3409ef266","datavalue":{"value":{"amount":"+0.7197741866111755","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":"Q5401553$446559F4-B45C-472E-8B2F-10A396B9CB9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict local testability with consensus equals regularity, and other properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_local_testability_with_consensus_equals_regularity,_and_other_properties"}}}}}