{"entities":{"Q3424633":{"pageid":3435336,"ns":120,"title":"Item:Q3424633","lastrevid":50042944,"modified":"2026-01-12T18:56:47Z","type":"item","id":"Q3424633","labels":{"en":{"language":"en","value":"Behavioural equivalences on finite-state systems are PTIME-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5130594"}},"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":"Q3424633$2350355B-C8BF-49A2-BE9B-1AD4B084415E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b2a9251e68bf65f085e0b80ad134227df1b1b2e","datavalue":{"value":"1109.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424633$1959FA31-8067-41A6-8548-63E1480B9E72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03ac5bba01b795f28026ca20b8186f691ef6095","datavalue":{"value":{"entity-type":"item","numeric-id":1015389,"id":"Q1015389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424633$15B9CF9F-0FD8-4097-8136-2ECD19D3A9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424633$66A94358-A6D9-4480-9C90-32C3E473C560","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c2bd88d88c38161f0bdcbedeca97edb6d129cb","datavalue":{"value":{"time":"+2007-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3424633$BE826CCF-FFBD-491D-8A9C-84C736AFE61B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424633$E7BC753C-CB06-4D10-A5DA-3AB764CB8355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424633$4EBB0AA8-500D-4D54-BEA2-E2C1FB130D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424633$D441CCB9-C712-4C33-91C5-8BD298DAFF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424633$CE107DCA-CD42-4E7D-8E78-19EDFA1CB36F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a985f0b81616748ffbd266577297226c79be309","datavalue":{"value":"5130594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424633$D5A2B979-DE1E-47C0-B621-520C347DD437","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424633$52ED0C12-35BD-4D04-9293-D7E0D95137DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ea4d36b75ed8085284a458d9ecd7dc84428bf9","datavalue":{"value":"finite transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424633$1C07B1AB-49C5-47FA-9BD8-BC0B6B5A167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424633$E23EBBDC-BB46-4CC5-9B66-12C531996A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424633$29CC60EB-E5F4-41E4-8334-D7208106906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424633$FA838565-E2B0-4BEB-83EE-2A53FB150383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b245f78056fabeb33abfefdd4a6220f4dba659fd","datavalue":{"value":"PTIME-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424633$3BA7C270-31DF-494B-9707-CAF3B8A85B06","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":"Q3424633$1ED2014C-B0EE-4BBC-B6F5-4FFC1CDD3AF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecc4cf3d9fb6d3a4b942a9d48371b971e05bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4474001,"id":"Q4474001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780592d65f685057d061738dfa3a1052a361eb71","datavalue":{"value":{"amount":"+0.879314124584198","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":"Q3424633$38BA4B19-29B8-440D-9323-1FDF9607BCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8895540a6f0cc570a836b58e47b3c7390a63b6","datavalue":{"value":{"entity-type":"item","numeric-id":1015390,"id":"Q1015390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59c4bb258955da624efe0bde70222f8a2253b35","datavalue":{"value":{"amount":"+0.8001897931098938","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":"Q3424633$2EF20665-4342-47C0-9BB6-83C13C9FFA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c3fdbf32f56101f3f846180cd6366dc07e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73232531f95fb4cda544cd520cb097d7a34dd68a","datavalue":{"value":{"amount":"+0.7893247604370117","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":"Q3424633$7851F163-AD5F-485C-90FD-EE25F210A8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21765d88ce350a73e491fa6319dc1e4f2bfc5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4818858,"id":"Q4818858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73232531f95fb4cda544cd520cb097d7a34dd68a","datavalue":{"value":{"amount":"+0.7893247604370117","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":"Q3424633$6F7456E7-E47E-4756-922A-8A536AA11C37","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":"a9d2abab33ec527ec28d9d6ecee23dd52ee821f1","datavalue":{"value":{"amount":"+0.7806069254875183","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":"Q3424633$8320F2E9-B66C-44A8-BE99-71428B5DF456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3424633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3424633"}}}}}