{"entities":{"Q4715674":{"pageid":6745251,"ns":120,"title":"Item:Q4715674","lastrevid":36953523,"modified":"2024-07-30T07:49:32Z","type":"item","id":"Q4715674","labels":{"en":{"language":"en","value":"A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 946746"}},"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":"Q4715674$3ED03253-6F72-4D8C-A0AA-D104B321E3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"653f00b8d8d24aaea031a2106bcea6b73a52115c","datavalue":{"value":{"text":"A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4715674$9B99FC6C-EA28-4C5A-B76F-7FBDAA072824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f652c46eb061302da2869922351b66ac8824907","datavalue":{"value":"0857.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715674$58AE5AA0-F01D-47AF-BF8B-C7E5D4FBDF50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8e5f0abd724cfcc599a6ee9916e74f16025da15","datavalue":{"value":"10.1017/S0960129500000992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715674$0BE0A091-94FA-4684-8791-4CC441BEACF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$DCBA0837-82F4-4C61-BADC-091146176CC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb97a0a1e3c26f34c0d6f4658c7cb47d35dc8ad3","datavalue":{"value":{"time":"+1996-11-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":"Q4715674$879A59A9-92ED-43C2-888A-12600E7D2D73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715674$9C6558D5-0D24-4DBB-BCE6-3A0D201E2B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eaff23fdf25bdcd38e1dc019fd0c141eb7c6f26","datavalue":{"value":"946746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715674$2E970179-A35F-42B3-8FCD-AC346097DC50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a76afa3f9278439ca52ef5c2e29fb4a00797c","datavalue":{"value":"basic parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715674$6A49C073-064E-4121-9FC2-697D735F9883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2363d166b5b9fc791a0d6228cc5a474e45585fdd","datavalue":{"value":"polynomial-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715674$36F772E4-25F9-4630-A1BB-6A6EFA9AF0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715674$D15DF3DB-AE66-4C67-AEB7-4902BCFD1253","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7288cf75c4f286e546d946f7da603be7aa5ea57","datavalue":{"value":{"entity-type":"item","numeric-id":1216296,"id":"Q1216296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$8A63CDC2-E146-4930-9DA5-77A524E7F1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"871bc74022ea4f6f28f92d19fa6227a3c4413324","datavalue":{"value":{"entity-type":"item","numeric-id":1058289,"id":"Q1058289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$1410E805-8C0D-4A48-8495-492923ADE0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$09B0F6CC-3A1A-4B7B-9D5C-C7B6DE9CC36A","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":"Q4715674$9702BB37-B6FA-4496-8B11-56FE068D96C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"60e3036fc12790dc9c354be30370be8b51b0d41e","datavalue":{"value":"Q59556998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715674$099A93C9-9DF8-4DE7-B376-0EE4EFEA0656","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$2880EC93-6B5A-4BEB-B954-F8CB608054A5","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":"Q4715674$8F187768-BDEF-4F59-B20D-99AFCC64236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd132592c4e43c9101a69d61c4172a98a16075","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$D6E35555-243E-47BA-AD72-20512D556B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f2f3287edaae3038e2df686f70d537cc2d531c","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715674$FEFB397F-478F-498E-891E-EF4542E19B80","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":"Q4715674$D7FBC290-687B-4CBB-A6E0-D0816394B779","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":"Q4715674$3FA5227F-ED61-447F-82B7-FD03D0015D39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ddef126f08dbe33b639c636f4fe593eb2e01e9f","datavalue":{"value":"https://doi.org/10.1017/s0960129500000992","type":"string"},"datatype":"url"},"type":"statement","id":"Q4715674$C2988880-AA5F-4CAF-B32E-67A5A510DBCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9165f9f9cb295bef700a780699a6f62f5285a97","datavalue":{"value":"W2137502532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715674$D0B2F63A-41EF-49DF-B69F-304287ED5D04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4715674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4715674"}}}}}