{"entities":{"Q3525109":{"pageid":5555013,"ns":120,"title":"Item:Q3525109","lastrevid":49027198,"modified":"2026-01-06T12:08:08Z","type":"item","id":"Q3525109","labels":{"en":{"language":"en","value":"Model-Based Test Selection for Infinite-State Reactive Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344431"}},"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":"Q3525109$FC6E40F9-EE09-46D4-9971-2722CACD0407","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b70b09d3ae43a9f1659e9fcdab03338ec20828fd","datavalue":{"value":{"text":"Model-Based Test Selection for Infinite-State Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525109$64F58E89-6109-416D-909C-E2AE279E3398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627314564648a5e31b033ccf49bd4ccf7c4eedea","datavalue":{"value":"1147.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525109$0A461183-5C10-4FAD-A7E8-3B3E5DB3CF5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974d871bfb7b213ecb6e8599e6badad20c2e44c1","datavalue":{"value":"10.1007/978-3-540-74792-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525109$E88BB1FE-0802-4B87-B7E2-A3071B017B14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d283bfff41569929de0ba520942a031eb8bd107c","datavalue":{"value":{"entity-type":"item","numeric-id":435976,"id":"Q435976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$F59AE31C-A4DF-484E-8581-BF0DFC5C7128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$ABDED326-1DAA-4E5C-9BB9-8738676CE9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$A46B5404-3B90-4EA1-831A-74A3F7D0874C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$92D4C894-46E4-407D-A863-23BD7DFA352F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525109$065439BE-F519-452F-9AD0-3912BE8CC4F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525109$ECC0914E-57D4-4983-AD0D-F23A755B4728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525109$D04CA334-9D45-4F80-8E45-9702897868A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c93e3878091c41d8ac5e0bd85eb4fe252a3da070","datavalue":{"value":"5344431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525109$D8E8320B-032C-4854-AD71-0713738811B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"522ac9e16af5942f46389f39bdaa8bc8aa2b0c9b","datavalue":{"value":{"entity-type":"item","numeric-id":19319,"id":"Q19319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$1F9C5280-794F-4CC6-806D-B6C820428319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$3B4C94B5-5177-47B5-AADD-0AA0EFDACD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc67aaf98a5376c6763ef5a9658a3374acddf01c","datavalue":{"value":{"entity-type":"item","numeric-id":15466,"id":"Q15466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$57748B99-A3FA-47B6-A7EC-177E1F3F6FD6","rank":"normal"},{"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":"Q3525109$C93C3B7A-2B57-4F6F-AA37-66F06FAA40EB","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":"Q3525109$016492A3-CD9F-4C02-A089-A67FCA45B288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"802f54a9a41c6e747e227073160214518b7a7a2d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74792-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525109$83E580A3-D570-4BF6-A38D-9151B02C5DB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2638cecf92b616aa444bbf2053219d71b5aa07d5","datavalue":{"value":"W4244911877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525109$A7B6C5B4-5D57-43DF-A5B7-EB6B4F288CB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$2DD7798E-68FA-4794-8431-A61FD9A52262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b208af337273b3cba35d0e88b3769943625a88","datavalue":{"value":{"entity-type":"item","numeric-id":4472265,"id":"Q4472265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$2AEEA92C-4373-4CC5-9962-B706B9090A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$2E9BB756-81B0-46E1-8490-FF0380CE5159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9dc093817b6f13a523112475b3cc8ab5f06535","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$F056F64E-72EC-49DC-8917-CEC808C17F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604ef8968d4bcd633b623c6101922dfb32dc1b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4162634,"id":"Q4162634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$E1685DD4-5399-4B2F-8728-554BB83B2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a11c054d3df6fbeeeaa015764a3da98992fc5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1424999,"id":"Q1424999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$DBE772DB-9F8C-48E4-933D-9A3D76952690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052e3c3ca85396ceefcb39496b6f78ebff8bda24","datavalue":{"value":{"entity-type":"item","numeric-id":4942006,"id":"Q4942006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$EF785EEC-E9C7-4E02-B60D-71A157B90AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7db0a5fcbed8b8baae00bdaa9b5288b1ebbeb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525109$2943F641-4E1C-4923-A875-E60EC8EB0F35","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":"Q3525109$53F1ACD1-A3D3-47D6-9705-02835431CF65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f53371b1b85eb5b0f030cda44b74e420e63fb2a","datavalue":{"value":{"entity-type":"item","numeric-id":682363,"id":"Q682363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548f281054cf6152ba843c758564f40f776e840c","datavalue":{"value":{"amount":"+0.87205714","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":"Q3525109$9074F2A5-6E70-4A39-9C66-E7D2224C0A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d997db2c75be40411256060cc12512a16d21e30a","datavalue":{"value":{"entity-type":"item","numeric-id":2801763,"id":"Q2801763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548f281054cf6152ba843c758564f40f776e840c","datavalue":{"value":{"amount":"+0.87205714","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":"Q3525109$0935EA42-A90B-4265-BA2E-FD672CF9BEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd339a05005fc46f8bdced30c94e7ecfb18b31dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842624,"id":"Q2842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce5f8c22522ac090411c015b4825be027e7668a","datavalue":{"value":{"amount":"+0.85366136","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":"Q3525109$02192D33-D24B-4B7D-857A-7DD740CF10ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3457c20ee56d31db014d54becaaad09d1915eb48","datavalue":{"value":{"entity-type":"item","numeric-id":3012969,"id":"Q3012969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739fba60ca437d6667af57049f6d4b68dc311af8","datavalue":{"value":{"amount":"+0.85198134","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":"Q3525109$4EC1443C-C7DD-4628-9821-588750B60F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb837bfd504464e3c1541177eae591f99267c7f","datavalue":{"value":{"entity-type":"item","numeric-id":5086223,"id":"Q5086223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575be6ea829d731487f6feedb26350bd4fe6531d","datavalue":{"value":{"amount":"+0.8500081","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":"Q3525109$1EC1A769-4047-4A14-8EBC-F2E8FC7EEC0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525109"}}}}}