{"entities":{"Q470025":{"pageid":471792,"ns":120,"title":"Item:Q470025","lastrevid":62119311,"modified":"2026-04-11T03:53:36Z","type":"item","id":"Q470025","labels":{"en":{"language":"en","value":"On theorem prover-based testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368394"}},"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":"Q470025$15D0C95D-2961-45C8-8D55-8292522C814A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c81aaf38683f2688308f83a435988a36f1cc47c","datavalue":{"value":{"text":"On theorem prover-based testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q470025$D6DF87D4-9937-4BF3-A78E-5F9CAF61AE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"064f57e99d857fbd9b8ddf2e257777a4bdf0ab3b","datavalue":{"value":"1298.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$46423909-CF30-4B27-B76A-E89EC43ACF1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b3f2efcf958b40022b60d5ff3169a1615bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":470023,"id":"Q470023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$7EB1E429-CF57-49F2-AB85-1F95943FBFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$87513D92-8056-47BD-B621-701426F629B3","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":"Q470025$92CF966F-7875-49DD-96AA-70C4476D0F26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q470025$F0F13F0D-F0FF-4717-854B-ADBF0DB24FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$01D52D26-F7BE-43B7-8E88-BE3E2DD7EB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$D767C0A4-67A8-41F1-B63B-097EA8A77EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f766062b53250c6051567d5a5083e35ed2c5207d","datavalue":{"value":"6368394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$53717F49-6F96-429E-B005-08CA75BA6720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c19ff417073984a06723dff5697a3fec374c8039","datavalue":{"value":"test case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q470025$1F9DD1BC-37F2-4B8B-9E42-1A24197FAA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdf011cfeaa3392ba2365534dff69932f2eec9b","datavalue":{"value":"domain partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q470025$372374BF-49F2-4A10-BC76-66F3FE59D647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe8805af5e494651a823b55c8d3c32afe27ea05","datavalue":{"value":"test sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q470025$19ABD4F9-88FD-4235-9E1D-12746541ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q470025$2E66E1B8-5CD0-4D81-B3B2-ABDA18B26211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddd1a7f6d48dbcb8cf4ced3b73b101a23374886","datavalue":{"value":"HOL-TestGen","type":"string"},"datatype":"string"},"type":"statement","id":"Q470025$AF821198-7E55-4CA3-87C8-BF0D579F28F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae2801c307518b2eb271f3166f5d1e42ee4a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":19304,"id":"Q19304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$5B43DE34-9E39-4F6E-9062-CDEBF4C44AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$1DE6B4FF-5D71-48F0-87B3-C1F1B00DCA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$AD2165DD-8E7A-4C64-94CA-613784A19A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$661F53BD-9435-49AA-A026-D94C158B1C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$A38213CA-2497-417C-A370-9D1495BB377A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d73b7a66c046be888f26faeb5ba8bce261b6bda","datavalue":{"value":{"entity-type":"item","numeric-id":29573,"id":"Q29573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$E176BD17-9878-4A65-A244-16A378D89902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$1A7547AA-D910-4BEF-A2C4-F98AF8D81DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aa9c990050844e02d619f5dc6d4cd64e20bd57d","datavalue":{"value":{"entity-type":"item","numeric-id":19208,"id":"Q19208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$D243837A-5AE3-4E56-AF0B-BF53E28C4EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80eea1ed90a1a156489af434c921fb240a48ae8d","datavalue":{"value":{"entity-type":"item","numeric-id":19308,"id":"Q19308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$8F36E48B-FF89-4BD5-AB99-4770D7B08DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$87AFD6CF-0FE8-46FA-B952-32FC13335E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0930e95d37bdd1b5905ab66f6feca8ba6215fcfe","datavalue":{"value":{"entity-type":"item","numeric-id":23312,"id":"Q23312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$B6CB0B28-E382-456B-A046-9AE2A5BB2AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09667f39c796b66d178c69cc5bd175d01d1030f0","datavalue":{"value":{"entity-type":"item","numeric-id":14178,"id":"Q14178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$BECDBB10-4A44-418E-953B-16CD8D957FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$C10F1947-938E-428D-B233-92C6B9E52282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6377d9e2443ed2d598838b0cb43c6c6774ad62ea","datavalue":{"value":{"entity-type":"item","numeric-id":23972,"id":"Q23972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$07F32EB1-5031-4CD3-A725-7B216248EB77","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":"Q470025$0AC926C8-C05A-4D6B-9D86-75186FA59309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e0c52199c4bee6ad9edf24713cef2ea6af78ab8","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0222-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q470025$59DBA1FA-504F-4DC5-BD22-F426630C231C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48b7cc3161776c66bc17e26524fce8c73225c551","datavalue":{"value":"W2097883343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$7454E832-E20B-41DB-AB56-EBE61D6A1EFC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e204e94d11a3a508ac63b6fb9c171ec2efb8c465","datavalue":{"value":"Q56502042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$8CA7D204-B15E-47ED-8ADC-7A771D4DB2A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8456e5ce61ce50df853e86b502252b5c44643be8","datavalue":{"value":{"entity-type":"item","numeric-id":3543648,"id":"Q3543648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$F45FEFE3-72B7-40A0-9526-292D3003350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$F09E5550-704D-4881-B3D1-8BE6C50FDF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba0d7a787c3ddf27f1ee78a59c4dec37184a75","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$8DAC1175-E47A-4376-B732-C4AA417DE738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$A766BDEC-5807-4CFB-9196-EEFCF8E8159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d118995af633adbe825b08e17c34663044d47f9","datavalue":{"value":{"entity-type":"item","numeric-id":5710649,"id":"Q5710649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$6BEB695B-ED28-449C-91A7-1FACA2C01D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$76F0435F-F16E-4AEF-A85D-AA872893E0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec369af61cafd1faf245c56d6a4ddb5bac9a0a41","datavalue":{"value":{"entity-type":"item","numeric-id":5423867,"id":"Q5423867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$1B1B4765-07F0-4A02-829F-6ED478FC3900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20867ae2393592f363419ab166a84996532d2c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1040775,"id":"Q1040775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$128D0659-6628-4EE4-ADDA-49582D27E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73acd9f243bfaab98897df35b466473b2084b8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3868732,"id":"Q3868732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$7B895751-B7C0-4945-A349-C876AE12D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$4DE28BDF-8D29-4E27-8774-B8591C1EBE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48153b6d5926a41c5f52c9d0893cdca20e91d23f","datavalue":{"value":{"entity-type":"item","numeric-id":3365265,"id":"Q3365265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$B5C4CC2E-C574-4523-A6CC-445D346D95A9","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":"Q470025$14822CAD-86C9-45A2-B3A9-C79A958BA516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$065A600D-9F16-4E09-BE6F-09567D95C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$0DF33DFF-0C5F-4DB1-9207-9430B742F80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$B850F0BB-D36A-4B2C-BF3E-F0B9B6172110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$31E4BD7A-CE92-40B0-946A-7CA9730A8D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470025$FA602BA2-CD62-4C19-8556-D1982C5352C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d0497c43262c8e1c273343a86c2f3fbd4b9d0f5","datavalue":{"value":"10.1007/S00165-012-0222-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$3E9B1144-6EB5-482B-9A09-60272730A050","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"638d71fdef58d3c1e24845c68201eabe48bd5bf6","datavalue":{"value":"journals/fac/BruckerW13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470025$84D40B94-DEC4-4E4C-B398-02F76C6204BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d9903018dedcc88e795e8a1463a8e29f088539","datavalue":{"value":{"entity-type":"item","numeric-id":5423867,"id":"Q5423867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd4600bbc53a0df11e9f8e605b2bad60ff3fb1e","datavalue":{"value":{"amount":"+0.8490784764289856","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":"Q470025$7ECD2827-6BB6-40BC-AA2E-430C316D7B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f8d744b05816c910e19f8299304b2f749c65c5","datavalue":{"value":{"entity-type":"item","numeric-id":6039393,"id":"Q6039393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5995bf6695b1451a60244a0e424123c7b9896946","datavalue":{"value":{"amount":"+0.788541316986084","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":"Q470025$7781929E-8057-4991-89BC-D296CA4E6F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74a82172e8d2e3206534bd6eace46c46c7771ac","datavalue":{"value":{"entity-type":"item","numeric-id":2909153,"id":"Q2909153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f7b7b80821ff2c5c7e48a83e99874e7ff4ef73","datavalue":{"value":{"amount":"+0.7770678400993347","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":"Q470025$7742A034-7CA2-4314-A839-C105673BFB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbff27cd6dc88db32992a568d5380594e729c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75031dc4b1b5bed90de5ce01dbcaea4a52ae3cd","datavalue":{"value":{"amount":"+0.7764055728912354","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":"Q470025$1A26A2AD-0A0C-421E-884A-CF685CF37BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea01f89845bdac180ff3f3ed7a59d29f5819a16","datavalue":{"value":{"entity-type":"item","numeric-id":5710649,"id":"Q5710649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3cf6598cb04c73060f15b582b34ca4eb21c359","datavalue":{"value":{"amount":"+0.7668473124504089","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":"Q470025$F73512B0-E2B3-43C3-9727-E62A6ECF6020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On theorem prover-based testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_theorem_prover-based_testing"}}}}}