{"entities":{"Q456466":{"pageid":458233,"ns":120,"title":"Item:Q456466","lastrevid":62094303,"modified":"2026-04-11T03:43:28Z","type":"item","id":"Q456466","labels":{"en":{"language":"en","value":"First-order reasoning for higher-order concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098625"}},"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":"Q456466$A51BAE2A-8CB2-4307-B312-742131017FCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12dcb9842e3a4b4a3a0ea82a2582ff2f3653e1e1","datavalue":{"value":{"text":"First-order reasoning for higher-order concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456466$32EC16CC-D85C-419D-BD57-0F337A94B1B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"204575826ed411c3c8b37ea2c95b325e17687421","datavalue":{"value":"1248.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456466$71C90509-54E2-4CAB-9520-7AF8483E0836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$88D915AC-512D-44DF-A8F0-C9617E47BA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$3A5809EE-E009-490F-8418-D010E0165649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$B573CD7C-EE09-4C08-A661-7B011D2BEF03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a1506ab7ce1f53f78adaf1a8c5bad8d6fc9e1d6","datavalue":{"value":{"time":"+2012-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456466$F14736DE-234E-460D-A5FA-263AC8099F4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456466$9F898301-9ACA-4E24-B707-48E6B851D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456466$AF64C8A2-F2FF-4D89-8BB0-9508B45131EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bb8b8f2ea2e2ed9d094422aa21f04e373bedc65","datavalue":{"value":"6098625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456466$28363DA0-7950-4873-8B59-506FF2D3E7EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"881b1b26b4c965a56835a0d558843e4cfad22e8c","datavalue":{"value":"higher-order concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q456466$AE079F6E-34D5-4DB0-BD08-E98547B64AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q456466$1813F0CA-D431-402E-9697-F0B39D8074F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456466$EED61FD1-02D2-4A8A-9D56-5D291078CF3E","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":"Q456466$38FA7ACB-61B3-4970-B2CD-44EFA6371FDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"818bacac136b54791b9e07afb0adebaeb5ad88d1","datavalue":{"value":"https://doi.org/10.1016/j.cl.2012.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q456466$5DE4A289-5959-46E1-82BA-C6C4B05F1902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7675f644b3f80992e825ab50dbeaf46d086ff75","datavalue":{"value":"W2052295798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456466$6D51B889-DE39-4FA8-A667-29AE0988EAA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ced64537c4a2fe23173b170b0f0d0e9f46c3676","datavalue":{"value":{"entity-type":"item","numeric-id":5096732,"id":"Q5096732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$F11F42DF-F0C7-4AA6-8A7A-211C142D1726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$DB44DF6B-7C0A-4A58-BFD7-9A2E741BEFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$B27D0DDD-2BC8-4D89-9DB4-68219F8A3584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$3F49F95A-BD06-4631-A486-3AB68F87FA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$31E13A58-1857-464E-B8A5-1C7D431A1BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$F417D3C5-0701-4797-A288-E7E3D821706B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1dc7f6cfd1bcba36f6b78c2feb82d8ffb024cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$A8E1F85C-D4E4-43F3-9AFB-DF1D7AD5A7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb967aae2c165d79360632a25231f9a457be2572","datavalue":{"value":{"entity-type":"item","numeric-id":5705882,"id":"Q5705882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$63EB8590-7063-4026-81A3-C3D9570F66A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957a88ed0021768bfa2782f9daa124179981d332","datavalue":{"value":{"entity-type":"item","numeric-id":3000588,"id":"Q3000588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$77C71604-48DD-436C-B944-313CB64B19CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$9A543621-5129-4BF5-A3CB-F4C03CE4EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dd6a0185a982d063bc5e3c14ea609468ea8771","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$F5E55EF1-31ED-4800-8E1A-AA6138571F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec24a306d6c11f2ab6b4b1d3ffd88c7bd3792f","datavalue":{"value":{"entity-type":"item","numeric-id":651309,"id":"Q651309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$C7D9706F-D308-4781-8540-060307857F62","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":"Q456466$4DE68805-66B3-49C9-B456-946682CECCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ad408d201835fe81322d6510f08582304b548c","datavalue":{"value":{"entity-type":"item","numeric-id":3000603,"id":"Q3000603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$7A666C6A-A545-47AE-BF88-3CF4111EC450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e702400d80318b7f723da1016b209ad740011327","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$94C7CBE6-80C3-4941-83D6-9D65E5C72D5B","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":"Q456466$F9EBD0A9-5768-4B24-88FC-1EC2845EC01A","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":"Q456466$C21DCD5C-F297-40F2-9745-3AF43F48688E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$4624F190-91F0-4264-98D2-1ADDFC10FF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5389926d68ebcaebfaab33d4737b906a344c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899331,"id":"Q5899331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$62F5A115-8A02-4134-ADA3-8318B1BE8CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e540469eeca447506cba8553e8dbe095c6a67a","datavalue":{"value":{"entity-type":"item","numeric-id":3546343,"id":"Q3546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456466$2637261E-4C39-4ABF-BB0D-F80ABC2FC30F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccf294ffa387f11b5b769f223385c43a16ed14fc","datavalue":{"value":"10.1016/J.CL.2012.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456466$AB1DF10C-5321-476B-BE16-C64D3C1B6C31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0d8300f32501b0a513ee023b419d344e90e2d","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1816b4b5a624de1c19d18422432e8ed65101c20","datavalue":{"value":{"amount":"+0.8230879902839661","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":"Q456466$6E2450D4-14A5-471E-BAB5-E85538B3DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6435a78dedf7596b765443f4ffe477ce65627cfe","datavalue":{"value":{"amount":"+0.8222062587738037","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":"Q456466$0DE5236A-2172-420B-9898-F9E52E8E1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270f53f5564956591b2270b10970da12572fd260","datavalue":{"value":{"amount":"+0.8181769251823425","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":"Q456466$3B62A385-737B-4A79-A009-DB03021B7A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413cb040add77f44419155140af130dd355f7251","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a359cedef590efdffebb2e062279d3c037b0c3","datavalue":{"value":{"amount":"+0.8147596716880798","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":"Q456466$9248538A-6AE1-400C-BA40-805AD46D541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d23f37d80a9091c4f6476957f3947427e2a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":2286742,"id":"Q2286742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f73a258b9abf44ac00522f512af6f7eb77da18","datavalue":{"value":{"amount":"+0.8101778030395508","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":"Q456466$84F04C7A-C900-41D4-A764-0B5C42C8F364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order reasoning for higher-order concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_reasoning_for_higher-order_concurrency"}}}}}