{"entities":{"Q1351456":{"pageid":1362195,"ns":120,"title":"Item:Q1351456","lastrevid":68532051,"modified":"2026-04-13T00:20:40Z","type":"item","id":"Q1351456","labels":{"en":{"language":"en","value":"A polynomial algorithm for deciding bisimilarity of normed context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984394"}},"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":"Q1351456$D97B5A7D-A89C-489A-B964-859BAB3134F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53b3ef29e5a116f5680c393968fb01f3439983ed","datavalue":{"value":{"text":"A polynomial algorithm for deciding bisimilarity of normed context-free processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1351456$3D1EBD33-E982-4C87-A79F-CB510E6E6B32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"207c20822d195a71a9b3347073f07a799526509f","datavalue":{"value":"0871.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351456$A43DFF78-AB34-46C0-BEF1-45955C91136D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efd4691fce87a1df4f1988cd8c0f5f2ede7e598f","datavalue":{"value":"10.1016/0304-3975(95)00064-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351456$BABD1575-DA73-436C-831B-9D15A345827E","rank":"normal"}],"P16":[{"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":"Q1351456$EF0618B8-7F3D-4FDD-BF9E-A5317C2D5CDF","rank":"normal"},{"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":"Q1351456$92DCBABA-EFB5-46AB-B066-F35A2CB28177","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":"Q1351456$C82B9CB8-C7F4-4B8A-A820-58BCCF9156EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$F41ADFB6-2855-4140-9EC4-A9222E57BB59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1351456$37084404-5246-4F11-8E2C-33C1E41A87D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351456$4391204F-6F06-4431-9D5D-24C205B964FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351456$677339D4-2F3D-4FBE-9BA9-DFE4B60AC9D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bec7691535ea5cb6be1a8a53561695a97830837a","datavalue":{"value":"984394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351456$6F22D2B6-E5EE-4FE7-9D99-97841488302E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96e63d7a978b3bb9b7023deb6fa47aab1bd695f8","datavalue":{"value":"Q59556999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351456$BE8B90F1-1FE0-4A56-ACF7-49061668FD20","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":"Q1351456$162C76A1-9308-4EE9-8477-8632138CBF1D","rank":"normal"}],"P223":[{"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":"Q1351456$37F0055F-052A-4BAF-A265-3C78E8F51403","rank":"normal"},{"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":"Q1351456$DAB0188A-88DE-47D3-A44F-F921EBB43642","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":"Q1351456$966A43A1-4D3B-4265-AF39-02450F4458B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7d8dfdbd5344be1a0988298f2b9916142571c3","datavalue":{"value":{"entity-type":"item","numeric-id":5286053,"id":"Q5286053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$AFE2615C-DE34-449F-8C31-1FA8FD83C3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37e2da96cca674a487d86719452a17af8402c89","datavalue":{"value":{"entity-type":"item","numeric-id":4072878,"id":"Q4072878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$81BB2E17-C526-4DD5-A998-BA04AFD4B69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$D10FD7AF-AA77-406E-A4C6-0085C303E8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$D6B1D440-19D2-4866-978D-904B9BD4E3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$1F3181F9-FD78-4E9B-8AB2-BB7BD9F2A6CD","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":"Q1351456$3EB4D2D1-EBDC-41FC-A66A-5ECA244C0D73","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":"Q1351456$B4D5EBB7-62F1-4838-8D69-E12D658D497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$269DFEDF-7225-46A0-B1D8-8C37E68D9C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$1FC38A6B-B872-4BD0-AAE3-C65F4FCA05D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$5EDD6189-6F9A-436A-B39B-3244D5E47E28","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":"Q1351456$BFC42560-DC7E-47AC-A72A-47E28C25FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$16F527F0-3241-4D77-8E6A-4AEB15908D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351456$A3697AEB-56C4-4B9A-B29E-7AB570849E6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a512cb53f5980e4f26208a450aa50864d2a2073","datavalue":{"value":{"amount":"+0.9316735863685608","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":"Q1351456$F5DFCD8C-6BD5-4EEF-B662-4B73004299D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f1b308f63416a58e9999339e51f912a993831e","datavalue":{"value":{"entity-type":"item","numeric-id":2908855,"id":"Q2908855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a35aae4b662d975c89b3888b24fbec210b83aa9","datavalue":{"value":{"amount":"+0.8992664217948914","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":"Q1351456$BED6779A-3327-47FA-83A9-4C1BB4CD7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0848cb635adf454acdbab14374ce7b761fafd1f","datavalue":{"value":{"entity-type":"item","numeric-id":5756723,"id":"Q5756723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a657a32a756f34bfbe84a35321030004ccf5c3d9","datavalue":{"value":{"amount":"+0.8889748454093933","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":"Q1351456$41B5ABE6-CF84-43F3-9865-FAA074064566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b652b48dd6d14fca6b0e904dcfaa1f9f092249c","datavalue":{"value":{"entity-type":"item","numeric-id":1892892,"id":"Q1892892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47348e7f8cba397d7ae5daecf1e85ac1e633a40","datavalue":{"value":{"amount":"+0.8837981224060059","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":"Q1351456$681FE249-D192-4888-9AD0-6DA4AB36DBAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial algorithm for deciding bisimilarity of normed context-free processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial_algorithm_for_deciding_bisimilarity_of_normed_context-free_processes"}}}}}