{"entities":{"Q5317186":{"pageid":7346760,"ns":120,"title":"Item:Q5317186","lastrevid":48550939,"modified":"2026-01-05T04:53:38Z","type":"item","id":"Q5317186","labels":{"en":{"language":"en","value":"The Bisimulation Problem for Equational Graphs of Finite Out-Degree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2205882"}},"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":"Q5317186$E43691E3-0B47-4764-86E9-CE452CBC298C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"199c1068abf7b8496e4eaa74c72015535edeffa5","datavalue":{"value":{"text":"The Bisimulation Problem for Equational Graphs of Finite Out-Degree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5317186$20482443-CA9E-4C6A-805D-ED1E2925B293","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e728f536198a6051d03a186ac12d9525563074b5","datavalue":{"value":"1079.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$3EDD4B11-6198-446C-8BE7-8865FA1E004B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"195a1e7850fce4d58504773c8710527b010d3669","datavalue":{"value":"10.1137/S0097539700377256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$9C238EF4-148B-43CD-9C15-9D39E5413765","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5317186$EA95F2AC-1D17-4A8C-9893-2B709E93CF3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5317186$F07D04C7-5A17-4139-B9C5-2A75C10E9271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a79f3240b3d53af8285788f3205fcffa119cd953","datavalue":{"value":{"time":"+2005-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5317186$144B8D95-5798-4125-8904-7BE138061978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$EC0F46E9-8A98-4971-A10B-7AF8EB5FE627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$CF75991B-F7E4-4202-9C90-7C60744F787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$0B982230-1C66-410D-B479-476B5171212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$42AE0865-0512-4322-BDED-D4EE7E189BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$079C2B90-9BC1-4D3B-97F2-A094046D2E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$20DD7FBE-3736-4C9D-8F56-E86CBEF9AE33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54d2217cc9385bb27807449c242220fee1b23739","datavalue":{"value":"2205882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317186$992C9324-6D89-40E9-A8C3-9E8DBD474BAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$7E564BA6-6396-440B-8CF6-9627999A262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03169e49842f65e0dc8ba423a71d704acb809e44","datavalue":{"value":"equational graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$0BDE28FC-AD18-494A-9F8A-10FB252FCCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$A4679951-9529-4B07-9A90-B15EE0F13224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1cb2b612684f00acb2f33c541956eb74fe14f86","datavalue":{"value":"rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$C7E6CAF0-E721-41A4-AB16-C480B2F67BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b3a07be5722d50cacea4fa3abb02d837ff9ea1","datavalue":{"value":"finite-dimensional vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$DEDCAE42-AF82-4440-A6DC-2F3D8BF5A112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03e1f86edff6c769f850728f4b315573da87df0","datavalue":{"value":"matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$B2DA425F-7E6F-4649-BDD1-BD41B674F149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89397a8ff58989ce5f42180f0eae46452a2f2687","datavalue":{"value":"complete formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317186$44D4BEAA-80DC-40CA-9CF2-F62ED94D0357","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":"Q5317186$B5E07D0B-E0FA-43F1-961B-8744794D0763","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccdc897b623a6f8cef7ae042f1104ed9c4f267f","datavalue":{"value":{"entity-type":"item","numeric-id":4203808,"id":"Q4203808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89469802864648ba2f832d5c560834b7d1b83baf","datavalue":{"value":{"amount":"+0.7953853011131287","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":"Q5317186$07A2C158-49C8-4163-AA63-21C29D423515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f13139c7c1e688699842b67939174ea0db8261d","datavalue":{"value":{"entity-type":"item","numeric-id":4553282,"id":"Q4553282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8c90861c5e2f569a1ecfaef928d9e183b6f0be","datavalue":{"value":{"amount":"+0.7877334952354431","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":"Q5317186$D566935C-98EE-4AF7-878E-4CC4279E0047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c726c29954bca1020e375d511c4960b27f035533","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a57cd319e8783db280cc964d02dbce7736cc3f1","datavalue":{"value":{"amount":"+0.7778645753860474","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":"Q5317186$4CAB698D-08A6-470F-B8E6-2EFFB31726F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2684368addcf23d710ff784afa2fbcdbdb4d56f8","datavalue":{"value":{"entity-type":"item","numeric-id":5278398,"id":"Q5278398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474812fc73f2702eb2b3ef2bafe252dd5acdee39","datavalue":{"value":{"amount":"+0.7774298787117004","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":"Q5317186$D291077C-D611-4BD4-8E50-0FDF8535D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5627fb6c8e32ffd26bfa8c90e6de7d5acbca5f3a","datavalue":{"value":{"entity-type":"item","numeric-id":4205068,"id":"Q4205068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082df8e74de9a5a107fd1eeac5134b45a07ce50f","datavalue":{"value":{"amount":"+0.7653527855873108","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":"Q5317186$21F823DD-F810-4CEF-9E46-AE4CDA6901FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5317186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5317186"}}}}}