{"entities":{"Q5030203":{"pageid":7059780,"ns":120,"title":"Item:Q5030203","lastrevid":54225581,"modified":"2026-01-26T12:16:15Z","type":"item","id":"Q5030203","labels":{"en":{"language":"en","value":"Combining slicing and constraint solving for validation of measurement software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474241"}},"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":"Q5030203$F75AD2EA-DC96-4777-9218-F10EF3F7CC3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad54c2fa81ffdada018398b0e24a265159acdfea","datavalue":{"value":{"text":"Combining slicing and constraint solving for validation of measurement software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030203$FB04C257-E194-4672-B4C9-952642900E23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83e829aa07e66cf9d59b2e5f407fb85fbe23a941","datavalue":{"value":"1482.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030203$0F64826E-D1E0-49B2-B625-29371F3135CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f51e87788908145e0443896080c5fe067c7e1a8c","datavalue":{"value":"10.1007/3-540-61739-6_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030203$D98C10B8-54DD-4D4C-AC98-74E5B8E4FBC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494a70ccbf849122497fb9971bdeac88cc571f12","datavalue":{"value":{"entity-type":"item","numeric-id":918719,"id":"Q918719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$603EAB5B-0E01-4AD8-8D53-D03A153EB844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$0868E3A2-8CA1-47AB-9757-86CCDC70831F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030203$960D0F5F-BD16-439E-B0B5-676795E5F329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030203$D8204DAF-F3EC-4B8A-9912-876166CDCD23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"857c2e9fd7ff537dcb2d60ff38e52db02fd87adc","datavalue":{"value":"7474241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030203$9326974E-AB6C-4C79-97D6-956B8691307E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030203$130C9D6E-C483-40DB-94DA-613F6F88E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030203$6659B0E0-908E-49F2-BCE0-FA2987DC5567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b605eb1dbfd52af22c15c0d0523a52cfefac91ae","datavalue":{"value":"measurement system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030203$C295B8BF-FE5B-4CCC-9DAF-DF433288A527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c779b888b0bd4f6794cdfbe0b053faf49f632736","datavalue":{"value":"software validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030203$EE2F14A0-FD30-4943-8599-22082C0254C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"221b42193e0c7a6d1a0d13036b71b15ba32b955c","datavalue":{"value":"path condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030203$B35862DA-F829-485A-9626-24DB3AF5A1B3","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":"Q5030203$6CC47BEC-BD73-4E3B-A480-AA14CC63479B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b093628fc479be82ab06f4d16baa250dc8bf1a5","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030203$50D0470C-6ABC-4E0B-8391-06A675FFD031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01ebe517654c0ef6477c5fa5aab3793fb1fa005e","datavalue":{"value":"W1533386851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030203$1B589814-570C-4405-AD82-8ADF1438790D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$D642AB37-804D-4116-AC21-F86E2A6DF099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$5A92011C-5ECA-448C-A8E6-C8CC46D4187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$13A21A8A-C643-4CEA-A258-AAD95C734A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c69fb6690ea12babf66d1056f6eb922ce4ce09","datavalue":{"value":{"entity-type":"item","numeric-id":4352540,"id":"Q4352540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$4CB8AD41-2EC4-4BB4-BABD-304B272D51BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3fa56fcf97a692c1ed27b4b50802e1ba54c7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4288820,"id":"Q4288820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030203$7BC7EC56-EF47-4BDE-92C0-F6BDC3D53A19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2284c05c71538eb3d1562a85cd41100c59dd3fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e166143e63ad8076035dc8367f98186ae9acd583","datavalue":{"value":{"amount":"+0.719082772731781","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":"Q5030203$B52D6664-75D2-4D6B-9C1B-8E080A07B4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a607bb74a48c654de505e08b7d18422fd7d7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1857275,"id":"Q1857275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e77337c54b959abbb30675da2b57b8a03e3899","datavalue":{"value":{"amount":"+0.7153562307357788","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":"Q5030203$652EE395-4ADA-496E-B4BA-619CD65375D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fcb727a15f3632bfb1837223b68b485fb06587","datavalue":{"value":{"entity-type":"item","numeric-id":4913442,"id":"Q4913442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fd5cc1c474df43765f1cd58e7c389c3eec4fd7","datavalue":{"value":{"amount":"+0.7126631140708923","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":"Q5030203$E49359CB-C9EC-415A-8D5C-8D291C268B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a4a2b0b5ef15c88b928687d511280ced492689","datavalue":{"value":{"entity-type":"item","numeric-id":682366,"id":"Q682366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7c9ed8a27004fba1887a97706cdcabf3a06ec8","datavalue":{"value":{"amount":"+0.7114686369895935","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":"Q5030203$929476C7-A841-4EEB-8A8B-B29CF2D773E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dab78231c65bd628b005c24d73a05991c00907f","datavalue":{"value":{"entity-type":"item","numeric-id":2801762,"id":"Q2801762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2590e4d3c7936be82f1e6655d782316d4f051e73","datavalue":{"value":{"amount":"+0.7095559239387512","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":"Q5030203$8FF33243-17D9-4DFF-92C3-D29C8C7CA690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030203"}}}}}