{"entities":{"Q1285654":{"pageid":1296404,"ns":120,"title":"Item:Q1285654","lastrevid":70075524,"modified":"2026-04-13T12:16:25Z","type":"item","id":"Q1285654","labels":{"en":{"language":"en","value":"A behavioural theory of first-order CML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281124"}},"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":"Q1285654$09C73505-8018-4ED3-BC18-60B14C92F9AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89a7825d88fa496df54a6adf32ebcdc2cca83abf","datavalue":{"value":{"text":"A behavioural theory of first-order CML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285654$18B1CE96-648F-459F-905C-AD8A85D5BB8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb0d61ec98cfbaf709d4abf4a0b52b8a9794294","datavalue":{"value":"0915.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285654$217E1AC5-9A85-44D8-9D7C-78D385C17B6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a322fda6f6708cfa5fb4f5c497486b4fdf9604","datavalue":{"value":"10.1016/S0304-3975(98)00049-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285654$D0FC069A-0E59-4658-AA59-858F84B4939B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"360808fb44582348fdbe756012a1cacb624d08f0","datavalue":{"value":{"entity-type":"item","numeric-id":1285653,"id":"Q1285653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$BFC6BEB3-3F30-4B24-8422-D5ECBD1BF56A","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":"Q1285654$FD746E1F-5F20-42A8-8C0B-33C65AEBCB1E","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":"Q1285654$337DDAF7-B6C2-41A9-9334-B8CECEB2D55B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285654$35FAB324-5EE9-48ED-AA23-3FA35575A6E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285654$82E33D69-BA40-4A82-BFF7-77350B5D8AB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5eaeeb846cce4a10b7502f910835d8419cab667","datavalue":{"value":"1281124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285654$51A51099-5BF6-4397-AEEE-9ED5A95E7543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ab6689eb7511365214ead14f3ff1d8d6565854b","datavalue":{"value":"CML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$B2A65441-6FD6-45A1-A604-4E5DEF55E64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cfa8441402a19439e051e0538981bff3c28de5e","datavalue":{"value":"values","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$0C2706D6-AF24-451A-A8BD-FF6B46279229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$6AB18AAA-9794-4C1F-BDE1-2204C411696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf365319598a64c9d476ec4c014faad9a472166","datavalue":{"value":"testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$44884150-3A2E-42EB-91B8-BF6E6FD43F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608626254cf6b46c9527e4b59888e402a07015df","datavalue":{"value":"denotational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$A81D4D04-BBC8-40C2-8975-C147C05703C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$84336740-8736-4C5E-A67D-BD0D54607AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285654$F409ED5E-CFD8-49A1-B0AE-B1EDFFD5D282","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$90244AD2-9F3B-4515-AF1A-DBB93A95630B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29b8415bb4c295a269f9dc8fd3592af051b33888","datavalue":{"value":{"entity-type":"item","numeric-id":20682,"id":"Q20682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$D9EBDA8D-A27F-4107-9F31-1B6589D87C55","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":"Q1285654$D732017F-BCA8-4F3F-BE80-C53A24504178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee120d4e718b95f2b9895bf5f8edc938f08a1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4470506,"id":"Q4470506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$1A1D14E9-8050-42DD-8384-28CE0EA4E430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f237ffdc06c25caaa38b1976628a4a44da1cf91c","datavalue":{"value":{"entity-type":"item","numeric-id":1203719,"id":"Q1203719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$CA3F2E57-1676-407C-988D-43208E65B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$8D3B9033-8001-479E-8CFC-A60C40A2941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$AD601279-0F65-419A-8E34-2526C5C94550","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":"Q1285654$648EB3E1-F45B-4407-9C63-A05B0DB6DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c32b8646ee6f3a328dcf9097904f1c614ce05f","datavalue":{"value":{"entity-type":"item","numeric-id":3569034,"id":"Q3569034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$763DF0D7-FB59-4F25-81EC-76A9015E4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6203b4723a316c6e025f2804d602303a17070260","datavalue":{"value":{"entity-type":"item","numeric-id":2817698,"id":"Q2817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$BF32C775-6C6F-450E-91F2-CE001BFBF75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfa18eb346410eb5dd3cf33211effb323bff2fe","datavalue":{"value":{"entity-type":"item","numeric-id":4038734,"id":"Q4038734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$FD2D56B0-7CAE-4DCD-A748-298466E8906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$B8989E18-3E76-41E9-B887-A935D7276227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ac9bf7e9b6c54c801047a270c2bf72bf0f7e02","datavalue":{"value":{"entity-type":"item","numeric-id":4764628,"id":"Q4764628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$56E4C19F-989E-46B5-8304-38396E118F41","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":"Q1285654$563663B1-EB67-43B0-B86D-E1604AE9C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62f4104c4109f0558ad94aa0a1ad28b798274cd","datavalue":{"value":{"entity-type":"item","numeric-id":1902297,"id":"Q1902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$9A1A352A-DAC5-4F62-819F-764A11557956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$3342782E-F895-4137-83DB-A24447CBBA34","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":"Q1285654$D07870C6-E284-41E2-83CA-6ABA9833F12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55871b1c94b020cf743ed0d86de22d6a97d8a0e7","datavalue":{"value":{"entity-type":"item","numeric-id":688827,"id":"Q688827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$4DC89B84-AEAE-4EE2-93AD-FFE45347FBCC","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":"Q1285654$6334CD59-8CE8-4805-8093-EDF7BBDCAFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$F0AD763B-B35D-4ED5-9E5A-903E3D7BAA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9067ee2245f4304eb6459005dcf8c96aea1e126f","datavalue":{"value":{"entity-type":"item","numeric-id":672132,"id":"Q672132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$81538ED4-BA2F-4CD4-A891-484648698964","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":"Q1285654$6E742392-1E0A-4986-81D9-C4A95222E5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285654$8F5F13A4-DF1A-4A27-B2C7-A17EC557A5A0","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":"Q1285654$9096AFB4-BD77-4790-B07E-1981E6F36760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9599a208235b5d5e7e759114a44050689807162","datavalue":{"value":{"entity-type":"item","numeric-id":3569034,"id":"Q3569034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a76e76b4bc9bcd79da9f25f2b73a101ba65029e","datavalue":{"value":{"amount":"+0.8436428904533386","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":"Q1285654$8094051F-6EEA-4053-909A-28042D5F04BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962df6dbb14c6ebb12a35d10d2828e698a87d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":672132,"id":"Q672132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b65dd49f2452acc913bb555568c31b7ac66c9e7","datavalue":{"value":{"amount":"+0.8237139582633972","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":"Q1285654$AB4ABE2D-DC85-4A98-9291-2C3E6D264B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45e8202fdad0943c802994bc962b8d9239eda22","datavalue":{"value":{"entity-type":"item","numeric-id":2817698,"id":"Q2817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b446591447da8f9b29d75f5f589f2a795c599273","datavalue":{"value":{"amount":"+0.805345356464386","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":"Q1285654$C1593446-0AD8-4803-8F58-E43C8F3FE1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995338f76971c62a2722d2d0f509197998ef5abc","datavalue":{"value":{"entity-type":"item","numeric-id":4236976,"id":"Q4236976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9560c1b12fb7326a4c61c6029ea4137f9ae5c11","datavalue":{"value":{"amount":"+0.7984256148338318","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":"Q1285654$DFD46D41-1666-413D-86C7-DCE09C6806D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A behavioural theory of first-order CML","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_behavioural_theory_of_first-order_CML"}}}}}