{"entities":{"Q4323010":{"pageid":6352611,"ns":120,"title":"Item:Q4323010","lastrevid":41708164,"modified":"2025-05-07T10:48:56Z","type":"item","id":"Q4323010","labels":{"en":{"language":"en","value":"Process-Algebraic Interpretations of Positive Linear and Relevant Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722161"}},"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":"Q4323010$126731F5-C072-4C82-9F1F-B9380464D56E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fce54c38b8ad4a38ef5aced76115db451f331ede","datavalue":{"value":{"text":"Process-Algebraic Interpretations of Positive Linear and Relevant Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323010$472FB436-B6AF-4534-A564-62AAA1ED70B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fed2d280c3d00e1759b5df9fc67f6522c0d897cb","datavalue":{"value":"0810.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$62548F31-081C-446B-80CE-D1B1A068ABDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323010$D273270F-FA8C-4FC3-A986-172B7D7E7B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323010$E7857198-634B-44A4-BD56-4D27A343E13D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$682EB853-94CD-41BF-945C-1573938D71BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$CA73BF76-9DE3-4B7F-B089-133314B61880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$E9A7FD2E-C267-4A05-B45A-A958458F9F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$EB4204A7-8255-489E-A84D-46CEC3BCE9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$D788BD61-ABE4-401A-AB41-741AAE8DA46C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"925721937d69df33d062e8f06d6266a1bcf4816c","datavalue":{"value":"722161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$4E97F1D2-0969-4803-8429-DEDF133E9281","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$A928C83F-AA25-4F00-81F3-B3FF69ADFFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$9DF6634E-0A33-453F-99F9-DCEFE26F1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$4285801D-7F7A-4C00-9C13-CA32A544F25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$819A521A-254B-43C9-A0CC-2EA181FB43DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f55e372b59c3ff06650a9f3feb4a1690342b6c","datavalue":{"value":"compositionity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$ADA92C9B-E4AB-4092-8B4C-CC494BD12B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4626f6203fa1c731184dd93897a3b3efb7eeeb21","datavalue":{"value":"static process structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$1AA042EA-DA6F-4A18-AE3F-97EABE393782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93d6010274ec3d703b351a6351f264d3f563e98","datavalue":{"value":"dynamic behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$904AB7CC-1B98-4535-95D7-2C6DC2F350EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a53a252ae9ab648215ce6eae244012d8fb97f8a","datavalue":{"value":"synchronous process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$1F284C97-ED0B-430B-B061-BA1FE2E93F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$E59CCB60-EFF2-4842-B141-D539999317ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323010$3B682FF4-9F0D-433F-A09B-5468C9911478","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":"Q4323010$7E8DF233-5D61-44C0-8B72-37FAEC91EF28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d693dbadddf834515e0847c26875cb862e9906e8","datavalue":{"value":"https://doi.org/10.1093/logcom/4.6.939","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323010$047BA2D2-F9E5-4103-BD48-9C9EB19A61F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ba2d5ab2e4c6d16272bbb3a6a7a2ce7c585adc2","datavalue":{"value":"W2024962155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$A13F020E-15F6-47F7-9961-04704B319714","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d107113e41e4f1c538b2726054f269f9716bd4","datavalue":{"value":"10.1093/LOGCOM/4.6.939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323010$D27007AB-E2D6-40CE-A0B1-A07AC27B69B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323010$F41F7617-3A10-4F00-B1E2-030D7DE5B0CB","rank":"normal"}],"P1643":[{"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":"b23338901d3782870b37515729f0b4fcedc82f97","datavalue":{"value":{"amount":"+0.94003516","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":"Q4323010$A4BB7A95-252B-4BAC-B789-2851A8255B6B","rank":"normal"},{"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":"ee1b98a57b27e42745d5c1e7cc192a9561653410","datavalue":{"value":{"amount":"+0.9159666","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":"Q4323010$55AFB0FF-70D7-448F-BBDD-2E5D16871984","rank":"normal"},{"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":"ee1b98a57b27e42745d5c1e7cc192a9561653410","datavalue":{"value":{"amount":"+0.9159666","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":"Q4323010$DBD78CC8-2BC8-4A67-BA96-9A66094C86AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1eb3fee6fa665c4bb4f7f9313b9dcbd1884168","datavalue":{"value":{"entity-type":"item","numeric-id":4260381,"id":"Q4260381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a01db7323bc8e106f87138167c39ce48990d244","datavalue":{"value":{"amount":"+0.8981047","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":"Q4323010$3049087B-4E17-45C7-B46A-60AC7D8497FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6d997f112b5651de11eb076dd298c0ea86bc0f","datavalue":{"value":{"entity-type":"item","numeric-id":4812317,"id":"Q4812317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007c3d2892508db6115ba0276993127a580252b2","datavalue":{"value":{"amount":"+0.89623845","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":"Q4323010$3E8C3674-84F2-4BB7-831D-6D27510F86F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34716049ade83cbe047d474a43706728cf3fe6e3","datavalue":{"value":{"entity-type":"item","numeric-id":4945247,"id":"Q4945247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007c3d2892508db6115ba0276993127a580252b2","datavalue":{"value":{"amount":"+0.89623845","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":"Q4323010$A958BA29-B51D-4DE7-985B-1E26D53DF83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b888b1dedaa8b55049cb855d002c41bc01fc2e85","datavalue":{"value":{"entity-type":"item","numeric-id":5937831,"id":"Q5937831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9e429194c432a9b5110da5960921bcc75e77ec","datavalue":{"value":{"amount":"+0.89321905","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":"Q4323010$669D139E-00EA-48EA-8558-68FF7BADAEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d0765d327aec136ffc106b0f84d9a48b578fda","datavalue":{"value":{"entity-type":"item","numeric-id":4870069,"id":"Q4870069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c984bb4ece6be729f24e958f94bac8644a809e","datavalue":{"value":{"amount":"+0.88734174","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":"Q4323010$88902D03-C6AC-4B1B-AA79-6D7647783ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a38766a19007d4174b1cb708d9d8d5b81941f","datavalue":{"value":{"entity-type":"item","numeric-id":3743306,"id":"Q3743306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489178324299a0db8d863662fac998ba25c0d13e","datavalue":{"value":{"amount":"+0.88477284","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":"Q4323010$6703B543-7F6D-428B-BFF0-EBBF4B624E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef21d2138550a68888886de67e850224df392d9","datavalue":{"value":{"amount":"+0.87964547","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":"Q4323010$C9B4878B-476C-4FE4-9189-BADD2892F8C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4323010"}}}}}