{"entities":{"Q1317428":{"pageid":1328178,"ns":120,"title":"Item:Q1317428","lastrevid":70128525,"modified":"2026-04-13T12:37:47Z","type":"item","id":"Q1317428","labels":{"en":{"language":"en","value":"Deciding bisimulation equivalences for a class of non-finite-state programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 529882"}},"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":"Q1317428$80DECBC7-B09D-47BB-9739-9878EFC5DC88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24567b871e07204d1e8648090f184481bb5e4e74","datavalue":{"value":{"text":"Deciding bisimulation equivalences for a class of non-finite-state programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317428$900442C8-50C9-45DC-9A64-AFDC27302591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fc59e3b7f1337e3bd7d716d6c875f68a3cbae8a","datavalue":{"value":"0799.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317428$D7CB86A0-1CA3-401F-B94B-149C46B870F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317428$6DC9C073-5923-4007-A666-05C55F36594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317428$D2C40FBE-A1F2-4B3A-994F-03082CD39DF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317428$18F1E16D-175F-4827-9A76-7AFC74DF9713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0afca6352c2d92a71eb1b73f58dfc4af92f3fa9","datavalue":{"value":{"time":"+1994-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317428$7030874E-D83E-4E69-BF2B-71B60F0CBB4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54933a3c1828c1701d30b81619c01aec18489861","datavalue":{"value":"https://semanticscholar.org/paper/63ec76ee608a90cd9866058dc0550496ae96071c","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317428$85D0143E-C458-478F-AD25-94159C304333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317428$F1290CEF-BF9C-4F77-93C3-D0B90934F6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317428$93EFA49E-CFBF-46B5-9B60-DD99DA669092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cdbcea4310a49244017647b84af70886e153fc0","datavalue":{"value":"529882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317428$2F785173-D9E8-495F-930A-493B31A1203C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78408fbc497fcbe8bb75f63e78c8cb8bd8ba73","datavalue":{"value":"automatic program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317428$A8D29210-3E9F-4C1F-98E1-19801C59F014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8803596e208728c993cc468a147efae71bf80066","datavalue":{"value":"infinite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317428$FB15F1E6-DBB3-408B-BD7A-E9D86F5774D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317428$DA2D514F-6BD8-4FAD-87C8-00B2393ED023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b00b3a23da6bd1f1e4eb057095a3ec54f5c0d","datavalue":{"value":"observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317428$BE64D7FC-425E-4D1D-8A40-5EAE4A5F7B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317428$1470E3B4-61DA-4388-9D04-26FB30415035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317428$51FDDA9A-DE16-49BF-BCF7-396D1E9C81F2","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":"Q1317428$84708249-3E85-48BA-8092-1DB7F457B5B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e328494831c31365b86ac149f9eeaca389c69b4b","datavalue":{"value":"W1997387389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317428$AA9A5101-6907-4D10-8E11-567C2A66F22F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d9acc972bc72ee422ad93d6d04f3862be201866","datavalue":{"value":"10.1006/INCO.1993.1069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317428$1CA8AB9C-93E0-4ACB-8223-2E8C93CFE741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64ac996d8d977e7dbcfea0ab46e62705d873142","datavalue":{"value":{"entity-type":"item","numeric-id":5096175,"id":"Q5096175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75953b019414436de67b8e4c04e593d963c9fdf","datavalue":{"value":{"amount":"+0.9756585955619812","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":"Q1317428$9ED91463-DFD1-49E0-B0B6-12BCBF746B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044eef12825a4133cae596416e0358a3c7de3965","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89eab30356f0730bd68becebc7781fbbd7aab01","datavalue":{"value":{"amount":"+0.7517308592796326","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":"Q1317428$78081175-29E8-4E08-B836-D750DE871F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafe3332acd3ace951db170d26a0f8dff2aadb05","datavalue":{"value":{"entity-type":"item","numeric-id":5897694,"id":"Q5897694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd780d1a98e295949d5e203d98cf5d9bfcadda37","datavalue":{"value":{"amount":"+0.7501936554908752","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":"Q1317428$FA64DA28-E8EB-46B1-A36A-4CB8A40FAF10","rank":"normal"},{"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":"bd4cc7850e0a2e37b92988646315f00bb2511e57","datavalue":{"value":{"amount":"+0.7498844861984253","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":"Q1317428$D2C62B95-687A-416E-AB9F-47F99DDE8124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516bd943972c6cbd6b22be160d797dc7e9735399","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f079efdfa1cb1711c9e019fbec52b309f2b9dd9","datavalue":{"value":{"amount":"+0.7492637634277344","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":"Q1317428$003D3F46-61AF-49C6-9B8B-F50B92F21344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding bisimulation equivalences for a class of non-finite-state programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_bisimulation_equivalences_for_a_class_of_non-finite-state_programs"}}}}}