{"entities":{"Q2865064":{"pageid":2875784,"ns":120,"title":"Item:Q2865064","lastrevid":58046907,"modified":"2026-04-03T14:28:19Z","type":"item","id":"Q2865064","labels":{"en":{"language":"en","value":"All linear-time congruences for familiar operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234194"}},"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":"Q2865064$93CF8362-5090-4571-A633-AB0C99E965AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53e7222f626113d7e9b9acf3817a7f7112f97d09","datavalue":{"value":"1314.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865064$84BC3DD8-B6CC-4F64-9B75-A5A550C38334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50450c77f10bcd183cf797ce37ab12bb7bae4814","datavalue":{"value":"10.2168/LMCS-9(4:11)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865064$0613BC0B-907B-4C97-B21B-54DF8CD56784","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865064$CBE9C6CB-09E5-48B4-AD63-6D2D5639BB27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865064$68A76939-074C-494B-BB83-4686C8EF1E31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-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":"Q2865064$EB1581F2-7E1E-45AC-910B-08574892CF8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f3bf086e1287e2f91745cf7178a06489a92481c","datavalue":{"value":"https://arxiv.org/abs/1310.8408","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865064$98D1319D-AD76-433A-82C5-BD4C8346CC61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865064$11871942-4F3E-4149-81D9-9E1F3297AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865064$8674E05F-A91A-4E3D-89D6-C4C4BEC5A9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b92b586fe6715d09cc8dbc5142556faf96c1207d","datavalue":{"value":"6234194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865064$C7E4121C-6DDC-4894-B42D-ECAB14F57446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865064$66A3570A-8D2A-46C2-8CC0-8292823DA7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865064$29840A84-B672-4AD4-ABD0-2D298BF472D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865064$2ED923F2-76C3-4812-B80E-B91BD3BD12E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865064$E247F988-6AA7-4EDF-BBDC-60455B2FC31B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865064$93976014-64E0-4E2D-BD15-3272E14CDD68","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":"Q2865064$F0FE1F82-2293-4E2A-A9D9-EC4C7DAC5B39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bd1075320df3c7e8d962fd7800bc5f6759ea68c","datavalue":{"value":{"text":"All linear-time congruences for familiar operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865064$C50B1C79-2B67-4B7D-A46A-1D132D7D14C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0083c5fd1fd20e47260194e5331605bada092876","datavalue":{"value":{"entity-type":"item","numeric-id":2914369,"id":"Q2914369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229b5c7cad35e79dbf22788a9a9c9e2c342d54ba","datavalue":{"value":{"amount":"+0.9235143661499025","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":"Q2865064$C862C7A5-1D0C-4C33-B98B-D26D3B70E8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ad121243449a27012fb5095c971ef1db78325f","datavalue":{"value":{"entity-type":"item","numeric-id":2182664,"id":"Q2182664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9380d6ae0d968eb3ad979e4688ed00f770456828","datavalue":{"value":{"amount":"+0.7810639142990112","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":"Q2865064$8A5C17B2-1D9A-4C66-AA08-7F6E77C63B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f8a2c4c0584e57de381783bf07b7494578f502","datavalue":{"value":{"amount":"+0.7265796661376953","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":"Q2865064$B3E214EE-8961-44A5-9BC4-5DAAE56C37C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455323e814ef7356d52e35ecd2c8d27d40b8c95a","datavalue":{"value":{"entity-type":"item","numeric-id":2340256,"id":"Q2340256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e133fa0acc569f84674c0f14a0321a1651da4244","datavalue":{"value":{"amount":"+0.7219530940055847","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":"Q2865064$18930E7A-C59D-4F49-BC22-8CFB91168C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf81a66182e12f05aee9189ac2d947404684dd35","datavalue":{"value":{"entity-type":"item","numeric-id":4963898,"id":"Q4963898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1023959ac0fac3281276cb304b5574438c65ba0f","datavalue":{"value":{"amount":"+0.7101752758026123","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":"Q2865064$FBBA7768-471A-4021-A349-A98D6D726910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2865064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2865064"}}}}}