{"entities":{"Q4870069":{"pageid":6899649,"ns":120,"title":"Item:Q4870069","lastrevid":46452837,"modified":"2025-12-24T19:47:48Z","type":"item","id":"Q4870069","labels":{"en":{"language":"en","value":"Modal Logic and Equality for Process Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856909"}},"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":"Q4870069$E1166CA0-B140-4C13-906D-69D6FAABD2F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75864c2ada7eda03e697f7adff1bf83bbef5ebed","datavalue":{"value":{"text":"Modal Logic and Equality for Process Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4870069$EB1A6B93-B4B3-4281-8A92-AB3F51821D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef574d1b95b62f095a706845bb4ee9a82bd02baf","datavalue":{"value":"0844.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870069$48AA6D44-D2C7-40BB-AA3C-EC8DFC328CFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d7eeff60cf26405a6367b4c18fd6b9348cc2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1093367,"id":"Q1093367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4870069$96F29583-D999-49D8-91F7-4FC5F4D1C8EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fed7f56caf8df8dc9a2d3a177541a89ccb56b0d","datavalue":{"value":{"time":"+1996-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4870069$D04913E4-398E-4A60-9506-8782C1754D93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870069$2E033EE3-5915-4A38-BCC4-A5E06CDEB299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870069$7CBBDE1B-184D-4526-BA4C-A021E9D29EA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19fe36aa8e159b9818c5e382617b2ffafbc4577b","datavalue":{"value":"856909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870069$C9DBC70A-1FA2-4E65-AC67-E55982603695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d14eeffacd9ca5dfcb57bb6144b6b8f8295728","datavalue":{"value":"saturation method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870069$6FCA09D0-D664-4E0F-89CF-FA1BB953C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870069$70198D46-D6C9-41A8-A4DC-D0A0F522F700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870069$83F51F9A-8180-4BAA-846C-E76E0B2736C2","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":"Q4870069$F222EB6A-AE0B-4855-B5DA-814975181D83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e9ca4ff9fbeb6e44710a76569e63c6bfe1ea93a","datavalue":{"value":"https://doi.org/10.1093/logcom/6.1.121","type":"string"},"datatype":"url"},"type":"statement","id":"Q4870069$FC3BB544-F041-42BB-AB36-61C654C09C2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"851761e85568ef1d2d729c0e931c5102e89efa9d","datavalue":{"value":"W2007985911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870069$B17C3AB0-9AEF-43CF-912A-739812FFE0D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce60b8ab5a85858241f29dc8d24d05683b67c3e","datavalue":{"value":"10.1093/LOGCOM/6.1.121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870069$5EF44D99-972C-4F37-A2AE-21AF1C392225","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":"Q4870069$AC022540-54FB-4EBF-80BC-EC0DA1D4E014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705b6c76017d8818e77b692822acaaaa6e8bc921","datavalue":{"value":{"amount":"+0.8405779600143433","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":"Q4870069$08A5C735-D346-4CCC-998D-78C72B920813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb124c0328512a6b1ff9b6fb0c031f9d506b5cd","datavalue":{"value":{"entity-type":"item","numeric-id":4495269,"id":"Q4495269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248155d8ad10bdb01568ff403bedba2ca826dc72","datavalue":{"value":{"amount":"+0.7989349365234375","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":"Q4870069$5A16F32E-6C1D-499D-B5FC-2FD2E7F0E95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4d5dbb62300c59f88fc78b7b86cba91caa746c","datavalue":{"value":{"entity-type":"item","numeric-id":3703286,"id":"Q3703286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7152a93d7acc9e3de7495ab8e9a72b6dafe0e178","datavalue":{"value":{"amount":"+0.7771536111831665","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":"Q4870069$0E0A984B-9108-4029-A4E2-03EFB4FBC85D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4870069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4870069"}}}}}