{"entities":{"Q2296282":{"pageid":2307025,"ns":120,"title":"Item:Q2296282","lastrevid":55372324,"modified":"2026-02-17T14:43:28Z","type":"item","id":"Q2296282","labels":{"en":{"language":"en","value":"A calculus of space, time, and causality: its algebra, geometry, logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168631"}},"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":"Q2296282$4DC1307A-61EA-4224-9180-9C5B91063D4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0b97b307588106e9cd0abc76acc382c41d0deb2","datavalue":{"value":{"text":"A calculus of space, time, and causality: its algebra, geometry, logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296282$D401AB36-A5D4-49D7-80F4-CAE031BE1E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c659fa9f867bca238190dd61998f3be32f8059","datavalue":{"value":"10.1007/978-3-030-31038-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296282$A91A8329-F54C-4E6F-A5D0-0D4D9593ED73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296282$3F0C4AD6-3C03-4DEF-8BF0-274ECB14D344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296282$53822F12-C6D1-43C7-84BF-D3EA047E178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296282$6E04E990-C92D-4014-8461-DBFA742D6D96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-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":"Q2296282$C63A481E-D7AE-461F-96C0-45380DDFBF44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b090e7b33baf99e0edffa72fb7a72812e043dd80","datavalue":{"value":"https://eprints.whiterose.ac.uk/150600/1/CCST.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296282$458361DE-1E4C-440C-A5A4-EE230059F4D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296282$FC1A629F-75D7-4C77-BC49-C2CDC54AAAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9769229a172da7e9a0ba8abfa05d161feb123432","datavalue":{"value":"7168631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296282$32A41329-7647-4397-B8B4-166E5E481B2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d97fadb3045b47bba75e8c22b5bcc2aa7d1ec28","datavalue":{"value":"Concurrent Kleene Algebra (CKA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$E889FD0D-7776-4D6E-AA91-2209D81550FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f838fa7636e0742513d7c1eb1583e4eb4c70b85d","datavalue":{"value":"Concurrent Separation Logic (CSL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$75AD19CA-465F-46E7-A5BD-096382CE194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e557be61695b6dac16013025cfe75b4d6233139","datavalue":{"value":"Calculus of Communicating Systems (CCS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$B8F5C755-4E54-4422-BB4D-EE4B521E3E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b92e88106725d9b7f7763e49111f73fc4e4b55b9","datavalue":{"value":"Communicating Sequential Processes (CSP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$C20C5ED4-6E53-49DB-9714-C1D9FEDE21B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5d54944cb533cdb981a7f675f7ba468fe744b6","datavalue":{"value":"action algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$676BF259-82F4-48DC-BC24-89BAD9A5C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9931d77af3e80bf57aaaa20ca7ea48e203b058c","datavalue":{"value":"discrete euclidean geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$83814421-8558-429B-8E4B-12D0D3337585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3195d3be274e9e82dbc058bff1f418c77f21ea","datavalue":{"value":"cartesian coordinates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$D3F33B9E-99DE-4399-997F-7B613B0C1EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"433e813827855a8361c60662229e92fa1803d0b1","datavalue":{"value":"Unified Modeling Language (UML)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$605934F6-3C10-4C14-83E3-5FC2A7726DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b95774e5e9d873faf403512cc9e486be711b3e","datavalue":{"value":"Unifying Theories of Programming (UTP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296282$CAF94106-8A3E-4598-A16E-2B0BD92E978E","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":"Q2296282$3540D062-A328-434B-B966-98F1CD076422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f6ae5490dc54cd1681b2e8f1ae7a6736890e7de","datavalue":{"value":"W2974252365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296282$1BEA2DCD-7AEF-4F27-89D5-3FCC84A7C3AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f268b10abe8a57182a823aa5a7f4c5d2eef761ad","datavalue":{"value":{"entity-type":"item","numeric-id":3455645,"id":"Q3455645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f79031295b980c13513eadfa6e495a7b0920a4","datavalue":{"value":{"amount":"+0.7651111483573914","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":"Q2296282$68FF1675-9B78-4F4E-96BF-6A8AD225BC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09fd32265b502e17a175255bcdccd02036e76f87","datavalue":{"value":{"entity-type":"item","numeric-id":674261,"id":"Q674261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c503a1c46cb4cf518404ac9747ebeb62f76ba8","datavalue":{"value":{"amount":"+0.7481257319450378","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":"Q2296282$F20B9460-B6D9-4678-BC46-2DB8D627121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4ce6f0d0937470ae35a6d1ef38e64ef3c7bc64","datavalue":{"value":{"amount":"+0.736111581325531","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":"Q2296282$265D3ED8-E06D-4EDB-85DD-C4C9E39819B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ed6845b61b37c396aa6a60c3d24b253cd401d7","datavalue":{"value":{"entity-type":"item","numeric-id":299202,"id":"Q299202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05db55435399cd64da5abc27ac382f81d912ca8","datavalue":{"value":{"amount":"+0.7303288578987122","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":"Q2296282$FDB2D790-2C3E-4A34-B4FC-188F35EA2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bb21fafe3ea4650a902c68c39647cd452ce9fa","datavalue":{"value":{"amount":"+0.7289190888404846","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":"Q2296282$68BF8F17-E64B-4E06-B375-18EE565FEA79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2296282"}}}}}