{"entities":{"Q2708951":{"pageid":2719690,"ns":120,"title":"Item:Q2708951","lastrevid":82799267,"modified":"2026-05-06T22:06:43Z","type":"item","id":"Q2708951","labels":{"en":{"language":"en","value":"Bisimulations and behaviour of nondeterministic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1584763"}},"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":"Q2708951$08B39D13-620A-4E5C-B73B-74675C20954D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b0df1aa1d9431c5ba7589b37be536a81252f9a","datavalue":{"value":"0978.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708951$1A6FB2B7-B539-46BF-BB23-3066A57FEAE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5b8b65ea644a235fdb1fd578198c73ab8872b16","datavalue":{"value":{"entity-type":"item","numeric-id":714809,"id":"Q714809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708951$EED899A2-6CE7-45E1-AB8A-EBEF6AA7EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e9fd827f0c306dc6fc60932527fbe8faec3e49","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708951$28557659-AD24-4A1B-A12D-D68DD61A7918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6922bf4f48af58db065498669d85c0a2b89262a3","datavalue":{"value":{"time":"+2001-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2708951$3713DCC4-C843-4995-9F2D-78506F19803C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708951$B4E08C46-118A-409C-AC52-E8873981E40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708951$19B91C94-D078-4D6D-8061-999108092062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c482ff11e97e9a8655ebb5e590630e068d4e5356","datavalue":{"value":"1584763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708951$E823B0E2-988D-4F9E-8706-CB879E153792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abde220793268065a5dcbf29c614de31957d669","datavalue":{"value":"nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708951$E16C56C6-5351-4394-82A7-68C958E4AFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708951$7B0EE736-51FB-4D54-B254-3A49170EEBEB","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":"Q2708951$871C53C7-4689-4093-8F60-B72369D5A8C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5851881f07f318a9f44b0c1386c4489299d151d3","datavalue":{"value":{"text":"Bisimulations and behaviour of nondeterministic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2708951$8288128B-A69E-43B5-9926-9E4D429B6FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ea6bcd0679d9cbf793944f181f51dca22e89e6","datavalue":{"value":{"entity-type":"item","numeric-id":2449045,"id":"Q2449045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87984a2d0d6fa6de7be50a00bd88006cdd5bad79","datavalue":{"value":{"amount":"+0.8538335561752319","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":"Q2708951$5FD96EF6-A2C2-4352-B6E6-6EA7D11B3128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b57c19bf12472ba0e1ebfe14a41680e7ea6e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1575547,"id":"Q1575547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8fee7779043277ec017579658d29c8adbe7bbe","datavalue":{"value":{"amount":"+0.8451585173606873","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":"Q2708951$ED9BAE77-D47F-4236-9CA3-D99EB41D62FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94193fdfcc9762273fd81d44d2f64a9b09023b1","datavalue":{"value":{"entity-type":"item","numeric-id":903611,"id":"Q903611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe85b9cc533c2f61781b64f6770c58b62fb68f8","datavalue":{"value":{"amount":"+0.8245396614074707","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":"Q2708951$0280D06D-8D6B-4337-A0A0-B7AC96CEE837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77d3512c1661ec8cb2118a623a8073af7ae32dc","datavalue":{"value":{"amount":"+0.787667989730835","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":"Q2708951$7420DD16-653F-4570-87A3-4E6C8492345E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3f2d4eb311d382e89bd2f23da4bb962dc4fc45","datavalue":{"value":{"entity-type":"item","numeric-id":3503087,"id":"Q3503087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d9dc127aa771b83e907c7b3ad7b7a2c6b4b0f3","datavalue":{"value":{"amount":"+0.7760418057441711","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":"Q2708951$E0981D93-4E4E-49C0-9BD6-5FEC2C8933F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations and behaviour of nondeterministic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulations_and_behaviour_of_nondeterministic_automata"}}}}}