{"entities":{"Q4035238":{"pageid":6064958,"ns":120,"title":"Item:Q4035238","lastrevid":55235623,"modified":"2026-02-05T04:03:19Z","type":"item","id":"Q4035238","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176137"}},"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":"Q4035238$912FBA98-DEC8-470F-BB0F-E58426744FD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e874d9c8b13ca73af65207572a6b77da6fc3b0","datavalue":{"value":"0777.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035238$4CC148A9-3F6F-4B59-AE0E-8861EC59BCE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035238$02EF665C-2DC8-4DCF-B761-5FBC21E18B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035238$2C388AD1-B14E-45EA-A845-8459E213BF11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035238$B5A0548B-5DB3-4C4E-9B55-C08D8DCEDFD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035238$A86FECDB-1393-4629-A79B-AED1E2165294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035238$49498CC5-2093-40FD-B701-4CC00435BC7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca7fd4488a1c698e035531358cd3a0909243f762","datavalue":{"value":"176137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035238$311B6AEC-C0D6-402B-9519-271073FEA500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371d37c40626f90a0ee86c9c1279dae3bf5e6a79","datavalue":{"value":"\\(\\text{split}_ n\\)-transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035238$FCF48B96-4792-49D4-91EF-6C6BD0B982BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035238$ED09FC35-A52B-4A89-BCC3-D7DDE3AFCE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ff83f0093a3ff3545edaa0249775df6d206ad6","datavalue":{"value":"bisimualation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035238$9F8697C2-334B-4FAD-9641-E7CD9D0F75CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78799f3e9001737ecee5394d1519f30597865f1b","datavalue":{"value":"ST-transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035238$0216F420-80BA-412B-A3EA-3A488EDE29DA","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":"Q4035238$5FF3DECB-C15A-4A3D-86E5-62E777D1DB83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947ca883a7131fca1df295055475a4d7f83737f0","datavalue":{"value":{"entity-type":"item","numeric-id":1892889,"id":"Q1892889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203d7c4efc47cd6c6ab3c07bc16061e69d195010","datavalue":{"value":{"amount":"+0.8153573274612427","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":"Q4035238$C6870FDB-BC5B-4776-BB08-74058B5D609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446686e084e4b6d400195798b05af398ed746eab","datavalue":{"value":{"entity-type":"item","numeric-id":1923087,"id":"Q1923087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2667740abacaf23e4fdd5af12f2c912765f0e3d8","datavalue":{"value":{"amount":"+0.733100175857544","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":"Q4035238$AFE5103B-EDB3-4046-A78F-31ABBED3D846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f94e7d4fe61a281e7f9ae3c2b43e961ad3a030","datavalue":{"value":{"entity-type":"item","numeric-id":4223007,"id":"Q4223007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc263c4e6fb3ae5ef4a751273f3c9579fdd0de15","datavalue":{"value":{"amount":"+0.7318077683448792","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":"Q4035238$01F766E9-CD47-40EC-ADBC-E818BD568546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14183ee84e260f5c3f1aed661ce88181c9ecd18d","datavalue":{"value":{"entity-type":"item","numeric-id":4645217,"id":"Q4645217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f152691da7ac17a48b969a4f96caa7f05b254c9","datavalue":{"value":{"amount":"+0.7264804244041443","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":"Q4035238$74670027-F44A-4D89-A661-C317D44AC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2b7f1dd683cf0897e94d4c702d109808290651","datavalue":{"value":{"entity-type":"item","numeric-id":5310634,"id":"Q5310634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada2900881667375ef36563f30795abc14a8eae3","datavalue":{"value":{"amount":"+0.7247555255889893","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":"Q4035238$B4BE99D9-CC11-4E90-9FAD-F311884A8596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035238"}}}}}