{"entities":{"Q6085759":{"pageid":13220066,"ns":120,"title":"Item:Q6085759","lastrevid":55529641,"modified":"2026-02-17T18:17:44Z","type":"item","id":"Q6085759","labels":{"en":{"language":"en","value":"An efficient algorithm for local testability problem of finite state automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776494"}},"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":"Q6085759$4927A893-C48B-46B5-95C0-C34325DACCB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68d0a881978aa3ef256d3ea13c9bd4b576b844a","datavalue":{"value":{"text":"An efficient algorithm for local testability problem of finite state automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6085759$17FC967E-6F3D-4D13-9A57-FF01449E8014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0308b1927f336dfb52909d3bbddb86040d1aad","datavalue":{"value":"1527.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085759$317086AE-D006-45D5-8FFB-D61ABA63D647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c8ac2dd7e9a6ac8b1c666a65fae2b8a9cc6917d","datavalue":{"value":{"entity-type":"item","numeric-id":792090,"id":"Q792090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$CF690C0E-25DC-472C-9809-C0C828C08C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16922eb7ed4824225f324fac9345cfe633d1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":211674,"id":"Q211674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$64BF4E6C-E4E6-4E61-AFC6-C82F687A42E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$37DAD833-77C4-47A2-A1E7-B4A4E565851B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6085759$60262E06-D3EF-498D-9F74-7CD8139D0599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085759$B543C82D-229F-49C4-89F7-041B8D143385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085759$A7565507-BA36-47FE-BA1C-4B99C6FB1ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f6b98440ccd1bd95e1ded011ee651b3ffb3246","datavalue":{"value":"7776494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085759$3C40F75A-FDD4-4812-9889-50F482CFFA5D","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":"Q6085759$EFF73980-196A-4D5A-A3B2-8C62E313659F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3b031bacfe938f68ca890f0be97bec009b2b162","datavalue":{"value":"https://doi.org/10.1007/bfb0030882","type":"string"},"datatype":"url"},"type":"statement","id":"Q6085759$48EBC4DC-9E9F-45B0-8B1D-4325C2DDB181","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"347889352aac737f9148686fb3091a590f13a56c","datavalue":{"value":"W1485857076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085759$E99F0271-4BBD-4A79-853A-6F4F5940E87B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a70c52a9128c6f1ae4ee3e196ec5c806b0193","datavalue":{"value":{"entity-type":"item","numeric-id":2558849,"id":"Q2558849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$B6CEE42B-C96D-436D-AFB8-A47414AF0B92","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":"Q6085759$360E2E97-DBB8-4137-A2ED-7CA61DCA2C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b216f665c35f50cecf14e09da4d375643aadfe6","datavalue":{"value":{"entity-type":"item","numeric-id":5375412,"id":"Q5375412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$D9806680-2256-4581-8DE9-1DA1738218D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8d1c9ef779c090eef8f5963fe152294a66319a","datavalue":{"value":{"entity-type":"item","numeric-id":4327417,"id":"Q4327417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$17FD1078-8C93-4CB6-8953-77822850DB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8e0de57dba47aa051a2648724ec7a4688d6486","datavalue":{"value":{"entity-type":"item","numeric-id":5595902,"id":"Q5595902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$95A95DBB-D2FA-4F7C-A76D-A035862A6A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$B382100C-47C0-477A-8B32-749A7F829D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b183af9ae1f45384110c085850792ac573cedfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4773689,"id":"Q4773689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$2FF85A25-3F4D-472B-9281-4483B7E2377E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$EFCC766D-0EF1-4036-90F4-F918668C371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd78746c4eeefd396eb2e07511da40c1156abb0","datavalue":{"value":{"entity-type":"item","numeric-id":2554236,"id":"Q2554236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085759$90119B4F-4789-423C-89CE-20865D2B1744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe54632710b26c077f2c9e2d00c43ed4f825009a","datavalue":{"value":"10.1007/BFB0030882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085759$5BC29A25-2E86-4544-B07D-1BACE4160C2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67639b485c4d601b12f5b2dc51452f9b6282806","datavalue":{"value":{"entity-type":"item","numeric-id":4028905,"id":"Q4028905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0c77273d860fda1ca154a78a80301a1616c936","datavalue":{"value":{"amount":"+0.9429924488067628","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":"Q6085759$EB19BD4F-6E54-4630-B1B7-E8724F43528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12b087b1dc57591765660e70406058ca60af47a","datavalue":{"value":{"entity-type":"item","numeric-id":1978707,"id":"Q1978707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a319c9a2d4ac6b73cea9f8db201a6402bad9dd","datavalue":{"value":{"amount":"+0.9094037413597108","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":"Q6085759$20F3328C-7FEA-4316-8E83-609C1C4F99B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fae7244afe11d2a6d01dd6da07ca0acc479ff9","datavalue":{"value":{"entity-type":"item","numeric-id":3484371,"id":"Q3484371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f92c6c4c8104215bd81cefda69d36bcb8983bd","datavalue":{"value":{"amount":"+0.897868812084198","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":"Q6085759$91CEA014-7F5F-4560-926B-93B83E742345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15757b0dfa0076901b48c295ffc290cadc0951c6","datavalue":{"value":{"entity-type":"item","numeric-id":1575894,"id":"Q1575894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c7a7d538ed55f487525526538defaa8af9e18d","datavalue":{"value":{"amount":"+0.888392984867096","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":"Q6085759$66462CD4-9B35-4462-A08B-8E03A8142D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b36191f4ac83f3d967cef0fc33c8d5868070fd9","datavalue":{"value":{"entity-type":"item","numeric-id":4474160,"id":"Q4474160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38b16cd703c7a5f3f8b4b2f1c7a50066dca2d5e","datavalue":{"value":{"amount":"+0.887604832649231","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":"Q6085759$11E628CB-6AE0-45B5-9DEE-F0135DBA6C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6085759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6085759"}}}}}