{"entities":{"Q1941896":{"pageid":1952638,"ns":120,"title":"Item:Q1941896","lastrevid":51679079,"modified":"2026-01-19T10:55:49Z","type":"item","id":"Q1941896","labels":{"en":{"language":"en","value":"On the limits of refinement-testing for model-checking CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148360"}},"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":"Q1941896$B3CBEDB0-4A3B-4E29-A405-BE696B58BC41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0595e0b3cd7585b2b5a98c286e0467cdbb6e09b9","datavalue":{"value":{"text":"On the limits of refinement-testing for model-checking CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941896$42DEE7BA-CF77-4543-B33C-66C08A1C88C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b2699cee044fe4f36f13b6d751f1cb77526f272","datavalue":{"value":"1259.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941896$0D1CE701-D704-4660-9837-5D357CA367B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6c2a5937a40e685c427c9b959ad4c359ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":287363,"id":"Q287363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$BB3D1F31-31EF-4A55-8FA7-DE1BDC07EFA7","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":"Q1941896$CC27A705-D600-4F60-8D79-CABBAB221219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941896$127B9E3C-7C6D-4AEE-8A19-C84774FB769D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941896$E65C4BAE-1BFE-488A-9CB3-376AE4608498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941896$E1552D13-E153-47C5-9FE9-3DA343B3288A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"469e39f03c9ea9bd23d36e7fe863d2fe36aa4c46","datavalue":{"value":"6148360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941896$C5BD32CD-9776-411A-837F-B526A30ED59E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b3d4a267a89ebb99c6e84cbf17d4da6b099ce4","datavalue":{"value":"refinement-testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941896$03EADC77-9B62-4393-A2C0-9B6C06C6E6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941896$D8037EAD-74EA-499A-887F-7B1CE99A8588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941896$1A860D6D-5147-4F33-84C8-ED028799F8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941896$62ACB1F5-AA3F-4FBA-A9B3-DD3EBB958F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941896$1DF289C3-C3DF-4F05-BA7E-8569FE751CDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$C4CC6031-EA69-4898-807A-4F8439973E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab2732a43462e4afd2685a78e5271e3564f77228","datavalue":{"value":{"entity-type":"item","numeric-id":23407,"id":"Q23407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$38571138-72C0-433D-B574-A87E06B307DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$D45CA4A8-5B4C-447B-ADA0-81476CBC8748","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":"Q1941896$3EA7FE04-20BC-45AC-A014-BB55BD988161","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":"Q1941896$530D1F78-953A-4AD8-B141-59F235713132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b94b6efe0deb63f8ba010c8e6c1bd11b856c2163","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0183-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941896$A3B05055-E5F4-4D3A-8FE1-E908882EF533","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af6a90248ad0fe2d1a1bc561fa72e20ae13f1f5c","datavalue":{"value":"W1979287973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941896$CE5A342D-1AAF-419D-8912-BF09CD13FB42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$BCA5D574-1F7D-4187-9482-898439777F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$FDF01CB6-AC0A-4F57-A660-F37109B3FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$A53BFC87-9033-4A5F-B15F-300B7611874E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$1FF373C8-F11E-471C-A56F-64E29B52EE83","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":"Q1941896$37DEB6C5-1AAB-47A1-9878-C836CF2D5558","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":"Q1941896$A5400D4B-244E-4539-BB48-AB40BB0415DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9672e978b219537e93b93a23579d69ea832c4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5703799,"id":"Q5703799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$FC558617-B48D-4BC7-A4C1-8CEFABD1CD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7574c7b1b6fc86ae7b3f020add0d6a95cec24e93","datavalue":{"value":{"entity-type":"item","numeric-id":5756603,"id":"Q5756603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$DCB4BD07-8A6E-4991-81E6-6B4AD4066B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b94490623a53e707ee373eb0ad16ea0d2b3083","datavalue":{"value":{"entity-type":"item","numeric-id":5198499,"id":"Q5198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$80EC704E-FE18-4066-AC17-CFA4E6ED4F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$B8955B03-18ED-4D33-BA05-3F36A6CC168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f330d99f36f3980011c2b242bffc1ecc1eb86a","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$EA497DCD-FB93-4350-AF1C-AA440020C614","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":"Q1941896$361D3D78-820B-420C-B4BD-37AD8BA99E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac401061be2855dd82e617ca880a8f1b7c9b280e","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$0441CAC6-44A1-4440-AFF5-4B77E84F9672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$93CC70EE-120C-4E00-8F89-125051501B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaac5c0fa402168c0a2caf0bf0439a536599aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5395127,"id":"Q5395127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$6ACF48D7-2B5D-492F-B729-7131FCC3056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60a0579383499ae5dffd1b321a9bc22bc1b63e","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$B418ADCE-68A7-457D-B46B-AD88EB6B4241","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":"Q1941896$A5DE500F-F115-4E35-A407-3E6FFC2D2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8669f9e7807afc87465ee19084a4ff33202c1fed","datavalue":{"value":{"entity-type":"item","numeric-id":1007236,"id":"Q1007236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$23650FAA-7182-485F-8AA4-BA23F89E8238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b1ed307f57b7b12d5102e14aada23bdb425109","datavalue":{"value":{"entity-type":"item","numeric-id":1764435,"id":"Q1764435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$E0239558-BA61-4835-88AD-3311D707FA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$3C0FF275-FF52-42C3-968D-748792CE9C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74051b4e9f22cc5ba0e84c7bbb71f35270f6a928","datavalue":{"value":{"entity-type":"item","numeric-id":5178981,"id":"Q5178981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$873A9080-C045-43AB-8857-E75819B81976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d454c8f549db37caccafcfaa99bbc9b1ea54df50","datavalue":{"value":{"entity-type":"item","numeric-id":5897501,"id":"Q5897501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941896$E08363B2-F5FB-42AE-9B55-EBEEA041BD19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c2bae9765c022fe58629719222002bae1b25c40","datavalue":{"value":"10.1007/S00165-011-0183-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941896$9584CD84-C329-4688-8227-27F5CCEC6756","rank":"normal"}],"P1643":[{"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":"060262765e0d2ded76410cdcb9e20197c4931e8b","datavalue":{"value":{"amount":"+0.8392733931541443","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":"Q1941896$77967EBE-21DC-4B8E-9E72-806F3718A967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f93ae55d8524360a2c79a34c241cddd6e8e982b","datavalue":{"value":{"entity-type":"item","numeric-id":2576581,"id":"Q2576581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1e3b192d51a0ba408cc5c0e660d1a2e7e4377d","datavalue":{"value":{"amount":"+0.8075630068778992","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":"Q1941896$DAEDCD8F-84AE-4639-8548-3191CFF9B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7311d4c27a33f3a72bb4f6daa9809343303034","datavalue":{"value":{"entity-type":"item","numeric-id":2810978,"id":"Q2810978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22dbbe5ceff2e7a93684934fe2e9141a1032873","datavalue":{"value":{"amount":"+0.7908767461776733","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":"Q1941896$B95AF81F-C6A4-4C97-BA27-F602815D8368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11351d9ded01274c0234849fddccb49b5b2345a7","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d44ee93d07e01eb395db25d63c74ab50993bac","datavalue":{"value":{"amount":"+0.7592523097991943","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":"Q1941896$D4E6550F-DFE4-4105-9A23-7FF89588E21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71efc3acf10f403ea881f91fba57c9be9e13d503","datavalue":{"value":{"entity-type":"item","numeric-id":2915106,"id":"Q2915106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246c53882630728464fcbc8eab3835b49d3c4d31","datavalue":{"value":{"amount":"+0.753680408000946","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":"Q1941896$2EE50BE2-0B86-4D61-AE77-0107CAFB3ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941896"}}}}}