{"entities":{"Q931435":{"pageid":933283,"ns":120,"title":"Item:Q931435","lastrevid":65463432,"modified":"2026-04-12T02:46:07Z","type":"item","id":"Q931435","labels":{"en":{"language":"en","value":"Specification of communicating processes: temporal logic versus refusals-based refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292873"}},"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":"Q931435$11C7F6C3-7668-4627-A58A-CFFD9C1EE603","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de08ea4f989d20d2c239594cb084b9ea011d3553","datavalue":{"value":{"text":"Specification of communicating processes: temporal logic versus refusals-based refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931435$CF085ABD-2019-4761-8811-8B2CA1D77E02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f980241b9890ab934bd955a25cbb5fc24c84560","datavalue":{"value":"1149.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$6A6F1B5D-EEDB-4C1A-A2B7-E27570DA2488","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e5b6375cec486c10f672235e2a7de9b55f6384","datavalue":{"value":{"entity-type":"item","numeric-id":557890,"id":"Q557890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$7C0A1068-4355-4597-B7B1-B061F791EFF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$9E916B42-D717-46B9-9819-BA040915D41E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-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":"Q931435$1335CE97-F989-43B0-BE4F-AC11D9B54C69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4199d37ce764326cb38c64f24fe7b4e1e42e1b08","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:679c0f72-cb3b-4d18-b9df-c7626d74d659","type":"string"},"datatype":"url"},"type":"statement","id":"Q931435$79A50FB1-A21D-4AD9-9AB9-777A67699E9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$E2988827-48C8-4BAE-B5C7-65DD4617FE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$17531E88-ABE5-419E-ACD2-08C5A741668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$317A22E3-4E3A-4A40-BDB5-FA0015256823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0037a8ccb89c2f7e199f17ed6211afd4f6c53f92","datavalue":{"value":"5292873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$309C251A-C38E-4AC6-A148-5EC34C7E584D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q931435$766B9481-C323-4D76-8A5D-AF543BD3AF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2343a5a8ef11df42c57193030af17e94e3f8b7","datavalue":{"value":"Specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q931435$290FA12D-509A-4B14-AC0C-3D0A872A0AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03374b7979833e0db4f2171067f5ddcca97eaa04","datavalue":{"value":"Refinement testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q931435$99752598-962B-4EEA-BE60-0C9F351AC6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a390c8bbd5f28cdb29e456285429d5bc395c9ca2","datavalue":{"value":"Refusals","type":"string"},"datatype":"string"},"type":"statement","id":"Q931435$9AD96D7A-A22E-41B0-B4A9-1C4F4ADD3354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q931435$7581115E-F589-4D29-8E33-812523E84B7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$0838E6A7-83AB-4A26-AB99-19DBF7647024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$C843F0AD-C260-4A4B-AB88-C76C34BA73E1","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":"Q931435$6FEEC9AD-0033-4152-B823-2CB76D8ACAC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d9b3155959019e18c3a7038092e0c2cf79d2f3d","datavalue":{"value":"W2032270529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$27184E4B-74CC-4BE9-987F-48A1DE051EFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0140b8ec811bd039971bc5c7f5ad26997483a2","datavalue":{"value":{"entity-type":"item","numeric-id":4260699,"id":"Q4260699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$14EB5657-2768-43BB-92F2-8E86D33A4D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$1D1A2051-ECB4-44B3-8A96-442760D6B4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$63921F88-39BE-476B-9F86-B2EEDCAAD763","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":"Q931435$4BF8AA0E-2D25-411B-8F3F-976919FC3A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$B00AF18B-AA0F-43C4-B8FC-526ED42F0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3243e80a4e0ef20e36499ebb720b55a5c39f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$5AF5C583-3423-488D-935F-9D537A123621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$B175D9E6-BD69-4E02-B960-BB186D724BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$6622A66F-B04F-4463-8CB8-23C1A9D7F6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8ec0df86ca742b3bb969d01a8c98d0cee0e1f3","datavalue":{"value":{"entity-type":"item","numeric-id":2576581,"id":"Q2576581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$F15FB577-9BAE-418B-BFBE-1C6E253E1513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2dafdf2dfdcbfcaeacd3e001ece10487835b85","datavalue":{"value":{"entity-type":"item","numeric-id":1910421,"id":"Q1910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$E75830C1-8768-4C09-BDE8-EF2D25C96E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$1CC5ABE8-EB4E-4D7A-B934-82B94E8C9C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931435$1F854FBE-3722-4913-93EB-444AF6562B71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dbf910d0828583a7d88310fa4ca23193ade55a0","datavalue":{"value":"10.1007/S00165-007-0065-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$DCE33EDB-40E8-4C53-8EE1-FBEA68C232E7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"40d83caa80b3fb9bfaeec5dafd91d5b1e74a7264","datavalue":{"value":"Q130896596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931435$6BA529E7-7356-4E7A-81E7-C7DF5F5E4275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3944cdeb91080ea26c2459a3c718cb299a94e16e","datavalue":{"value":{"entity-type":"item","numeric-id":676846,"id":"Q676846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b8c00df41872535e821225ad7c527cf2a40965","datavalue":{"value":{"amount":"+0.8020524382591248","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":"Q931435$B6FA3D89-C02A-452B-94F5-170774486BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ecfc49be59afa8f00e3daaee351230a1cd2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5890047,"id":"Q5890047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9992042b47484bc4f4fba0d200952de4ee5d9edb","datavalue":{"value":{"amount":"+0.8002365827560425","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":"Q931435$344781AA-831A-4ECD-A102-74B35CBB107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02acf6ae1152cbf0dbf22f85fc8658ab6f5dc40","datavalue":{"value":{"amount":"+0.7888527512550354","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":"Q931435$EEE72580-AE0C-4878-A54B-5E6C4C8D008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6b99fd4349ce486779a51c3b85820dad408b57","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48989e92e0f1bfc6f2127def9fa300fc4aeeb18d","datavalue":{"value":{"amount":"+0.7873542308807373","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":"Q931435$30527B18-2F83-430F-AE73-3FCCDCF5D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b3a1a33e9e3b0865d0f40b1354e3f5e295e2b5","datavalue":{"value":{"entity-type":"item","numeric-id":1941860,"id":"Q1941860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37202f36c9234d29f4a70ac9f6286466cec99485","datavalue":{"value":{"amount":"+0.7758091688156128","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":"Q931435$F6D1D723-5273-4B20-BB58-B07A7F90E9E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification of communicating processes: temporal logic versus refusals-based refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_of_communicating_processes:_temporal_logic_versus_refusals-based_refinement"}}}}}