{"entities":{"Q2291824":{"pageid":2302567,"ns":120,"title":"Item:Q2291824","lastrevid":71778552,"modified":"2026-04-14T00:29:02Z","type":"item","id":"Q2291824","labels":{"en":{"language":"en","value":"Introducing complexity to formal testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161323"}},"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":"Q2291824$FE90CA25-6CED-47B0-A808-B404F581B7DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c995210dc98cd230a61be6c64b1456441c193ef8","datavalue":{"value":{"text":"Introducing complexity to formal testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291824$28B72271-BF45-4008-B903-C1ED9709BC21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc1b46fc75679ff8d785062fab3adc76fc48f1e","datavalue":{"value":"1494.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$FB227852-8B1F-44F3-BF99-AC0CBE6012F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$97009085-6A73-4EF3-A3E5-91DBD9AFEA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af934de01236ff6769f9de152ad7c0dc72bd9980","datavalue":{"value":{"entity-type":"item","numeric-id":529042,"id":"Q529042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$033B8D76-BAE1-454F-9D2C-48AB6AB05B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39895d181fed0f71cd54ad3dbc91297b58ec3e9a","datavalue":{"value":{"entity-type":"item","numeric-id":470034,"id":"Q470034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$A82E9DAA-0860-4C2A-8873-109BA3533122","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$5F021AFA-8D1C-4220-BBD6-366E2CE3602B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2291824$6898E6C8-08BF-4BCE-95FA-0F44C10972BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$730FB656-FEA0-45DC-ABD8-090119995838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$59CAE888-5A21-425C-9883-119C4090DAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$FD4F1893-F391-4FA9-9415-09E0E40D9974","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d889d57692cca8da5cf52f1cee18a295308736b7","datavalue":{"value":"7161323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$CCCC77F3-09A8-4A83-8187-B2FCC00F4516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291824$9E13C915-01DA-497A-A3D2-CB329CCC1177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291824$AC5226E8-DBF8-42E1-8408-C55380E8DD94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"332f296aaae9d4de9f8bb547239196c5fdde9be4","datavalue":{"value":{"entity-type":"item","numeric-id":19311,"id":"Q19311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$CE87E372-1759-47D8-B4F6-921FFE53FB50","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":"Q2291824$9BF639E6-E2B5-414A-A8CF-BBC56F0E0494","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a4253cad611a808ec5f6477e2f9585cbffe9467","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.100502","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291824$6297DFFC-EF4F-4AAF-9580-9AE54CEFC84F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"762283b1986c23c0eef821f346368d425ee9dd83","datavalue":{"value":"W2988336228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$E01326A4-48AC-4B14-9954-8D7136E16BC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$463B2E1D-7F36-4741-B4F2-C88AD55A2955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88634057391c15bdf90f5f3e64269fb32b047644","datavalue":{"value":{"entity-type":"item","numeric-id":4532084,"id":"Q4532084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$1A0604FE-F802-4A78-B61B-8B117D64908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0d944de5134cba5441f0e4f3e611aa83f7c905","datavalue":{"value":{"entity-type":"item","numeric-id":4532083,"id":"Q4532083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$03959872-B971-42E9-A1DC-F3D73B53DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f0138b74842f30b947a85826312269b896e88b","datavalue":{"value":{"entity-type":"item","numeric-id":2469152,"id":"Q2469152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$EABAECB6-66F4-4DF0-BB1A-C09A5898B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$0F11D761-AAAF-47B2-A9CE-E2FE3416183F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$3F3F0419-B2B9-4B22-BB05-27DD44DF312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbedce3ea8431c07c48a2c853b543f2a5480b4d","datavalue":{"value":{"entity-type":"item","numeric-id":5308369,"id":"Q5308369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$0ED2D8F3-891C-4F22-97AB-76802A357708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e228048f3fe4a7338a457d9c3fec7cfbecf6cb","datavalue":{"value":{"entity-type":"item","numeric-id":3434668,"id":"Q3434668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$D2130ECE-422B-4FEE-9C51-E61BBD4C3F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685144b4eb15e2f9efb4205ce64a23f340700300","datavalue":{"value":{"entity-type":"item","numeric-id":4589595,"id":"Q4589595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$22B555DC-0060-4E5F-9BA6-526F05AE6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169a8f1ab63405de983c0f19123ff20897de98a6","datavalue":{"value":{"entity-type":"item","numeric-id":4449196,"id":"Q4449196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$7C76A25D-B353-4E47-8CF9-394D9CFEC6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd299ecb9d3d82efbcf67158927cbc06973e3af6","datavalue":{"value":{"entity-type":"item","numeric-id":2368993,"id":"Q2368993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$1CF1F3F2-38EF-42AD-B2B2-B7759D6419A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5be98a4cab39c96df306408cc6cdc103f79601","datavalue":{"value":{"entity-type":"item","numeric-id":3046739,"id":"Q3046739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$D3B49F88-6E6D-412D-9A2A-7C24BDD6C9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f6df8d0a584e5a29966f35590cef9394cb10482","datavalue":{"value":{"entity-type":"item","numeric-id":736851,"id":"Q736851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$BF47F560-5A31-4973-90D0-5DFFC819F87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$5A567AC2-A781-4945-9A91-17E32A300E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea42fb668104374069967916e494944c16c9d417","datavalue":{"value":{"entity-type":"item","numeric-id":4727403,"id":"Q4727403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$EB37CB69-4992-4D5C-BCAA-B74CCA4EA9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a22a9e890598db82bd579dc9e12e9d39eef476","datavalue":{"value":{"entity-type":"item","numeric-id":3184700,"id":"Q3184700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$D422AA3E-FFC0-4ABB-B6B9-DAEE523CB88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$B2F8F522-AAEC-42A0-AFDA-FBFE5F06A73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$CE55D42B-F183-479E-841E-282E762E0CA7","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":"Q2291824$178CBD19-1555-4A30-9010-6AE94E803BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2829de33b2098b503242fbcd371855c0f1feb183","datavalue":{"value":{"entity-type":"item","numeric-id":2398505,"id":"Q2398505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$C6A13BB6-F566-4DA3-9216-13C44E06EA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efed155c48a27582da34f0dd9b51054ac4eb406a","datavalue":{"value":{"entity-type":"item","numeric-id":5280717,"id":"Q5280717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$34CF999F-2819-4E23-B2AC-8B46232498D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07897f24cf3631f8c5c209aa614446868925289e","datavalue":{"value":{"entity-type":"item","numeric-id":714798,"id":"Q714798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291824$24BF5906-3529-4EDC-A0F5-A64329982B1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"538fedf916ffcff39f3548b4b07342d96904646a","datavalue":{"value":"10.1016/J.JLAMP.2019.100502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291824$C1085504-F448-4488-8FB0-F46FCBDE3D8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55fa663be7b2c02569a0f2d3df59cf97cfee9b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3510809,"id":"Q3510809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5aaa7f5bad888b0ebfb7cc54d25b07df50f6f6d","datavalue":{"value":{"amount":"+0.8738038","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":"Q2291824$B7FFFAFD-8B3D-44BC-88B6-AAB56CB639F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8de1e14b895929d04da58d1c9919031eaa68a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771764,"id":"Q2771764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1042205e89e923dae8a5e7429db3af015460ec1e","datavalue":{"value":{"amount":"+0.87306833","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":"Q2291824$5DFEA7D8-1CD4-41FD-885E-FFB4BDFF95F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9170b7a93958890a68cf92c4e886a0f5941471","datavalue":{"value":{"entity-type":"item","numeric-id":1207976,"id":"Q1207976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2225b1bfac8cd48c81df72884d48775a10d2a51","datavalue":{"value":{"amount":"+0.8566271","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":"Q2291824$CF160FAB-1E61-4544-9F66-B59ED52DF2E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introducing complexity to formal testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introducing_complexity_to_formal_testing"}}}}}