{"entities":{"Q764291":{"pageid":766140,"ns":120,"title":"Item:Q764291","lastrevid":64161063,"modified":"2026-04-11T18:03:05Z","type":"item","id":"Q764291","labels":{"en":{"language":"en","value":"Approximating Markovian testing equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014289"}},"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":"Q764291$EA994C8B-8728-4D10-9048-CE54F9F7F934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5837f00c875970895be2fb5d26260fdb7b5e84ab","datavalue":{"value":{"text":"Approximating Markovian testing equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764291$6AC27219-9EB9-4CFC-9F6E-F72F246126B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee92055423134f58c4ec035539d6209511e3dbc2","datavalue":{"value":"1234.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$C233B0F8-CA95-4D69-92FE-1F539D66FA73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55576c79272f5f0f79d06109afcf6be2f685239b","datavalue":{"value":{"entity-type":"item","numeric-id":764290,"id":"Q764290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$58C72A30-0C36-4C1C-A885-9BF811A06C3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$BFC61A27-5B5E-44AB-A013-0C733C70934C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764291$CB50C767-479F-48D5-B685-1574FE948077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$660E9A9B-86DB-4D65-BECA-5D2D343E4925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$9B397620-4416-48E9-A5AF-99F52FA6DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$A59B9274-5980-439C-A0DA-E8588B6824B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bb5fe33c3e0a8c84d80ee0d5c9ac33f4aa9f9b1","datavalue":{"value":"6014289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$DCE4D6C2-EC3D-45BA-8D27-81282C85C57F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4083b8ba5e9e038082dedf5b71526a524f193cb","datavalue":{"value":"Markovian testing equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q764291$C8DCDE92-101E-4B45-96EE-D42739B8003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q764291$0A8D7896-BA11-4012-B0C7-7A36FAA1CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916a166f8df7c99f30909397cdabba6728ff4932","datavalue":{"value":"approximate equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q764291$1970CC6A-D0FD-4E0B-A1DC-7F590228079A","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":"Q764291$5BDAEC40-5CD9-42F6-9E05-1918A1FDA513","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0cab4820ca8229dd3eb65a241c0ce29054ff97c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.07.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q764291$A57CB572-3473-4064-8076-26D7E115EB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b493e63d83ab57c325314023753983b70d8953e","datavalue":{"value":"W2017994823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$9472CDE9-C404-47D7-812C-3E7769DEE585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0e4ee61cb1dc09979fba5f56f0b1160ccd8fa8","datavalue":{"value":{"entity-type":"item","numeric-id":5151030,"id":"Q5151030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$CB5342CB-4B37-41AA-A837-1DCEE6C6AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586a71b3d8db60ce23a83c6632d862c95fd7cfbf","datavalue":{"value":{"entity-type":"item","numeric-id":3394898,"id":"Q3394898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$491360BB-792B-4BBA-8066-D726CFB3F514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cf0a407ae8dca0a9e25d616e46dbd255f6d7b","datavalue":{"value":{"entity-type":"item","numeric-id":5949499,"id":"Q5949499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$C72EC845-C8DB-4A65-9C78-F025BDD09C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a005a09619e3a95c7a8fb372b338dab77bde28","datavalue":{"value":{"entity-type":"item","numeric-id":2760243,"id":"Q2760243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$8CFC1336-E95E-49E0-98DA-E2FAA8AA8B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ebbdbe489d732ca60b412ff40826adba84b496","datavalue":{"value":{"entity-type":"item","numeric-id":5321675,"id":"Q5321675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$F59ECCAC-DA5B-4980-86EB-07A72A870B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$A8AC67FC-CBB1-4F96-8F27-D22C2C5FDA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$FDADA882-24C5-4704-8CBB-E32CBD34B02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13b7afd97fc9823e2db5db740eb0f3a0426fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$71015718-B3B6-411D-A9AE-15FF71853A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd30e72facb3a17c3ce130db42caf44e920c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$B02C46E3-D8AA-4A6F-959C-29A25F659A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5718dd49930491916235d0432e4851489c7fabe","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$F86BCD53-3CFD-4DAB-9471-6F8856793479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764291$CC502CDD-D015-4BDF-8354-15C13D676E42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c2b66d1b164ed47c9a83c0c8afa5f3f58e02b4","datavalue":{"value":"10.1016/J.TCS.2011.07.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764291$19B6247C-B230-4979-88EA-3D47CD51D5BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce4a751bbcaa16df203ea1be612a3445bfc17cb","datavalue":{"value":{"entity-type":"item","numeric-id":5151030,"id":"Q5151030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a019ad2cfa6dd5f64b5f79fbbb37d90b89af2b","datavalue":{"value":{"amount":"+0.8719808459281921","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":"Q764291$242F5DC8-A50B-4D2D-9E32-B2AE811C783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4c08841acf789af0d234460922d1b46847a259","datavalue":{"value":{"entity-type":"item","numeric-id":3084590,"id":"Q3084590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efd96114c99b568eb3f945fb0cfc480e7445c1e","datavalue":{"value":{"amount":"+0.7781702280044556","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":"Q764291$E340F8C0-A2E7-4C8A-8FDB-5F25926491FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe226d30db69f4f12ce742721e87e297f084ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4536610,"id":"Q4536610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6051d7babadd6198c9627d67a95fc346082f61d","datavalue":{"value":{"amount":"+0.7745283246040344","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":"Q764291$C1201996-ADF2-4A18-9255-F5995D77B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f610574d14bec823de2866cd0db7f286ab6a2424","datavalue":{"value":{"entity-type":"item","numeric-id":2373649,"id":"Q2373649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab677258ca14e8731a28d4ede4679611e146ebc7","datavalue":{"value":{"amount":"+0.7629604935646057","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":"Q764291$E10912D5-7E5E-4618-98BC-FAB0726D1D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305886efe3ca3c79311d968af48d42a86d0842d0","datavalue":{"value":{"entity-type":"item","numeric-id":5262954,"id":"Q5262954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7011539d0398d7e7407fae4d2b4fe156d120ad","datavalue":{"value":{"amount":"+0.7594236731529236","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":"Q764291$11349F09-4E8E-4233-8B01-B4D4BB0B258C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating Markovian testing equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_Markovian_testing_equivalence"}}}}}