{"entities":{"Q2900178":{"pageid":2910903,"ns":120,"title":"Item:Q2900178","lastrevid":51516383,"modified":"2026-01-18T14:35:36Z","type":"item","id":"Q2900178","labels":{"en":{"language":"en","value":"A first step in the design of a formally verified constraint-based testing tool: FocalTest"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059075"}},"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":"Q2900178$3397CE34-5FA8-4587-BE9A-F0236EA6E39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"927e47f78e72d7907d0873e1e736c39dc865fc01","datavalue":{"value":{"text":"A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900178$89343517-1838-41F1-9770-FA4B661F5A32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b78728b939c4621d2054cf2fc5ecb9fc2888c26","datavalue":{"value":"1354.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$7ED7910E-041F-42AC-9084-C8A197D962B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae312e8a3ce19e085c242484b45a2e70cd14c66f","datavalue":{"value":"10.1007/978-3-642-30473-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$8E868A2F-CA5B-401D-B30D-C085685C84B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b13fa98e963119075163633812f8ab89bf71f97","datavalue":{"value":{"entity-type":"item","numeric-id":2806862,"id":"Q2806862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$10198361-6E78-4110-AE8E-25C3A5262D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8c40e2cd3207dd1d19085f0b79e8fee7be86ced","datavalue":{"value":{"entity-type":"item","numeric-id":1624591,"id":"Q1624591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$224F5E12-9235-4491-A571-BF5291BF5EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b2644a80507c7989343f90e5f2508e0b5d93ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2767074,"id":"Q2767074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$E1CFAAFE-4B72-441E-AFEB-2E34990ADE55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$04CE70A0-A912-4C5F-8B12-866ABB1758FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900178$68179FB8-1A92-4E89-BEBA-78147FB153CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$3C3949AA-DD5E-45CE-893A-3ED22496BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$B74BB797-D4E3-4400-9397-371A09EA5CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$A768CF86-BE24-47EB-B848-ECD931615E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$92E1A012-C873-43DA-A9AD-579F6590F911","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af32780f293ee2babaf0365e3db6fe2a0d1186c6","datavalue":{"value":"6059075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$B0C81C70-4872-4439-84F0-0A4A275CD6EB","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":"Q2900178$3F29150E-F622-4615-9939-0CBD27804B57","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":"Q2900178$F25FC40B-5FA0-499D-99E0-B0D3913E1A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5c8afb5dc8cd98f9046932a2382466468a27c397","datavalue":{"value":{"entity-type":"item","numeric-id":19310,"id":"Q19310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$9E9F2966-587A-44EA-A321-3E9EC166B4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$46B54BBC-5C80-4D19-81DA-C22D9F0CC3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$AEE43B96-11FE-47E2-ABEF-D11D30A1D7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900178$07B6F195-2132-4DB2-99CB-5DBEBAF1D46B","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":"Q2900178$8CEC5B2D-D1EF-4503-83C4-A3954D7D3792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bad005bc8179d142f21091dfae8a81994320a31","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30473-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900178$EA9EEAB5-8574-44DF-8D4E-97EFB7C131F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989b771520bc8b947b2b7914724147d328d40ff0","datavalue":{"value":"W196734950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900178$A4F84B01-A5EF-44AA-91FF-9521F97125D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e491e82f1872933322ce8cf45b881a1e9ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":3558292,"id":"Q3558292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897d9ae9d3dc24257f3dcaadd454d611b662578c","datavalue":{"value":{"amount":"+0.718559741973877","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":"Q2900178$B9828D5D-F3A8-4511-8AC8-13D854FFF411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543332a7b5a334c27aaccf6251a556a51f5a3872","datavalue":{"value":{"entity-type":"item","numeric-id":5458812,"id":"Q5458812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd3af9aba690b11222bcb082c4c867c60981571","datavalue":{"value":{"amount":"+0.7011466026306152","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":"Q2900178$DE91D73C-4FB3-4A65-AD54-3A045473A8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054082cfb3f85b413ebe279f44bf106298177731","datavalue":{"value":{"entity-type":"item","numeric-id":5899058,"id":"Q5899058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260f1ad91a66312a4e4ae34298d9149ae6d7504f","datavalue":{"value":{"amount":"+0.7008770704269409","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":"Q2900178$43A9D824-EAF4-4E9C-A96D-08F49CA4B3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc91f1454956aca19f20dfeb4ee46bd12b3566c9","datavalue":{"value":{"entity-type":"item","numeric-id":3458885,"id":"Q3458885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3ea412ecca5034e337d1ed2eb3fca174ef7716","datavalue":{"value":{"amount":"+0.6897972822189331","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":"Q2900178$089781EC-E1F3-42BD-9257-050B320BD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750a1096673d9f53261b1b3cb2b7979104dd2d24","datavalue":{"value":{"entity-type":"item","numeric-id":2945645,"id":"Q2945645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0d5324378550ec8b48d10a95506210e3889dc8","datavalue":{"value":{"amount":"+0.6878330111503601","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":"Q2900178$DBAC7E74-6A37-4215-B472-A60EE5970C87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900178"}}}}}