{"entities":{"Q4986742":{"pageid":7016319,"ns":120,"title":"Item:Q4986742","lastrevid":91919345,"modified":"2026-06-05T00:24:30Z","type":"item","id":"Q4986742","labels":{"en":{"language":"en","value":"Relating reasoning methodologies in linear logic and process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7340569"}},"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":"Q4986742$F731D336-0902-4027-92E7-BC2E7535CF0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5469299c93d31f628184bb0b6dd3cc9824a26fdc","datavalue":{"value":"1459.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986742$2F76C101-0E9A-4493-97EA-C831EF25F08F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986742$EED36B59-EE0D-4579-B86D-B570E1581B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986742$8512B2EE-3988-4E11-B20C-FE3FF7178F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcdbb382485ca5cfcca26bd5fcd3010472f2710a","datavalue":{"value":{"entity-type":"item","numeric-id":1929362,"id":"Q1929362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986742$BDC3E010-B214-44D9-8BE3-5924922BE61E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-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":"Q4986742$10F1ABC5-41BB-41FF-9187-31640E65858D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30b5b5389bf087e84282020c77706bddfe0eb754","datavalue":{"value":"https://arxiv.org/abs/1211.4100","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986742$497FF76A-69AC-42B3-A3FB-A0DCD7D2DD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"be59ac52799e98f27d88f45bd0e1dcf178ca85a0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2012.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986742$0698FE76-B099-413D-9BE7-29BD71F9FD40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986742$2D842F14-466D-4BA5-8390-F6D939A00A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986742$8506C6E0-2827-4E1E-9BCA-D02A381067C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986742$A953372D-250F-498C-8599-3EE5A6FE6EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24998743522e50f4db24db5ca52dadbda4ad4543","datavalue":{"value":"7340569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986742$A5B6CAAF-7214-41E9-8128-F4E307905191","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":"Q4986742$48557D69-CCD5-4579-AF0E-E3C7F03068DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90488bec267d80181b9cada3903c348d5bec706","datavalue":{"value":{"entity-type":"item","numeric-id":5741581,"id":"Q5741581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922fcd918e425b855ea7ed669726fb7446bc49b9","datavalue":{"value":{"amount":"+0.9796292781829834","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":"Q4986742$2C60723C-CF81-471B-BAD4-4D7CF2A78DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6052d22161f9a4ec84769e6924a152e79b6966ce","datavalue":{"value":{"entity-type":"item","numeric-id":4217603,"id":"Q4217603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8ada64c28baaaf3bebbf1aa7105d007e85b98b","datavalue":{"value":{"amount":"+0.7922119498252869","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":"Q4986742$92EFD9DD-0DAB-4D8B-AD32-4AEFD7AC09A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c22dba93a172df1c34c49f24c2d8766465d112","datavalue":{"value":{"entity-type":"item","numeric-id":4323010,"id":"Q4323010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81aab23b19fa83bd790237d17c6751839deee5e1","datavalue":{"value":{"amount":"+0.7904367446899414","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":"Q4986742$54C12FD9-FED3-4A37-9C6F-92DB598608B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99365bc6d316dadbf670c49f6e1c9724553c055f","datavalue":{"value":{"amount":"+0.7730264067649841","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":"Q4986742$1C97EB5B-EEBD-4E87-8908-532BA1552A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ad6bc08dd970785cf658eb046639b76bd87cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c69fb6732d8e81e255ab9bcfa4ab5aad862a55","datavalue":{"value":{"amount":"+0.7708205580711365","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":"Q4986742$C095F613-0980-47BE-B38B-F1F278A4058A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating reasoning methodologies in linear logic and process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_reasoning_methodologies_in_linear_logic_and_process_algebra"}}}}}