{"entities":{"Q5167841":{"pageid":7197413,"ns":120,"title":"Item:Q5167841","lastrevid":94394750,"modified":"2026-06-05T06:42:04Z","type":"item","id":"Q5167841","labels":{"en":{"language":"en","value":"Bisimulation Equivalence of First-Order Grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312317"}},"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":"Q5167841$3C8E7E64-CB9E-4A36-8F8D-1270937E7313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8aac9d9e9552596e38c50e912fc7fcf725bda92","datavalue":{"value":{"text":"Bisimulation Equivalence of First-Order Grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167841$FD9A055F-3DA8-4319-A333-80C80E0E0974","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd8224ddfdbc20750e7f3f90454da60154b03ba","datavalue":{"value":"1410.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167841$11F3A61F-3214-43FA-B7AE-1C3D85E12E05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0d87d65ea29fde5166ee0393ddb9f6bce70854a","datavalue":{"value":"10.1007/978-3-662-43951-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167841$4C7331AF-4A24-495B-AE88-EB6D35CC1CB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167841$3C5E32D3-F5A9-49D1-8A44-8432AC08123D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167841$E0090426-5895-4958-8071-6C230D7AF6AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7c779e20cd67f5e1570413aa6a3b106767e97ab","datavalue":{"value":"https://arxiv.org/abs/1405.7923","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167841$F4D7E74E-8DB5-4716-999A-9D07A99349CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167841$351BBAA2-BC87-4954-B91B-C836CF25D10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167841$B718BE62-DD6C-445D-9308-274C3489461F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78a3ed037b61335a3aca7d6366c8bf69d50c916b","datavalue":{"value":"6312317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167841$CC65DFA9-001E-489D-9CA7-6197F9500FE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167841$794EF20F-4DF8-47A4-83A6-01419A57D5AC","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":"Q5167841$EE56D973-2610-4C62-A2D7-6A0A6BAE0826","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b87fd7616952df71e90982b5c2f759acf336a4e","datavalue":{"value":"W1502255017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167841$B161C232-2D66-4694-A6E7-8D4188D373FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae5c74ddfd059586fe9ce8f413ba770ab2490de","datavalue":{"value":{"entity-type":"item","numeric-id":4738295,"id":"Q4738295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac15d51102f255eb36dec07bd7fbdc2fd05d9c1b","datavalue":{"value":{"amount":"+0.9237263","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":"Q5167841$15EC32B0-9E8D-43FB-98B8-8324554BFC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3023abe9a5d93d0e80ac1cf8e7352e9a4fe0767e","datavalue":{"value":{"amount":"+0.91679764","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":"Q5167841$FB9CF230-0BD2-4B6B-BD5C-AF1450A16A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bd737eedf63b79f57973091767f637947e71d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208249,"id":"Q2208249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609d8d1268e9ae3804602bfe60a550082de76b6d","datavalue":{"value":{"amount":"+0.88164324","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":"Q5167841$931D07AB-4A08-46DE-9210-D781F8E652F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dc79303989aa61752309f92a0ce1ee6281a5eb","datavalue":{"value":{"entity-type":"item","numeric-id":2301358,"id":"Q2301358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bd6962df9495d32b4ee59fbb5483852c39a2bc","datavalue":{"value":{"amount":"+0.8800319","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":"Q5167841$89583B83-8913-4F18-96EC-96410B650B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc89ea02dd7742dcac5872cfb527397022746898","datavalue":{"value":{"entity-type":"item","numeric-id":4608615,"id":"Q4608615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bd6962df9495d32b4ee59fbb5483852c39a2bc","datavalue":{"value":{"amount":"+0.8800319","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":"Q5167841$CC6A552D-0404-41A2-BCCC-7BA3996E5753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44cc0d8cd4ab9ba05989603d2d990a275d011d4","datavalue":{"value":{"entity-type":"item","numeric-id":3584999,"id":"Q3584999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565bb58f0b5f122aa0e8154e43ddcb4498b858f2","datavalue":{"value":{"amount":"+0.8745623","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":"Q5167841$DF0D07DA-F542-40A0-ADFC-2157033E5F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396f6295143b5294fbcd031c88d0e986b251def8","datavalue":{"value":{"entity-type":"item","numeric-id":5883743,"id":"Q5883743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44203f50d77c08a54bcc3982fd2b0d3617d235d4","datavalue":{"value":{"amount":"+0.8740382","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":"Q5167841$24FD013D-D66E-4958-95E0-EE159DA4903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ada689019776028c161a5217567aebea8f95181","datavalue":{"value":{"entity-type":"item","numeric-id":6061666,"id":"Q6061666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26723a9b9be139874cecbc37996959b7f9c056f8","datavalue":{"value":{"amount":"+0.87403816","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":"Q5167841$31450D5C-ECE9-4767-A599-8AD7A3860E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fc763dea8dfc392bf18363fc4fd231839b153a","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62e5e89f80e0b92151bfad76ad3280931d0aa6b","datavalue":{"value":{"amount":"+0.8659208","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":"Q5167841$AFF870C4-9D23-46BB-A080-78B62E3B3D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a614adc7f290cdfef8757123d5bd3afe39449feb","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148f8a9d8f2e2a51169e07a92442d97c44c96fe9","datavalue":{"value":{"amount":"+0.86592066","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":"Q5167841$49DEF721-ED92-4C7F-A9BB-15A1CEAB0219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation Equivalence of First-Order Grammars","badges":[]}}}}}