{"entities":{"Q5741581":{"pageid":7771132,"ns":120,"title":"Item:Q5741581","lastrevid":52582736,"modified":"2026-01-23T01:02:50Z","type":"item","id":"Q5741581","labels":{"en":{"language":"en","value":"Relating reasoning methodologies in linear logic and process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607296"}},"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":"Q5741581$6D8E91CE-BECB-4750-8715-2C4178ADDF90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51569411c55adf9e46bad42cf7cdbdb48fe19d60","datavalue":{"value":{"text":"Relating reasoning methodologies in linear logic and process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741581$3058EA81-F636-4912-8890-6AC8146FCEE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e884836e91965160cb4a6e326c32e3fc05543700","datavalue":{"value":"1361.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741581$EB0A1BE5-5806-44CD-93DB-EB215AA61319","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63f5a8a093e41b308db05047951489c86a6c8f5a","datavalue":{"value":"10.1017/S0960129514000413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741581$55CD1B26-49CF-4CFF-B7C6-823EABF1C249","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":"Q5741581$87D3EC22-CD61-43DD-9F6D-5224DBCCD286","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":"Q5741581$F343F388-A79C-422A-BBB5-E668F4242178","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":"Q5741581$7E0E239A-10F1-426E-AC1B-D172E23D9170","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$7506235D-CEDA-4029-A803-3874C3647433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-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":"Q5741581$53009A70-9225-41DD-AF0F-5E4F19908101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741581$7732A600-D21C-4187-9A9C-140B6BA4727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741581$FE5C5BDC-EF5B-495A-B959-EDA4C1232358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741581$50151065-D9E4-42C0-BFD5-E6BC0E539B94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e61f5212d51fe5f3391fdf4529b4ab42048a5603","datavalue":{"value":"6607296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741581$56540DDC-C669-46E8-9021-087ABD5824B7","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":"Q5741581$B8FFDDCE-A263-457A-B76B-C31B522C48A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$8A28CFFF-522A-4F2D-B141-EE0A7BD3A653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa22b894615c9558226d014a95a1deff4421311","datavalue":{"value":{"entity-type":"item","numeric-id":3541038,"id":"Q3541038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$39AC70B6-16A7-402C-9B69-3834A2757ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$8AF00D5B-F281-4D73-8BEB-15498D4326B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$49FC9E65-CB9D-4027-A68A-541EB272EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$81D17418-7624-4043-9B42-06901A2BD78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dba7a15b0608fd7a2003e436be0af2bf95ea618","datavalue":{"value":{"entity-type":"item","numeric-id":1772314,"id":"Q1772314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$563EF608-5102-44AB-8787-A8342B2CFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa049e0fc5fa200e717f584fe754fb818a519c","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$D5CF9305-EED3-452A-A1ED-13FA0FE2EB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a671cf16345b29b37e821cc9fbb410673b841a79","datavalue":{"value":{"entity-type":"item","numeric-id":979075,"id":"Q979075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$C9095982-CB26-4730-BB88-B2621CEEC11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed2ebff24fd797470c460beee365755e4b248cf","datavalue":{"value":{"entity-type":"item","numeric-id":3012929,"id":"Q3012929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$622AD516-138D-42FC-B644-78D73BA6745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$B43EC358-6B83-44B5-997E-AC8DC74D1DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c370ca168d9157448adb43721d34d99c73f025de","datavalue":{"value":{"entity-type":"item","numeric-id":4323010,"id":"Q4323010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$A998AE46-1D81-49C4-BCBC-6EAEC6F76FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$0523BB9F-A327-44ED-A5CF-12F06CB2E1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$8C234B59-3F06-4069-B577-ACC161690C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e8aeac9c61540d3ed061b1062da63d321b55a3","datavalue":{"value":{"entity-type":"item","numeric-id":1342245,"id":"Q1342245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$0D9C0936-7C69-40AF-8627-6648B43F6D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$95219CF4-917F-4AA5-BA9E-BEE0F1DF4DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$BD6F285A-C44F-4D2F-B4FE-6C6ABC9CB172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797bbf1c2d6bb399f80f079e9983fc833bfa2c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$EC381850-0143-4093-9A19-9AF807447A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$691B0301-EF66-4AA4-A992-773090D8BDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741581$5DA45DEE-38BA-46BC-9752-4D32E6E6BD85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b8ddbcebab5602df95582cbecf5d035438fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":4986742,"id":"Q4986742"},"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":"Q5741581$D92E1A2E-410B-43BE-A82C-31C926008959","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":"1369acfbc7b281e6098c18d37b0347517c7a9b88","datavalue":{"value":{"amount":"+0.7918221354484558","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":"Q5741581$6491C50B-A9B8-48C0-BBC0-DF75069900BF","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":"8d476940355aeb08e8519d989c88a369f6582658","datavalue":{"value":{"amount":"+0.7874564528465271","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":"Q5741581$6D950BE0-6617-40BF-8D24-0AE285642DBA","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":"c31f49e6b32876c18c84eb08413f220d9809fd9c","datavalue":{"value":{"amount":"+0.7700603604316711","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":"Q5741581$C9A81D09-5E9E-4613-99BB-DA5BA19EAF43","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":"9c410fc58953035105a2bc0e2517458c7de6fad1","datavalue":{"value":{"amount":"+0.7676953673362732","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":"Q5741581$6AF1E2CE-CA9F-403E-A332-59011EAB28E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741581"}}}}}