{"entities":{"Q2914369":{"pageid":2925089,"ns":120,"title":"Item:Q2914369","lastrevid":44728206,"modified":"2025-11-25T12:52:31Z","type":"item","id":"Q2914369","labels":{"en":{"language":"en","value":"All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086176"}},"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":"Q2914369$8E1AA8F7-450F-46ED-8497-43A4170AD2F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd76f28de00f26c850a4283ed07936fcba39e9f3","datavalue":{"value":{"text":"All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914369$54EEA42F-F360-4E27-8A1F-9301DAD497C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6cb76d7201d2282b2f3610aa2adea9d80043bf8","datavalue":{"value":"1314.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914369$687F1478-75F6-4CA9-AC8A-95EBDF559B9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"130a94fddef0a46ae451068bae42a0658017b40a","datavalue":{"value":"10.1007/978-3-642-32940-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914369$DE606647-1E9C-414E-8916-8FDE9ED834A3","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":"Q2914369$8712F10F-FF11-4D33-98BF-CF4FF1CB02AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914369$90FE33DE-0FC4-4924-AB2F-440B16DD0898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914369$78E3E53F-1779-4CED-BC45-C4BFFD23F744","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914369$464B0603-F731-4A87-8863-7C6159589152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914369$9FA3F2F0-A30D-4702-B13C-B3A2376C3B32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7423a75ecf6c41a3f01b35cbb10c4fcf7f351a9","datavalue":{"value":"6086176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914369$38531199-7AB3-4CDC-ADDE-BD3330235BAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914369$19B11DAF-1C78-4A71-A5DA-3B97F01E3803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914369$B4CF2F58-AD9F-4316-B928-86440CD850F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914369$4FA84C40-08CA-4892-AF45-D397BCC72733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914369$B308557D-B2BF-46E7-A975-B5654E3053AD","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":"Q2914369$28E9998E-D127-41D6-B7D9-32E0ED333826","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b28505c4a317ead2a760404ce0cc5ad57bcdbdba","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914369$1953A64F-24BB-44EA-8E66-F7098C372AB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11d03d500850af36b12b678eee2aa44b0c8a132e","datavalue":{"value":"W1880786369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914369$4720AC3E-86D1-4F86-8FD6-0B559E5D7213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f523165c51cdf0e791cec6d75330229985d2da2a","datavalue":{"value":{"entity-type":"item","numeric-id":2865064,"id":"Q2865064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c523357988af15b91d9b1c1410f5cd1203c434cb","datavalue":{"value":{"amount":"+0.94735837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$86A8FB7C-36D8-4CF4-82F9-5DD248CF40CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ed572c60a96900afb32168579a73f6696de04d","datavalue":{"value":{"entity-type":"item","numeric-id":4785637,"id":"Q4785637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6809f12574e04de2152b55f0fd4700456a66da","datavalue":{"value":{"amount":"+0.84390676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$EDF5D6AB-7B3A-417D-A1FC-541DD3AF13F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a871048f7e5a4fb0cefe6b2c924598f87d7f4b96","datavalue":{"value":{"entity-type":"item","numeric-id":4218942,"id":"Q4218942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb37df4b28099736c8289461ccdfa0cc466a455","datavalue":{"value":{"amount":"+0.8429514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$18D25DC1-CA8A-43C5-B917-12A80CF7E8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3705347daedd6c5705a27d41305ed13d0e45bc","datavalue":{"value":{"entity-type":"item","numeric-id":1854556,"id":"Q1854556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48474266d4119a355f538e9b89987811d381998a","datavalue":{"value":{"amount":"+0.83336663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$D9CB78D3-DB49-4C47-96DF-68C44C9DDE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b6f6f204552e03ef03601a14aaf4be380b3ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5048946,"id":"Q5048946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ef109772e0fa1e12f3ab3abd4b4dd67878bcc5","datavalue":{"value":{"amount":"+0.83259594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$7D4997BC-0976-4C89-AF93-D7F59347A08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f4fded09eaf2adb144e3cf16edadf56a92cafa","datavalue":{"value":{"entity-type":"item","numeric-id":4251045,"id":"Q4251045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499fbd37f30bd1a778c12f14e01d14f1c593394d","datavalue":{"value":{"amount":"+0.8308126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$E1B369AF-A1D8-4426-84C5-6B2AA59B6F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98412c476545ff18eb8a45035526cd3eeb3a12e1","datavalue":{"value":{"entity-type":"item","numeric-id":5096080,"id":"Q5096080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b15b702a643c180c7f72c3cd990ff7e7f61462","datavalue":{"value":{"amount":"+0.83002836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$B9C4AFB4-D1A7-44D7-BB99-26A4199B27CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ce63553a28aef92029cb1afa066a2984cc15ce","datavalue":{"value":{"entity-type":"item","numeric-id":5325860,"id":"Q5325860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da550099484503654a4f4146b91c30cfa462aa07","datavalue":{"value":{"amount":"+0.8295883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$A6558CB3-0065-4F99-8EF0-2CD5BEC36A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659c71eadda752a38969dbdb865da52688eb7b81","datavalue":{"value":{"entity-type":"item","numeric-id":5425322,"id":"Q5425322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e89fd0249348223bc98f24fa01c978ad5758970","datavalue":{"value":{"amount":"+0.8294341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$00341C7E-941F-4C48-BA2A-1E8B4A87820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583a65f690d94d82238d7e866b9c1316991f294b","datavalue":{"value":{"entity-type":"item","numeric-id":1031833,"id":"Q1031833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df551060e4a08d2e8088f0e3d60f143b33dc123","datavalue":{"value":{"amount":"+0.8278926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914369$6B217D7A-3CCB-4F25-AE3E-880FB9E029FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914369"}}}}}