{"entities":{"Q5375295":{"pageid":7404869,"ns":120,"title":"Item:Q5375295","lastrevid":31887614,"modified":"2024-03-19T20:04:00Z","type":"item","id":"Q5375295","labels":{"en":{"language":"en","value":"Testing finite-state machines: state identification and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6936909"}},"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":"Q5375295$1B6BF690-C33A-456E-BC65-09F1D02B90D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96b2857364718dc92c22f9062c747e2c2cb4eb31","datavalue":{"value":{"text":"Testing finite-state machines: state identification and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5375295$D7C12FDB-CBA4-4435-80F8-B00CE4FEAF6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67339eedbc3a59c7eb43b0a0e73d6a305eb7a66b","datavalue":{"value":"1395.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$60D1C9AC-E02E-4AF0-B465-E43AE92C94CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48caa82af0451d98f9228dd86bb2d8de2bd22e1","datavalue":{"value":"10.1109/12.272431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$3A9CAED9-6966-472D-A506-44EB3B384B7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375295$D0D8FF90-A08A-474B-88B8-DB24FBE81858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96991e0a814f7bc32172a45927ca35ab5cd77835","datavalue":{"value":{"time":"+2018-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5375295$27B78A59-396C-4EA4-9B67-9255B615FA60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b9bc841b82281fde0ee2f569995bc3adf69f0c4","datavalue":{"value":"https://semanticscholar.org/paper/7b66fa6b859eac503906e2147980d5b47ba4d814","type":"string"},"datatype":"url"},"type":"statement","id":"Q5375295$54A3A877-D638-41C0-BE6E-395103B65F13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$9F3FA1CD-7BAF-4427-9F29-1A8156ECD7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$61CE49EB-82E3-42AC-A1E0-38B9CFCDD8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$62E44931-AA45-4416-B994-39E4013F4A06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7174ab046face342f86e1b235226c77d12be6184","datavalue":{"value":"6936909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$C18786ED-4798-4D10-B9CE-E9EDD236F0CB","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":"Q5375295$44EB804E-08FA-4EDD-AD22-26BD21C28FC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"928b1faaa2fd4073b2c5830db670d74694d99752","datavalue":{"value":"W2160282650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375295$88681D24-2D45-48A2-A403-87ABE6C032F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5375295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5375295"}}}}}