{"entities":{"Q2805160":{"pageid":2815898,"ns":120,"title":"Item:Q2805160","lastrevid":57476499,"modified":"2026-03-31T02:14:57Z","type":"item","id":"Q2805160","labels":{"en":{"language":"en","value":"On the unification of process semantics: equational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578704"}},"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":"Q2805160$214D8B76-5F67-4416-9B56-1FDD71631803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c95b3ff8410ef927369ce0efe98e2d6a5dc0f5f","datavalue":{"value":"1337.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805160$6B636784-1372-4049-80D6-6DE24AABC6D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$5ADE9BAB-C8E7-4E65-87D2-A08B6723B4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741c53fc912477e5a1a01bbb10608ec4748d1085","datavalue":{"value":{"entity-type":"item","numeric-id":843210,"id":"Q843210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$E2322B4F-7C3A-4DB1-801F-68A3A8D0D4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$7448CD6A-7FAD-4884-BC16-BEC2DDB1362D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$02BF2E5F-D661-4B2C-BA7D-95BFB501CC47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805160$6269569A-8319-4F9F-8C3C-4A48068F66CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805160$C640D2C0-D5B2-4ED6-8EEC-74FB7E596F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805160$37A13CDA-7533-4E25-9FA4-09262C608855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a358bf540664bc41b2f74c137512e78e8ac28663","datavalue":{"value":"6578704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805160$1EBEA6CA-BC2B-4B05-A56A-D252D5532005","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805160$FD0F1E7B-D254-48F5-AE97-A4A3B2548C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7047b1885b70f8034ac26ad14a3138b112a066","datavalue":{"value":"linear time-branching time spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805160$78E11F2C-36B2-4A3E-A2E2-F44FFCC01354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01179cbbeafe9c7f27f917068c21b2878730df5","datavalue":{"value":"equational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805160$740423C3-4FCE-4A5B-A842-50B6A94A4201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2fa2c9f301cb3135942071582e40bf38be20ae","datavalue":{"value":"uniform presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805160$F490D8D0-9B2C-4301-A1E0-60714257E0BB","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":"Q2805160$0C3CC10E-2A0E-41D9-A465-7416124F6EF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3ef886c179578e8b1e1d57fc6a70dc9ef335273","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805160$CF651D89-0E6B-4F65-9681-5D79BDF424FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2432fa808589b577924578b8bb6f8c66d9b4eb8c","datavalue":{"value":"W2077666692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805160$7A659C43-EB8B-450D-B3CB-AE330FABE646","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ceb35a13808ea07b4f81ceceedac9c39a088f9","datavalue":{"value":{"entity-type":"item","numeric-id":3612484,"id":"Q3612484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$2EBA8010-FBD2-4BED-80C1-51851BFE4846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$1AD06CBC-2A8C-4F18-80F6-A0D7BB567198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc54c7126232269dba3c4166744382f144e71f1","datavalue":{"value":{"entity-type":"item","numeric-id":5897489,"id":"Q5897489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$FB690BCA-5B25-4016-8445-2545B7187397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375a416478c172b30a37596e6ac766c9e523a373","datavalue":{"value":{"entity-type":"item","numeric-id":2871827,"id":"Q2871827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$7F1E15D1-0D06-474F-887F-6393DC955F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905485db0d24d6e8428debb296825996eafb17a0","datavalue":{"value":{"entity-type":"item","numeric-id":3599079,"id":"Q3599079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$2E174B07-BE77-45AC-A189-9657BAD5924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c68179a1bcbfe6ff9cd6018506cde54c1e0ef9","datavalue":{"value":{"entity-type":"item","numeric-id":843212,"id":"Q843212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$51A6651C-4A19-4CA1-81D8-CB4FA83887CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de6a6ac0d71de63bb5ce1865ccca6e1fc9285a31","datavalue":{"value":{"entity-type":"item","numeric-id":5312903,"id":"Q5312903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$067CE608-2564-4103-A322-9F487B5C84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$FD145075-A80C-4061-A2F4-05E609FB9ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a74d21568520fa0cd94815a421dbab7f0f0e799","datavalue":{"value":{"entity-type":"item","numeric-id":2642988,"id":"Q2642988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$361670ED-10B3-464F-9D7B-D1241E8B050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8669f9e7807afc87465ee19084a4ff33202c1fed","datavalue":{"value":{"entity-type":"item","numeric-id":1007236,"id":"Q1007236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$EA32D19D-F2BF-4873-87E0-5AD71F39AD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$513DC1D5-68D5-40CF-AD78-1B0C2E1A6E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486913fa48d66d7a898a024b17d1b2c4cae7e881","datavalue":{"value":{"entity-type":"item","numeric-id":1607117,"id":"Q1607117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$517702FE-902B-4314-A89A-721DC4310218","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cccc224477bed37d57fd01c606d91020922d770","datavalue":{"value":"10.1016/J.ENTCS.2009.07.093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805160$09A3D15F-876C-472C-96CA-BB24E55E9D6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc3abd0e41011c905e247f6911d82aedff204cf","datavalue":{"value":{"entity-type":"item","numeric-id":4965824,"id":"Q4965824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adff1d1f88428bf88dac85603131746909f00080","datavalue":{"value":{"amount":"+0.93300676","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":"Q2805160$A475CA17-8D58-41C4-A648-F5AC0A762100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86927814dc2a238238416ffe1500bef620675499","datavalue":{"value":{"entity-type":"item","numeric-id":3599079,"id":"Q3599079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ef68bad02396b87d996f9398e92f0b12e96dd6","datavalue":{"value":{"amount":"+0.9164889","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":"Q2805160$F513619B-C8A9-4220-96C6-8CAEDDEB439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0eab4e3c54b2a7ad5e7f072773feff44da1078","datavalue":{"value":{"entity-type":"item","numeric-id":5709379,"id":"Q5709379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95620e1573e913a9a0f31eea265db68f299d2896","datavalue":{"value":{"amount":"+0.9014162","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":"Q2805160$3F305349-5869-407B-B250-31459577DD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc1f4dbd3af0ec6957f0c1e6c73ea7dad4956a","datavalue":{"value":{"entity-type":"item","numeric-id":911801,"id":"Q911801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7def0502a0e9600659becbac2d7ff9732afbad09","datavalue":{"value":{"amount":"+0.8968872","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":"Q2805160$8AD2E5BF-6091-4113-BB7A-026C468B8EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c65ec27dc3cd3656b9ab0f6ed949dc271f2fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3838763,"id":"Q3838763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8ca242c1b150b11af646d72a10363c981a969f","datavalue":{"value":{"amount":"+0.89682025","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":"Q2805160$C39F08F7-EDF8-4A7F-8842-93FEFD181DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80a62d93f2a2f73579cd5eb5180e2cc78972444","datavalue":{"value":{"entity-type":"item","numeric-id":5464037,"id":"Q5464037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aa1ab96b11d92b0fb33bb416fc1f43473ed2aa","datavalue":{"value":{"amount":"+0.88095534","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":"Q2805160$5C9784FA-2FD8-4B35-A3BB-52D88787E09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caba3d98ead09dc3d2045676bb82ec5268b81a4","datavalue":{"value":{"entity-type":"item","numeric-id":1607118,"id":"Q1607118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27319a857ec85d82a88fa43a118d11b5d91032a8","datavalue":{"value":{"amount":"+0.8783779","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":"Q2805160$49704A62-B00D-4804-8BAD-F2F2AF219918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e92dd7c17c8b45b7031edd800ef7e1de5bd67c","datavalue":{"value":{"entity-type":"item","numeric-id":3355243,"id":"Q3355243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a8b44d1a2a219e0570df91562515239b88e9b0","datavalue":{"value":{"amount":"+0.8764263","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":"Q2805160$1273225D-48EF-49CF-B07B-B4A4915D5A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d7024e7ac64fcc1200e1ea3c419ada8af40cab","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ef324358f4516fa38160bab11ca3e46d11d393","datavalue":{"value":{"amount":"+0.87460256","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":"Q2805160$23C9F643-380F-45A7-809F-7DA8C7B5789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f33d11939c62fa3318591a1533b406fc8a931af","datavalue":{"value":{"entity-type":"item","numeric-id":4896650,"id":"Q4896650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947db53ab7d86a5c2acde61625cb1fe08e2fd7ff","datavalue":{"value":{"amount":"+0.8745745","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":"Q2805160$2639DE1B-9C8E-4EEC-BFB6-0D3545F69408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362395ecc1e9553df39d40d6b207ee3eaefccc1b","datavalue":{"value":{"text":"On the unification of process semantics: equational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805160$F6A17771-E1D7-4986-82FC-4AB9C9A11F51","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805160$3D020347-2B29-414D-B76D-2025981ABF07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805160"}}}}}