{"entities":{"Q613138":{"pageid":614914,"ns":120,"title":"Item:Q613138","lastrevid":42604602,"modified":"2025-07-04T13:40:12Z","type":"item","id":"Q613138","labels":{"en":{"language":"en","value":"Lower bounds on lengths of checking sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5827627"}},"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":"Q613138$DB1CA550-D057-40F5-8D8D-65D3919317A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55830427a6e85850998cad405f33335dc6bf7202","datavalue":{"value":{"text":"Lower bounds on lengths of checking sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q613138$428DA3E7-D87A-4EDD-B15F-18C93E51501A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09a2897fd702e903c9cc3758f83e5ae173427f48","datavalue":{"value":"1214.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$A6326039-ED1C-4302-8B72-0754889E0E34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb8bb73439c087cb2bc323284ba32aff6a4e72a","datavalue":{"value":{"entity-type":"item","numeric-id":613135,"id":"Q613135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$254FDCEA-69B6-432B-BEFB-35889E3FD194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f3331fe51b5419d4bd45eb90bdbf7b13c2b1b","datavalue":{"value":{"entity-type":"item","numeric-id":613136,"id":"Q613136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$79E0C21F-3CC0-4BD3-A250-CD042D5FAB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c107885d2125030e57934d97d36b1d4ed30a2ea6","datavalue":{"value":{"entity-type":"item","numeric-id":479810,"id":"Q479810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$4CD1B69C-CBB2-48BB-AB35-EBB635E5DD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694b16818f97a90a7b6289d8809a0dc0a2e51eb8","datavalue":{"value":{"entity-type":"item","numeric-id":613137,"id":"Q613137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$56C754A2-14E9-4186-8223-C97F326AB17B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$38012276-6848-447E-A75C-60CF37B6E475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ef5602477723905148f5f25f317bbf3837d9f5a","datavalue":{"value":{"time":"+2010-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q613138$8E4AC853-A620-4644-B171-4B42DB4388AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$838417DF-70EA-4D07-82E0-FE23560E167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$30DD0F15-9336-4252-844F-ABEB0718EE8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e907883c7da0c0f8fd9f60706ed450a53d85fd4","datavalue":{"value":"5827627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$F84978F2-BB52-497F-B101-141579D5A977","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q613138$98799F7E-D3BA-4AE5-9B09-2672939D5036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q613138$84AA25C1-BA2B-4D53-BC92-3D3CD54E6B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q613138$BDE4DC2E-68D2-45D4-B109-2B5826D1DD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d34714f77793805512ad857105cc08b42ce3a","datavalue":{"value":"fault detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q613138$A5F666DF-DE18-49FA-B7E9-7924B934B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbcf4a36dacc2d2fecb17950a20daf2c1fdfc00","datavalue":{"value":"checking sequence construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q613138$D30DBD4E-CE39-465D-9CD2-11704066B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db8deab16f9333d79404443fe91c6358386b82c","datavalue":{"value":"distinguishing sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q613138$90BC8767-4DEA-42C2-B13D-0F67B942BA7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$2B09FE66-D1A7-4401-9992-BC8802F3ABFC","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":"Q613138$3B414065-D7DF-460E-B125-CA97F59F2BA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"692a5f297884410e4a3488aeef4322b8e5c2a1cb","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0135-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q613138$1C83AD7C-27D1-44BF-9D99-6014D9623615","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d032fdadb14b3b5956d34c5240ed7b3e30d24d9b","datavalue":{"value":"W2050254654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$40E71656-E9FF-415D-8BFE-E38E426C1C78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$05E0B5FC-2265-4106-B481-DEDEA0C1DA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a2b6b561975b8a15009471136698da99c6f749","datavalue":{"value":{"entity-type":"item","numeric-id":5591525,"id":"Q5591525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$C1555A0F-09E6-4C7D-B166-BBD7A8531E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48374c947683789ada9e696c8e3f162ddd6edda7","datavalue":{"value":{"entity-type":"item","numeric-id":3417030,"id":"Q3417030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$21B72F56-74DF-44DC-9287-A2B0D496E0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a691f68ee40a8377ef5009722ec820087c9e545c","datavalue":{"value":{"entity-type":"item","numeric-id":5464484,"id":"Q5464484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$1D228BFB-B899-461C-910C-1682CA42E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375945d53279ba3bd449c119959570e6cf20fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4165287,"id":"Q4165287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$0677CA5D-45E5-4EF6-A926-388D21CDC172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ead22d4eeed9cb9e4c830b18bd3d6a37be41459","datavalue":{"value":{"entity-type":"item","numeric-id":3434664,"id":"Q3434664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$F90542EB-BB64-4BFE-9B6B-05352ADD7BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b694292406e61836b5b724e75b6145e5711bf8d","datavalue":{"value":{"entity-type":"item","numeric-id":3417008,"id":"Q3417008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613138$ECC7AE63-20AA-4C5C-8EB9-C3BC1D504BDD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f3883868c0a969c5ca810cc9d7731873b809f84","datavalue":{"value":"Q130977229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$7E0C0356-17B0-42F7-AFB2-3AC76C1FCF1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"237d40430eafeb5fdc2a1efdd61c0770bb0a1fdc","datavalue":{"value":"10.1007/S00165-009-0135-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613138$F383BBBA-D493-4143-9F7F-E36D151526A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395363977109f99a3c417d7d5d9d452f8f616c65","datavalue":{"value":{"entity-type":"item","numeric-id":3417008,"id":"Q3417008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee33fbbb667a9dc35e34fc3adf8de9e5a627e4fb","datavalue":{"value":{"amount":"+0.95338905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$CCB8BA1B-7B30-4E65-89E8-E8475E23306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e64ea6b5479beb3219a232d050bae7c72c5c12","datavalue":{"value":{"entity-type":"item","numeric-id":3434664,"id":"Q3434664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b221993f5a1a2c5cfcb92774619d41a94dc944","datavalue":{"value":{"amount":"+0.9007978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$73F12E32-4D96-4294-B0B7-DD103ED9F765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e341535161fe10755fd2d00ae18d20c785e32d0","datavalue":{"value":{"entity-type":"item","numeric-id":3417030,"id":"Q3417030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d85f8d11138b38c29058c404f0c34ba45ebc089","datavalue":{"value":{"amount":"+0.89616454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$C44485C4-E03D-49B6-BEA9-C51DDD28BBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0b2d29fdb3a0a269d1369743224e929724e9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4975024,"id":"Q4975024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7cd24211348574e61912dec2bf821a03a2d4e7","datavalue":{"value":{"amount":"+0.8821315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$902B69E0-78C0-45EA-BBC9-C9852760F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2cff30d823e99f2e2db82b3d45752947fb03dc","datavalue":{"value":{"entity-type":"item","numeric-id":3904545,"id":"Q3904545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6b2c6dc77b67adb66df754964c998d767912e0","datavalue":{"value":{"amount":"+0.8729112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$50A76244-BA8E-4028-915B-02661D4A2505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946f0ace87264ee9dabd8ffe39c0c0a78277077e","datavalue":{"value":{"entity-type":"item","numeric-id":2407040,"id":"Q2407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a552a5a36ba787bd394469b2bbaebbc195ec72","datavalue":{"value":{"amount":"+0.86210024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$957A113D-67EB-4D4B-9DCE-97DADDD8CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e64f51c2bfe10d0189baa337e98abecff473683","datavalue":{"value":{"entity-type":"item","numeric-id":4962192,"id":"Q4962192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e53843bc1ffe1f5b79d89088a3b90050078c147","datavalue":{"value":{"amount":"+0.8605421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$6323AF37-15C5-4B46-B8D8-42B957272392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99557e3d2f0aeec123e44adec09e5f0c7c7960d","datavalue":{"value":{"entity-type":"item","numeric-id":4551362,"id":"Q4551362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9521d59d05144a6c1daa762820fc412f48799316","datavalue":{"value":{"amount":"+0.86028004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$D74A268A-5BF9-4EBE-9AE3-66CB96C40C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5765dde30baef5b8640a23265e805bba6ee3073","datavalue":{"value":{"entity-type":"item","numeric-id":1201151,"id":"Q1201151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7256ec0cde085074244339de95e636953211b3fa","datavalue":{"value":{"amount":"+0.8596407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$E6A2674A-254D-46ED-894A-BD7F210D82A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2652865792637c0fe0a03dc0c63f873267baeff6","datavalue":{"value":{"entity-type":"item","numeric-id":2721934,"id":"Q2721934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2753cd7c31d135eaab6cde1d9c7b23183088a020","datavalue":{"value":{"amount":"+0.855455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q613138$40619C01-B339-4BC5-A89D-16E8C586FBDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:613138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:613138"}}}}}