{"entities":{"Q736805":{"pageid":738654,"ns":120,"title":"Item:Q736805","lastrevid":63985737,"modified":"2026-04-11T16:52:55Z","type":"item","id":"Q736805","labels":{"en":{"language":"en","value":"Test-data generation for control coverage by proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609450"}},"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":"Q736805$7AC20882-7D72-4D32-9843-F01798D74B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d0e74aa2b7d5ea846adddd879be7d90204bb566","datavalue":{"value":{"text":"Test-data generation for control coverage by proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736805$1E59EF6B-B489-4D96-A37D-4AE486948740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18529cb3094fd2087439398bf215274ce0ca7400","datavalue":{"value":"1342.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736805$BA5B6295-D66D-49B9-BE6B-C0DEB23369AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$08387E22-367B-489D-B886-1FE25C416C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705b7c4158ecfdcbf8790ac5199e3195017ae835","datavalue":{"value":{"entity-type":"item","numeric-id":640295,"id":"Q640295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$2818F395-5B35-45D4-8726-0A4B1D9E4B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f873669a3827a1de6420d8ea2364ad081b4b85b8","datavalue":{"value":{"entity-type":"item","numeric-id":450093,"id":"Q450093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$34C56F17-235A-41FF-B460-703703BB2C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$7D625BBE-B31A-43E5-B2D5-BA060DC2545B","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":"Q736805$D5AE9415-D3BC-4CB4-BBE4-746BDF10A62F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736805$6DE68699-BD10-4B32-AB9A-15B21B7A89A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736805$EEA4158A-7125-4DDE-9721-26FE394FBD75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57ee210c5862612517b8eaeb2a983114824c897b","datavalue":{"value":"6609450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736805$34EAB572-BA1E-43FB-9280-911A22244AEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a43d39f78b468d89167119a597b442fd94a7dd","datavalue":{"value":"control coverage","type":"string"},"datatype":"string"},"type":"statement","id":"Q736805$730712BB-2A9F-4DF3-955C-0B89D7BF11A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q736805$A5FB2521-A149-49AC-A5A4-E6FD36C36B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a0d2848f7e13e5373d661d808855d0d8662087","datavalue":{"value":"UTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q736805$DB17F765-925E-4AA3-A5C3-89D0BA2389B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q736805$06B78CC1-06BC-4A2A-89ED-3AC4276D9B23","rank":"normal"}],"P1463":[{"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":"Q736805$C3206DAC-975D-4E7D-8FFB-A869AB58729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$87D0C0DC-A1D8-4188-BBF5-EF79F2A4661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$27D34846-A391-480C-A3D1-A2F04E4D562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$7F6D6046-2879-4730-A07C-E874BFC5B4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d35d778fc1b80756177ab82e8bc9e25b1533e10b","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$1596BE4A-D291-45B6-A190-B380296E0C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f64be83cd865b14d65168a98dcda7f24e44b9b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$A118A916-70F4-42C1-9532-97FB61D1507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$FD65B9EB-9473-47C9-B060-88B5A17E9A71","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":"Q736805$5CA2BC53-B35C-4E92-9F77-4B213A34486F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c40cad4bca1c200dbabdcc459434c7365563ee51","datavalue":{"value":"https://doi.org/10.1007/s00165-013-0279-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q736805$5F2196BA-202B-4C03-B408-114E99422F11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef46350ca0979b8331a708db2cceaf758e4bf8eb","datavalue":{"value":"W1970908606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736805$EF889B77-2740-400C-8D21-7B500FE7929F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$B08D14BE-7362-413B-9A24-72D9F419FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528e7e709f9c6c7737b3770c7d7cb48b1cf49149","datavalue":{"value":{"entity-type":"item","numeric-id":4302742,"id":"Q4302742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$91CC648A-74EA-41BB-9928-445B0160571F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565374d145e697f1ac73da4e9c94e76c8cf9d04e","datavalue":{"value":{"entity-type":"item","numeric-id":470025,"id":"Q470025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$8784DBA4-7F46-4FDF-AAAF-6B5DDEC05D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de6837c1039b580a2b129c1e17dd7bde403e279","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$3F9961BA-6E54-4A11-B98D-EDC9C1AA6210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1fcaf801699e340ab052c7ce961980dd3177c0","datavalue":{"value":{"entity-type":"item","numeric-id":5307482,"id":"Q5307482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$087861D5-A9AA-47DF-8F9B-F52686E400FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f918329ff031410d20a3fe2174c15442be0a5e99","datavalue":{"value":{"entity-type":"item","numeric-id":1125424,"id":"Q1125424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$3477C990-C5E7-42B1-874F-456AF0E690C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$779446D9-5BB0-4176-9E12-AFD3F0E9FAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$DFCA1424-0E07-4019-BF4B-72B59687554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d395370c1fe6605d4158da3899359483781c54b0","datavalue":{"value":{"entity-type":"item","numeric-id":5710656,"id":"Q5710656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$BC118DB2-003A-466C-93A9-F7B2365D4682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36c54329eece6c81e4341e8f4350487d789a74","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$6E2A9132-98A5-48EB-A9BA-E72B2B9CA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55dd72ccd6eea21c1911ada7cc05d5fbd3a1e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4738353,"id":"Q4738353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$3E41E020-08B1-4D89-BE7F-3DC177611A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2912cb6352cc0030422f8213b242952537b92aa","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$D7CA48AD-9013-4E35-A12D-9EB31772B95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$B32A3DDE-ECC6-4F1A-BB21-C5C5D2F8026D","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":"Q736805$48F0B7E1-7B2E-4761-9CCA-6C8D84F5B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be54a74b6e196c5ea397ce63a96f656ed0929e","datavalue":{"value":{"entity-type":"item","numeric-id":968306,"id":"Q968306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$EE4A4B62-52B1-4C94-9829-BBAB7A48D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736805$5AF55E2C-711C-4A93-B9DA-D2967DD37C04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7abf924a7149b4d5add3609854a60242379c7c16","datavalue":{"value":"10.1007/S00165-013-0279-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736805$AC4B8472-A8E3-433B-BDA6-9BF080C51547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32640d47148b666d0ab05cbf243533169262b3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1ad51c02e2f2c91d99d423310dd6c0324d1c33","datavalue":{"value":{"amount":"+0.7562878131866455","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":"Q736805$BDBE779B-69BD-48CB-A28C-8CB189F6D467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf7881d097220ea1164ca18599b3f8e2eddd989","datavalue":{"value":{"entity-type":"item","numeric-id":3434650,"id":"Q3434650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b965f5f086a939d84ed22fb53b1bc41a5c7fc8c","datavalue":{"value":{"amount":"+0.7474939823150635","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":"Q736805$6C90FBA0-4BA2-4CFF-9B36-CB832CF9F7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cebdd37f381f4a190cc4afb5629eb7da31424ee","datavalue":{"value":{"entity-type":"item","numeric-id":2898783,"id":"Q2898783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53c72ab029b192dc73f8d8f011ccd658f295e2d","datavalue":{"value":{"amount":"+0.7331632971763611","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":"Q736805$425F4D96-FBCB-4BE6-909D-FB8E1CBC1644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a088a186a88552cde4e0c0da52966bfbb55c99b7","datavalue":{"value":{"entity-type":"item","numeric-id":4738353,"id":"Q4738353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55cd99287d6e619a17491c3569c45af63035746","datavalue":{"value":{"amount":"+0.7257006764411926","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":"Q736805$84DAEB30-4F67-455F-81A5-55F4F62E4043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2fa7a92f9ed98899348c2a21e38ca7659395de4","datavalue":{"value":{"entity-type":"item","numeric-id":4577106,"id":"Q4577106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ddb2b8c6fd152cc67ab6b1d87986cb5695e07b","datavalue":{"value":{"amount":"+0.7115440368652344","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":"Q736805$E44568EF-E167-449B-AA66-B6D5D205D830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Test-data generation for control coverage by proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Test-data_generation_for_control_coverage_by_proof"}}}}}