{"entities":{"Q968276":{"pageid":970124,"ns":120,"title":"Item:Q968276","lastrevid":50972966,"modified":"2026-01-16T00:58:38Z","type":"item","id":"Q968276","labels":{"en":{"language":"en","value":"On the observational theory of the CPS-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703839"}},"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":"Q968276$783616AB-5F68-4FCB-ADCD-73332C7D2851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ba6b66246e5e06cb6f429ba3b2139a79dfb7632","datavalue":{"value":{"text":"On the observational theory of the CPS-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968276$6DCADA4A-5636-4DFC-AB71-F57E6D4F6EF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"567c320034b012152c18b6711941bdd659579fa1","datavalue":{"value":"1211.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968276$941FA1B2-D8AB-4866-830B-7F03A823B6CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f45fe6dc3b8556795c0f1b2b367086cafbbbbd7","datavalue":{"value":{"entity-type":"item","numeric-id":470041,"id":"Q470041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$AA4BF311-7234-40E6-A7B3-B35A6B3C457D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$95F51882-7547-4D56-BE55-FC01EB20334E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968276$03CBC7E9-0DE8-460B-8B95-D272C00E0588","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968276$8DA07E59-1941-414D-8174-F302F3A07F98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aac977873259d23c04d6215677839ef0cb73fe85","datavalue":{"value":"5703839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968276$449581AD-D111-41F4-9FC3-42C017AB4ACB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5831b42f07124ced04ff5e003c79d3dc91036152","datavalue":{"value":"Continuation-Passing Style transforms","type":"string"},"datatype":"string"},"type":"statement","id":"Q968276$80DEC5FE-C53F-4894-AC44-A7B051D41543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q968276$3A031F76-8462-4EB2-A6AC-F6A8701DFCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b576e1e0ebd168924bd50c719292c6f98502cca9","datavalue":{"value":"labelled bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q968276$AC384C21-CE3A-4AFE-88E5-110FC6DEBC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6da3511a08989a4b4c2b437909a3a08c3de35d","datavalue":{"value":"Morris' context-equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q968276$8CA485E7-7469-46BE-955C-04118D4C380A","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":"Q968276$F50201F9-7D36-463C-92FB-742FB8B5A5BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a05cd554d9ee9aa7e62e049a308f0f3cc7df44a","datavalue":{"value":"https://doi.org/10.1007/s00236-009-0112-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q968276$4CE1F4E1-A2F0-4757-9FCA-1C9A3E01D21D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d194cea19d5e3fad8d5b15a75c23eed41bc058c","datavalue":{"value":"W2074139511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968276$FE82638F-B6FB-4875-98D9-C2ACF20A80C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"31249c61b563195bd9defbf98d536b5babd6eadc","datavalue":{"value":"Q62041647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968276$1245739E-1ACA-4DBA-9751-582D9EB68EAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$0B6F01AB-E8CB-4903-BF77-089A177993C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$A6257AE6-D584-4434-BCC6-5E5ED07A7954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c071ee35de0351346f3af50bff8534506639c513","datavalue":{"value":{"entity-type":"item","numeric-id":1887170,"id":"Q1887170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$9EE40766-1BB6-4BC3-9521-2FB09207F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634969c7735e685aeb8a1782172ac61025af3861","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$661829D3-8D6A-4C63-A379-89DA7C07E1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d3e86ef9beb1da039ebfc32fde3222c113689d","datavalue":{"value":{"entity-type":"item","numeric-id":5899014,"id":"Q5899014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$E52130B0-9887-492B-93C6-C6067318080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$22A5E350-CA20-484C-B357-0A9C7B7E9676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$54536B8A-035B-4234-B384-24667ECD7ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$1F3C512F-0D0B-40E7-AAF9-7C420A8C69FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$2E1044B0-2818-4A7E-8844-40EEBA1E01F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$A462CA90-8B7D-40A7-8A5A-6C9C9CD17988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff61b4356c6431b9bc982a430a5c07be0766a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$C7E81CD8-A12A-4919-B581-0013D71FE83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$496E8FC4-C8D2-4824-B9A3-FCAB55CD9227","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":"Q968276$F8EAF0FA-BE49-4BE0-BF71-09CD1B6D1C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$1F6AF3D3-458C-4AB5-9786-15565E55CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$F4133B32-00E0-491B-B8EC-ED0FD6CE2598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$B670757C-173A-4647-B31F-ABBED881E0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$BAE63F6F-60A8-4B17-8405-ABAB429D08FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$6B4BC2EF-6EE4-4154-8A56-ACBECCB30614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$8C8DF741-92B3-4C03-BDC0-FAC6F233EFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956598292838c18761f954571ae7abd804f61a56","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$D58045F3-58DA-42A8-A6BD-BC1AF4977486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$0421FC8C-11C7-4830-9DA2-2FA94BD3283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31507ada159b0603f102dbb8c9c50cfc19f08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2704331,"id":"Q2704331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$1AD99B9F-03F1-4464-9E4E-2FAFFA246B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5bf5927d83ab8103c1013d7aaad1bb82405d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968276$BF15812C-0F3F-4FBB-8FA3-1CF8DF3EE912","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af86f8d21f1964cd17d892852b512a0203273aa3","datavalue":{"value":"10.1007/S00236-009-0112-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968276$A734E612-B48E-4563-9AC0-144DD2253367","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce39759c8e4d7b0271dd5b4559ceb7e6b0f7171c","datavalue":{"value":{"entity-type":"item","numeric-id":2851329,"id":"Q2851329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f319b70ecc4161326c749999939dae56340039c","datavalue":{"value":{"amount":"+0.9654579758644104","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":"Q968276$0365D50F-CCC5-44AC-AEC4-0A6E7D5A16B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7e26849003337c0775e942b135d9fb6cafa8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1887170,"id":"Q1887170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242bb2404c77143748d98474bf7396075d89dec5","datavalue":{"value":{"amount":"+0.762251079082489","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":"Q968276$9583C5D5-6B01-41E5-8284-6C0BFD72F3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e93a2885fbfcad8c8d7d7bba6bb88774a65db06","datavalue":{"value":{"entity-type":"item","numeric-id":2892764,"id":"Q2892764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d3b2c081dce4978651cc8b31b2efb7e0d7d1e4","datavalue":{"value":{"amount":"+0.7521516680717468","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":"Q968276$50D30B04-817E-43DE-8E79-CD7A5F5F60E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dffd7de9c660892c47ebdac538714c172f6221d","datavalue":{"value":{"entity-type":"item","numeric-id":1575687,"id":"Q1575687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dda235077c8a63348c5dd8f5cc8261c3b374a18","datavalue":{"value":{"amount":"+0.7514304518699646","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":"Q968276$EF3C31E1-5F47-44B4-A0DC-3458BF52DAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96f794f195212c52036e4aadb67f10ff32e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e8ab6017e9659ed469068f4f1a74221688f374","datavalue":{"value":{"amount":"+0.7421597838401794","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":"Q968276$1FBF04DB-890D-4D7E-B176-78DC717B2FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:968276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:968276"}}}}}