{"entities":{"Q724933":{"pageid":726782,"ns":120,"title":"Item:Q724933","lastrevid":42661794,"modified":"2025-07-07T19:36:05Z","type":"item","id":"Q724933","labels":{"en":{"language":"en","value":"CoFI with Don Sannella"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6910730"}},"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":"Q724933$65A1960F-85EE-4A08-8FC8-34639B65ACE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ab7d8bece6cce5cb7cc9f16fb78576d9b339e6","datavalue":{"value":{"text":"CoFI with Don Sannella","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q724933$DDB4CF3B-78F4-4EBA-85A7-0A7E7430A11E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13d8f6970f07fbdd5fc7791000799b4278604a98","datavalue":{"value":"1397.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$96401538-EAFF-4C9E-8FB7-CDDA7272F9C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$D7994895-DE40-428E-949B-800A177C267B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$9B09CF86-0D55-416D-A501-54C6CFF3D30F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c11ebaf7be0aa0574d40db26aec7772df0b741f","datavalue":{"value":{"time":"+2018-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q724933$1D091B62-DE2B-40F5-B7ED-4D0D47ED51F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$A58F9A0E-4E20-425A-BA8F-A4735B50F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$755A5F05-0DBA-435D-B38D-FFF16623CE35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b08bbc0aaedfca07ad4439260b958e704e6562f","datavalue":{"value":"6910730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$92F1804F-4BB3-4163-8963-D45A0AD9A41A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q724933$1C1316A3-BBFC-40D6-BBFA-FDB121D04090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q724933$3A9AE4CD-64E0-4A70-A321-495F4A1343D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q724933$53FABA46-8540-4864-AC1C-F2832B7BAD71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$323CAAF4-91D6-407A-AD6E-2DC35B530220","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":"Q724933$C704D5F7-CCFC-4F2B-AB63-85157AAC15F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d9c6568c73e9d1cf88e4fa9dfa5b7b51729f766","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.02.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q724933$EB2572EB-17FC-434C-B3BA-F1614A55DD2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77b8ae4dd1e1888cf13762d54a1310235eb98fe6","datavalue":{"value":"W2794026619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$0E26EC42-1D83-463C-A717-5C5007E67DD5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e0897008afb1b121d96c94a750f3fd20829abc44","datavalue":{"value":"Q57783357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$56BB4AFF-E93F-47B5-B7D1-5EAD68CAD6CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5468c1e1239dfce60e61bccd3160f4b4bb06131a","datavalue":{"value":{"entity-type":"item","numeric-id":1892700,"id":"Q1892700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$989B7778-C883-4A08-973E-0DBB7344E369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$C0856A35-36BC-4312-9468-D9EBA376D33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$2F56A946-EE9F-4DF7-98E3-FD87AD9567A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$27507091-E3DD-43A4-9045-F0F634F2392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e9eda5633627f3277aa943a0eb055885cf8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4725720,"id":"Q4725720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$7CB22134-0475-4D90-87F3-BC6B57032F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24241acfc095506f40780fff0e93419bd74a256a","datavalue":{"value":{"entity-type":"item","numeric-id":4471726,"id":"Q4471726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$05575878-8552-4BDA-B98D-A705C7A84CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918054d5ef9a74c159726e5cedc74605d3ec3553","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$6A715F0D-06C2-4435-8576-CCDA0B151D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fcfe5e44126183d5f58450440990600ca3479f","datavalue":{"value":{"entity-type":"item","numeric-id":3365224,"id":"Q3365224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$9B6D826B-8E9C-4F76-87F2-7A1E774A7B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724933$74D07BBD-BC5A-4031-85DB-9AF7DEFC42C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"568c4caab35be0500d2287c5131d2e90c3bf8014","datavalue":{"value":"10.1016/J.TCS.2018.02.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$C47533E6-8FC7-4643-B45A-FD4963101690","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d6c15caeb5fc6bb8e29d4c49ffe86c306b0c04d1","datavalue":{"value":"journals/tcs/Mosses18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724933$B6B065EA-2BE4-4AAA-9281-34535D5BE1CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d22a00958ca9d9f41bee0378b637a4153db0553","datavalue":{"value":{"entity-type":"item","numeric-id":5410194,"id":"Q5410194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2b510242ba2a15ac9a72710a631fdfb7025d56","datavalue":{"value":{"amount":"+0.7166494","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":"Q724933$AF3FD6FF-ED0D-4324-A3C2-6F8C0E834591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9228ac83c8d1370e8e471eae069de1e242d4e226","datavalue":{"value":{"entity-type":"item","numeric-id":2075712,"id":"Q2075712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e84ec658ec43404ae6f88d04c7f28be0c35f5ba","datavalue":{"value":{"amount":"+0.67460346","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":"Q724933$05C24D2F-5B2E-473F-900F-DF77EB73FC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4bbaab11e58e7a5b4abe270026cf70f5989d72","datavalue":{"value":{"entity-type":"item","numeric-id":2038307,"id":"Q2038307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290c48e9501d01150076a6bcdc0fafc547c88b8b","datavalue":{"value":{"amount":"+0.67359835","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":"Q724933$2B951E77-7F7E-4AFC-B646-939004451F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a361dc167e52101b73881294b8bfa702e6c92bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1790354,"id":"Q1790354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c86461eac951b06644aba178c3960bb54feb087","datavalue":{"value":{"amount":"+0.6676039","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":"Q724933$4E1E9806-F474-41D8-8A85-D947272AEFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77a6dfcf4f8c9ba2af413fd557d876e9dd1dd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5070475,"id":"Q5070475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923119b1eff88eb52a2f147a55a077a3d23b1614","datavalue":{"value":{"amount":"+0.64425814","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":"Q724933$40B85EA6-1D3D-47ED-AEB8-54DD8BCE0C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86a14f7555358bd03330f00846bd90ed072fe49","datavalue":{"value":{"entity-type":"item","numeric-id":1730907,"id":"Q1730907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f284c710e803df5868c5ccbf63f794e7c5c74e0","datavalue":{"value":{"amount":"+0.6416764","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":"Q724933$47629E65-3EC4-4A77-9D38-89F7BE3C6B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672cd689e8192cf7f3e9d278a48f5ca18991c8c8","datavalue":{"value":{"entity-type":"item","numeric-id":2871087,"id":"Q2871087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae735735223fb00af10f4f2dbfd4a84d3708f89","datavalue":{"value":{"amount":"+0.6414239","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":"Q724933$D2462815-22D9-48A3-82AC-CE416D893181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f629cc4106d01c303af79cc1cc194f2d35ce7e1","datavalue":{"value":{"entity-type":"item","numeric-id":6064647,"id":"Q6064647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e90e02404a95387fdd808a5187d4968c58f0ba","datavalue":{"value":{"amount":"+0.64074516","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":"Q724933$5EB15AAD-818E-4E91-A672-C381D3D376F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3752d4a2a804523b8d52172d76cdbc331c8a11e7","datavalue":{"value":{"entity-type":"item","numeric-id":549074,"id":"Q549074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8be2466cd8fa159ea6b7d6e441b0f50394b3da","datavalue":{"value":{"amount":"+0.63425434","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":"Q724933$F836A4D5-6B70-4D79-BADB-B201C147119E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:724933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:724933"}}}}}