{"entities":{"Q5710655":{"pageid":7740209,"ns":120,"title":"Item:Q5710655","lastrevid":48605653,"modified":"2026-01-05T08:58:31Z","type":"item","id":"Q5710655","labels":{"en":{"language":"en","value":"Formal Approaches to Software Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235322"}},"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":"Q5710655$5C273412-DF13-4FA2-A052-F92DAF978267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2823be3e92617eccf109dd592f2a5ccf1d012c33","datavalue":{"value":{"text":"Formal Approaches to Software Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5710655$D62FD6C8-99D0-427E-992E-8FE458E253BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82922af55e575c6c641536c1716ee8ec11c024fc","datavalue":{"value":"1081.68567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710655$C66C438C-DDC2-4DDE-9D93-011ACA9E1719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06d2aa197fa2c2b1937a05573bc5eb03ba8a8dcc","datavalue":{"value":{"entity-type":"item","numeric-id":732250,"id":"Q732250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710655$3F324FF0-154B-46E0-8790-C741B1281F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"390566b3825347c0fceb567d3249945999930de3","datavalue":{"value":{"entity-type":"item","numeric-id":4253351,"id":"Q4253351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710655$58E60E2D-D677-4A41-8A8E-15685B49FC1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710655$2711C951-3E1E-4140-AC1D-9D53F37CCC5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cf0995e57103f17985607cb6f7b3cba7b12f2be","datavalue":{"value":{"time":"+2005-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5710655$8957F072-E320-471B-A964-CCF481343D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710655$C72C8D09-7135-431A-B9F8-569F591DD7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710655$03D63A51-D3D5-436F-B204-6E7A139259BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"843a8c67bcb2d0f0cefc187a50b97188ce5913bb","datavalue":{"value":"2235322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710655$9299EE17-22BC-48F6-B8F6-F183DA11B771","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1cfd3516f50b4c0c78b0b606bdd11ce9fb503e","datavalue":{"value":"Testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710655$7CD6A4F0-24BD-4954-ABF1-66A14ADDAC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16598fbeb33019b899b3b435c193550cce0ea327","datavalue":{"value":"Real-time System","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710655$F0BE30CD-8791-4D30-A1A0-63FE970E9CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e688283caae3ee1278d17923ed78ab5808d8b1","datavalue":{"value":"Deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710655$176F9E46-F890-4734-B234-7FA218F67B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69b01800308ef7ce110fe8bf074dfef390f74ff","datavalue":{"value":"Timed Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710655$B1F01EAD-E84C-40D0-9A27-58C4080EB5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8ec77778152dd7e2d114f960978bf005c1c1c8","datavalue":{"value":"Rational Presburger Sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710655$945B369A-14BE-4A01-ACA7-1DA9FD89E92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902ee94d81cce40bf14e05115fc748fee0b316c3","datavalue":{"value":"Communication Protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5710655$3F2507C9-55F3-4391-B222-3CB1624F8922","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5710655$93D8831B-40D4-41FD-BFB1-B47A9380A128","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":"Q5710655$60B599AC-C9AC-4A84-A843-F6DF91A39CCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc24cbaed3b9db683891172f1cba9122ab1b403f","datavalue":{"value":"https://doi.org/10.1007/b106767","type":"string"},"datatype":"url"},"type":"statement","id":"Q5710655$028DD8E9-2870-4E35-801E-EAD1DB3CC91C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4566d32fdba99f29a60d81fd1cdf1b0e45a65763","datavalue":{"value":"W2502633158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710655$B5C35E79-8BE1-440A-AA38-67F9B2896A83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd1a3111ae5803aa451f2b11f377717c04103221","datavalue":{"value":"10.1007/B106767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5710655$ED43E5D0-EA2B-4372-A9A3-A1BFC96E6132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54de1361bc4df95c3cd4ca0358daffe40d7c11bb","datavalue":{"value":{"entity-type":"item","numeric-id":3610913,"id":"Q3610913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9bc94f3fc8863cb78396633fc1a31055b3f745","datavalue":{"value":{"amount":"+0.7160234451293945","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":"Q5710655$0A742A75-3176-4A35-A04B-4FD4EC547D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06eadf5cece38f4be57d9e92b1ba825d1238e999","datavalue":{"value":{"entity-type":"item","numeric-id":3431097,"id":"Q3431097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77481ab311a741d614b98174447229074ce09e06","datavalue":{"value":{"amount":"+0.7022265195846558","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":"Q5710655$63E1CE4C-A7E6-42FE-915E-D0D4D5719B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3cf46d6cb6f01d59305cc3580a05a3fe756b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3179417,"id":"Q3179417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ebedc5757466303905a8a6e9b3c8bc6c1e1877","datavalue":{"value":{"amount":"+0.6821181178092957","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":"Q5710655$3A12EBF3-E32D-4E6C-A37A-DF075CB10200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ffbf24666ffbf4ad7b0ecad418532d312c8a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2851073,"id":"Q2851073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e575fb928dc9f9c9d50ca29694967e845750dab","datavalue":{"value":{"amount":"+0.6649155616760254","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":"Q5710655$E3433B1E-94FA-43A9-94CB-DB718F5B41F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8bdcafd5bd160dc321ed4081b79edfa1dcc528","datavalue":{"value":{"entity-type":"item","numeric-id":3719808,"id":"Q3719808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12430ab04eed9fb8a9961756562395e286c29543","datavalue":{"value":{"amount":"+0.6616817712783813","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":"Q5710655$4F5B7EB8-5419-486F-B8A4-F81E6682F702","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5710655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5710655"}}}}}