{"entities":{"Q2270684":{"pageid":2281427,"ns":120,"title":"Item:Q2270684","lastrevid":43793118,"modified":"2025-11-14T08:51:40Z","type":"item","id":"Q2270684","labels":{"en":{"language":"en","value":"Formally transforming user-model testing problems into implementer-model testing problems and viceversa"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5588208"}},"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":"Q2270684$2BF72E78-812D-474B-9414-3AC7A450FA76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37fa7f7e570ca6ee6187c5c906da60bd7f7ff5a3","datavalue":{"value":{"text":"Formally transforming user-model testing problems into implementer-model testing problems and viceversa","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2270684$9CA62394-824F-4F01-8143-283CADCDD314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77507d4832f4e542fcbab6cf157a42f5ecc2399","datavalue":{"value":"1175.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270684$BCAFD5FE-8602-48B2-85BC-656471647C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b3bffa6fbf7f6831a3a10cbbf7e93f4184bb372","datavalue":{"value":{"entity-type":"item","numeric-id":2270683,"id":"Q2270683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$59A65F0F-400F-4EE8-BFAD-F7EAC32D4681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1b3e5fc32ae92a04c89fefc3fa71295928a059","datavalue":{"value":{"entity-type":"item","numeric-id":898614,"id":"Q898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$8A95CF25-41E4-445C-8CCE-490A4ED98DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$E2B41AF4-E1F3-4CB3-9ED0-A88A6D3C5820","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$26A4B258-AD2B-4273-B441-CE2F6B7D9443","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f191e7d4ebd393c61f09a43d259edff69ddf9ad2","datavalue":{"value":{"time":"+2009-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2270684$74AD701A-9FE6-4E9D-B0D0-3CBF98C641A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270684$34AF8412-6D2D-469A-B71F-E92F7EEFEC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06153781018d4961635305ec40171b8be482481f","datavalue":{"value":"5588208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270684$8407B920-CF97-420C-AC2B-D4EAB3739238","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270684$75DBF523-CB4E-44AC-A994-C14D4E3F3ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90292b87a36181f9503a8158487b25f9825e092c","datavalue":{"value":"user models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270684$C056BB74-152E-4E6E-934F-B9DCCC5422B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e97d51bab43315acd8e222b01fd63f260331d5f","datavalue":{"value":"fault models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270684$38C508A5-A091-4DB0-8955-58819D925662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270684$1F9AEC1E-B002-42A0-B4EA-8602904B778A","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":"Q2270684$3FF873A9-2C6D-4D84-8778-50D4DF9A4D38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36c090c22ef7424fba77909b9f2c01426fd54536","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2270684$1F0B46B6-79F0-47FA-9431-9A0CA612CA12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1fdae378c1dd673fcca0984b07aeed85d0274eb","datavalue":{"value":"W2092701038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270684$80BBC9D9-BF1B-4706-86DF-96C0F3A50C0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c81ca369994504c08b14023d401acfb3a7caee2","datavalue":{"value":{"entity-type":"item","numeric-id":2484973,"id":"Q2484973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$F6226343-CFDB-4139-A52E-FFE2C51DB097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0d944de5134cba5441f0e4f3e611aa83f7c905","datavalue":{"value":{"entity-type":"item","numeric-id":4532083,"id":"Q4532083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$0DBE755C-0D98-4F70-BFF7-C56E31210BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ae0baf0511c40b799b8196f88b36572dc46420","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$EB1A5331-F295-4353-A97F-933FA7D6FFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$0FC6F05E-348D-4D5C-86B5-5A8DB75C60FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296125ddd7b1691787467ebb50bcda1e93e6e3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4131608,"id":"Q4131608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$9084AE0A-EA3D-41B7-B6C3-8D4B9167673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf957211bd78b94adca7c6bf9257ac55b9b4ccce","datavalue":{"value":{"entity-type":"item","numeric-id":3434656,"id":"Q3434656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$37EBB89C-AA44-428D-A104-CAECC6E33C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe00245518b1e42a94d5e740be5d81946ede20e","datavalue":{"value":{"entity-type":"item","numeric-id":3613092,"id":"Q3613092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$8523F29D-00D1-465B-86B3-4FF4DF216DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88634057391c15bdf90f5f3e64269fb32b047644","datavalue":{"value":{"entity-type":"item","numeric-id":4532084,"id":"Q4532084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$D2CD20D9-C702-4D5E-BFA8-3213286897A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f0138b74842f30b947a85826312269b896e88b","datavalue":{"value":{"entity-type":"item","numeric-id":2469152,"id":"Q2469152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$E97BA623-2CAC-4B16-87CE-6D64D03F6FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270684$DC55297C-4629-4EFE-8CF8-FBB9AB588F20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f122e80394a4b7379e012b16fdd63ef2ea0574e","datavalue":{"value":"10.1016/J.JLAP.2009.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270684$B849D569-A119-4C91-843E-A8E5DE8AE800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778cac7f939c6491c559f542a882e442d5433fad","datavalue":{"value":{"entity-type":"item","numeric-id":2507781,"id":"Q2507781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d899af7efa199c09d0541399e6a3bd0c6cb104b8","datavalue":{"value":{"amount":"+0.8501611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2270684$8A4FAAC2-7E4A-40CD-AD77-EC654E26F76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb6ce39440f1c671037ae090553c4cc4273839a","datavalue":{"value":{"entity-type":"item","numeric-id":3384883,"id":"Q3384883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61191a26b0f192e364cfb347b906519f19e504","datavalue":{"value":{"amount":"+0.84982926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2270684$D5E96334-A16D-4258-9B36-D980E9D7E5CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2270684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2270684"}}}}}