{"entities":{"Q6120692":{"pageid":13254999,"ns":120,"title":"Item:Q6120692","lastrevid":102368063,"modified":"2026-06-06T04:17:29Z","type":"item","id":"Q6120692","labels":{"en":{"language":"en","value":"Multi-Requirement Testing Using Focused Falsification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807712"}},"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":"Q6120692$FF146543-EEDA-4CFC-B0B2-FCABAE0DDF0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6253a96816297b1b70beda02ee3a8536d729d5e","datavalue":{"value":{"text":"Multi-Requirement Testing Using Focused Falsification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6120692$00FDDD71-9DA8-40EC-8DE9-894EE51E6D01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4c23feb46fad0e3258884bfa2485b71a1aee5fb","datavalue":{"value":"10.1145/3501710.3519521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120692$CF9F29F7-4B2D-4389-A908-D7124E3D2ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e194e57515e32479b678f6cc72806c9a8f5a59b","datavalue":{"value":{"entity-type":"item","numeric-id":6120691,"id":"Q6120691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$F01E7254-6018-4C18-8382-48BDD3F2EB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2421cbdcf69fc46f7e1ab053bd39b93ffdc36187","datavalue":{"value":{"entity-type":"item","numeric-id":243963,"id":"Q243963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$BD92F43E-8CF4-4230-91FA-44F235674C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63415121ed6d0a22dd11df070bdf15e7119b8e7d","datavalue":{"value":{"entity-type":"item","numeric-id":843990,"id":"Q843990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$73F7182F-C923-46D8-85ED-53C6CBBACF70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"805bf4d1cb41196d5994e9cfbfbabd8aa38eced9","datavalue":{"value":{"entity-type":"item","numeric-id":6120687,"id":"Q6120687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$995BE459-A79E-4FB5-A7CA-6F488A41359F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6120692$0F9D215F-4526-4620-B46D-EEC2D3414833","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82df7baa275ca0dd3f5930368003892ce581dbd2","datavalue":{"value":"https://research.chalmers.se/en/publication/530011","type":"string"},"datatype":"url"},"type":"statement","id":"Q6120692$E48F82DD-DB94-425D-85DF-5F5544578D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120692$282B9E1D-4235-47E3-A976-A1C3C05F18C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120692$565893CB-2A86-4A1D-B5C3-CFB65D772888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120692$C3353F8A-CF02-44A4-A269-1DDCF6966BC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d2ba4ac751a7b734b6df487e9e58d2221b4f5f1","datavalue":{"value":"7807712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120692$B31A6073-1568-416C-A511-0A0A3DC185F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fbdfbc61a91c53e946a6ab07c1feedf79132c","datavalue":{"value":"CPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120692$CE2F9129-98FB-4EFB-B8BF-72AF01921643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120692$44D1BD36-86FE-4076-9CBD-1A3092E53760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0acd51ca8cb14a3f7802c9b9c1c46beb3ddc9d94","datavalue":{"value":"formal requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120692$2F0E6918-1F2E-4492-A50F-5816B64D8051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120692$CDDCB721-C219-4918-A3CE-C7510599887C","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":"Q6120692$C899C037-715D-44BD-AE42-E81EB33544DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1193ad6da77efcce64874082317fa6af6205f25b","datavalue":{"value":"W4224994162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120692$D209C746-59C9-4CD0-AF3E-9207F2B83B3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$28449BA9-4F16-4ACA-9410-4C26D2E5A0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ed2af95d0e53fe0e7305d5ef1c540e6eca3999","datavalue":{"value":{"entity-type":"item","numeric-id":5492964,"id":"Q5492964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$433AE974-822F-4204-A921-3EA8F7889830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16c13edb03090e9dac8b50ea3feefa038939378","datavalue":{"value":{"entity-type":"item","numeric-id":3460587,"id":"Q3460587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$A88B9273-D83D-46F2-B01D-C5E9A0A78278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$277FED66-45D8-4AA2-A10D-534E9CB430F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$257AA240-3BA9-4CF3-A869-2B2337356C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$D90FC978-5FD1-42C3-8F3D-CC614CBCFB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a8d3cbf8b30575281bc4e243acae569110ac19","datavalue":{"value":{"entity-type":"item","numeric-id":2986973,"id":"Q2986973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$DA04F308-87DE-4D5D-81D2-66DA75D5D335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$D8F979B2-9F32-4BBB-9D93-9CBBF4DF512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$B520393C-F21B-4343-8A4A-C86CC3D54DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d91c8894973de1c318f03d56616c680a7d9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120692$2DB6D69C-6FED-42D4-87A5-1E0DB7398ECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c80ab8d0ea1b3f6d8e1c0f0c76a64d1533fdcf","datavalue":{"value":{"entity-type":"item","numeric-id":2085163,"id":"Q2085163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7983188a98c1fcbdba5d8adbb7c45bd35c98c7f4","datavalue":{"value":{"amount":"+0.7425658702850342","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":"Q6120692$BE59A98E-A1CB-4BA6-A1D4-D3DDB9ECC4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31984a3b7cab027282720c38ff387d42b1f4fad3","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2afd3d10df78cf321389d184ab1eb83b07143b","datavalue":{"value":{"amount":"+0.6882608532905579","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":"Q6120692$3305B1DF-782F-4582-B2BA-F1742D967EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5686408ae12e7a38e69fb76847253c29033cd50a","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6be3f89b2987398619f59bc7f742eeb0f83654","datavalue":{"value":{"amount":"+0.6800742745399475","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":"Q6120692$71707F32-E99B-4415-83E2-598B56F73759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b84ab559bc92c70e5914cfbd07fab1dba3a740","datavalue":{"value":{"entity-type":"item","numeric-id":2986759,"id":"Q2986759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303b744cc0ebe957df24d7a69ea53a6ba502f2ee","datavalue":{"value":{"amount":"+0.6758183836936951","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":"Q6120692$68687BA8-6380-4A5C-9FF9-AA9771A9F240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1835b46a273dae2ab15b54088960e74b6e71ce73","datavalue":{"value":{"entity-type":"item","numeric-id":1675917,"id":"Q1675917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a751422e004071d0e5b23a5c79022ea84f3b90","datavalue":{"value":{"amount":"+0.6746069192886353","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":"Q6120692$8DC3950A-4F60-4BF6-A75E-08A300BE99C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-Requirement Testing Using Focused Falsification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-Requirement_Testing_Using_Focused_Falsification"}}}}}