{"entities":{"Q6104375":{"pageid":13238682,"ns":120,"title":"Item:Q6104375","lastrevid":37530455,"modified":"2024-08-01T11:37:00Z","type":"item","id":"Q6104375","labels":{"en":{"language":"en","value":"Decidability of bisimulation equivalence for normed pushdown processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703593"}},"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":"Q6104375$E7BA3E74-0AED-4EE6-A83D-DED6C6AD7082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cec05c128fd79d41b556c434f40e4252ab11a2e8","datavalue":{"value":{"text":"Decidability of bisimulation equivalence for normed pushdown processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104375$4DAFE0BE-70A4-47DD-BDD8-12CB826D7479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8990b15a320c70deeaeaefa516b0ff7b6673060f","datavalue":{"value":"1514.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104375$337FF384-C823-4B44-A823-58D9E07CAEC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cf58824a85f408ade30261e533136f1a236ed49","datavalue":{"value":"10.1007/3-540-61604-7_57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104375$36D7FF89-D8A2-4B81-8555-A4922DD9D02D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$EDF660C6-F294-46F4-B461-E85BC83351E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40e977a827c62303d6a73bc259ccdb9bde4f6877","datavalue":{"value":{"entity-type":"item","numeric-id":6104361,"id":"Q6104361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$C3791784-BA52-40DB-8D40-33B4D5826D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104375$B8960D8F-6146-440A-AAAF-5309AB4F9096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104375$90CC4212-DFE6-425C-BDED-68108AE485C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39d46a22e676af05f4a3b878b3a8e69ea1457ab8","datavalue":{"value":"7703593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104375$DED5F81D-8442-46AA-894B-8988C698FCB3","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":"Q6104375$44E5724F-1E5B-44E3-9615-89CA1681A140","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55fca40e3c1768b414fd5d5ec775da99869ee7a0","datavalue":{"value":"https://doi.org/10.1007/3-540-61604-7_57","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104375$E7830080-67D7-4CE0-8964-A6A7D34D4713","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2757a6be6a6831af9471c8a38f3d523e71ac2f94","datavalue":{"value":"W4244180300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104375$3FAF8F0F-BFB9-4B02-A574-052A737DC979","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$E68FF434-2811-4577-94B3-9A4C34A88B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$49DEF84D-A2A0-4BEA-B308-B940AD545FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$F55059D1-66E1-463F-A8F1-5BE635E534FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$E9AEBFBF-5344-45A1-9597-87FC3B986006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$8B2DD145-AFB6-4A15-9DEF-095FADCB26D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b1a50c5e6446a4595b4c668f78c20866c1b879","datavalue":{"value":{"entity-type":"item","numeric-id":4028125,"id":"Q4028125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$6F3F8E2E-488A-4015-AC83-0C6B8D6CF01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$25355CA6-3E65-4884-8946-6D4E7C07BB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2bfcd0571c34a2c9a0b90939e40b9f7349d65","datavalue":{"value":{"entity-type":"item","numeric-id":1198053,"id":"Q1198053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$B821C00B-EDED-4743-B63D-F7E7CBEDB243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$41FA0E4F-0D22-4ADC-B656-C3F404503F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$FA5A184A-82F6-4646-9EED-76D10C410BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce511bd02960a809fd21ecf773460f1a6a507a7","datavalue":{"value":{"entity-type":"item","numeric-id":4942620,"id":"Q4942620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$AE18850F-2852-4345-9E42-CCAB75F46F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$6CBA26E0-C310-41B4-B192-060C2729AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104375$6420042E-8F3B-4727-97DF-F948827B04B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104375"}}}}}