{"entities":{"Q3400914":{"pageid":3411617,"ns":120,"title":"Item:Q3400914","lastrevid":50889926,"modified":"2026-01-15T14:45:23Z","type":"item","id":"Q3400914","labels":{"en":{"language":"en","value":"Termination in higher-order concurrent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663806"}},"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":"Q3400914$38892E2F-16EA-48E0-8790-22EF2A992244","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1248f0c78a903b6f67fb00c6d27aca87302ad716","datavalue":{"value":{"text":"Termination in Higher-Order Concurrent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400914$35629ACB-C6CA-4A61-A866-1B8D769B229C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c129956610605af48ff8a29f97a4b8af9cb8cb2","datavalue":{"value":"1274.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$FC265007-E9DB-4843-B6BB-0D67BB08CF88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f82670233a7f2ce39c7c31c953f769e9896dacd7","datavalue":{"value":"10.1007/978-3-642-11623-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$2DBA7D5F-7EF3-4B34-92A2-BDACA9FF5224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af5627cefef78d9602d64742a4b36ba411183c3","datavalue":{"value":{"entity-type":"item","numeric-id":517049,"id":"Q517049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400914$53400C17-CBCC-408E-BF9B-314F0DE9911C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400914$5E9F7743-744E-429B-AD17-082A0787AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400914$C56CA6CD-C84E-453B-89BE-C38788DFBCA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400914$8E6EE8D5-1D99-4E3D-8480-79C4A708DCA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-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":"Q3400914$BBF86D2C-66E3-4362-988E-506692A9D9E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$4C4DA6ED-0D65-42FD-901E-58A9B6339B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$D0F6DC64-0CAC-45E3-883B-7A8306050C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$D1EB8AD5-82E3-46D4-99C7-D1EEC317E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$C2F24BB8-86C5-4B74-BD82-7A90619DC43C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f3e0e3b30712e1dc16e5fe4bf5679351f1f133","datavalue":{"value":"5663806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$29A36493-38F7-4242-9312-7608C0FC8BDB","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":"Q3400914$76A1801B-815A-41CA-8CCB-C770D6ED2776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bad94e5e21f814daa855572e9a4f572c56ebea4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400914$50FC73F7-2394-4272-9516-92F2854667FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"410344a056ad7c46813e91f5b01ee7db9cb79453","datavalue":{"value":"W1832980700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400914$F02EDA61-C28A-4758-8836-040F1DB94FD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6176b360a7e875fd1f45f6d622ea6641d9a6eb81","datavalue":{"value":{"entity-type":"item","numeric-id":710674,"id":"Q710674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a62fe9e67fa338d5d084c8768295e1382efdbc","datavalue":{"value":{"amount":"+0.999805986881256","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":"Q3400914$DF78FCB7-7DE3-45D1-88A5-A9A3668605F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e98b0bebd43cf0ceb86eeca995139e5aea0b589","datavalue":{"value":{"entity-type":"item","numeric-id":979082,"id":"Q979082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4336243c62b8de0984dfea5356ae4a0f027fa9","datavalue":{"value":{"amount":"+0.8319770693778992","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":"Q3400914$9376D8A3-B445-45E4-A558-3882232BBA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3965fdf3c4629d7b678b5c7ad24277dd1faa5e","datavalue":{"value":{"entity-type":"item","numeric-id":4965858,"id":"Q4965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7b208d475b37582b5a92a9accc395550143df7","datavalue":{"value":{"amount":"+0.8241616487503052","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":"Q3400914$A1992E36-4780-4AC2-8633-935DF4258DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c0b8b75411124ade7b407799b0d4402c20648","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8091bdeaf84bb026ec362a3d510d385417b9e873","datavalue":{"value":{"amount":"+0.8172045946121216","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":"Q3400914$E645E4E5-4197-47EE-9E61-43ECD0AEECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9311d197fd3763491f8916480e5525fc975fd","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa324c44a244086b98b7c1b7b1752fea12339394","datavalue":{"value":{"amount":"+0.8171293139457703","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":"Q3400914$9C41DC62-1FAD-4DD2-9839-E9A1BAA4947E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400914"}}}}}