{"entities":{"Q539429":{"pageid":541196,"ns":120,"title":"Item:Q539429","lastrevid":62701446,"modified":"2026-04-11T07:52:12Z","type":"item","id":"Q539429","labels":{"en":{"language":"en","value":"Model checking with bounded context switching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900837"}},"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":"Q539429$E18F4A4D-7226-445C-A8DC-D7EBFBB9BD91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c45a5c7dc14e9c8e28d2c89cc5d090d23f443433","datavalue":{"value":{"text":"Model checking with bounded context switching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q539429$02B7AB11-4026-49A1-8C68-1D0045CCD479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af09a3b525a5332466f093ee9f605efdefeac063","datavalue":{"value":"1216.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539429$311B26A9-2706-4710-8FC5-CAF3F47CD972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539429$094BB7DB-54DA-4F10-93C6-585BBD90A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfdb934060023f3dfd9cfd3d15ccdcbfbe975545","datavalue":{"value":{"entity-type":"item","numeric-id":539428,"id":"Q539428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539429$CBFAECCA-D043-48CA-A926-BE89E8EA8CB1","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":"Q539429$CF7F5CB8-36E7-4C46-859E-BA7BCCBCD66A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264086f473b3dc72d65a81f91e38722047d0b29f","datavalue":{"value":{"time":"+2011-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q539429$D8C7829C-4540-46DE-A1EB-63EE2E10BA18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539429$A59D186F-0468-4F6F-882F-70F9BC16D064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539429$F1BB3BCC-C75A-45CF-ADA9-C856A1C6E2A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"879f7ca168d8d5f098c89a0aea1514658fe4c1e9","datavalue":{"value":"5900837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539429$A90B5185-990D-41BB-ADAE-D93F488CA0B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71ff3cf56c729d435abb8d73fcf62042609ec86","datavalue":{"value":"logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q539429$3FF2A52F-2416-4541-8304-AD505DA24169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7bf11626141f10491819543bc6e69eb57efdf3","datavalue":{"value":"depth-first search","type":"string"},"datatype":"string"},"type":"statement","id":"Q539429$E4EDA037-2569-488D-831A-A5EBBDCC7860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d1d14a274e0ce080527e634a36ab0542bc9aa4","datavalue":{"value":"bounded context-switching","type":"string"},"datatype":"string"},"type":"statement","id":"Q539429$0043F440-52CA-44EE-8998-7AF653EF3702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q539429$97628F9D-3184-434D-929A-461E09D5DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235288adc046076752f167b5e322aa9a0cbf520a","datavalue":{"value":"bitstate hashing","type":"string"},"datatype":"string"},"type":"statement","id":"Q539429$15C16EAE-A3D4-445B-820B-D8DDABB47903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q539429$7D2A20CA-8A21-4A91-BBFF-2BB182E7B134","rank":"normal"}],"P1463":[{"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":"Q539429$EFA2375F-A8D3-4C72-BB21-843EC7524243","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":"Q539429$8225F21C-BE4D-4EF4-9341-B965DACF0567","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1082c606138199b56f14b01c5cc01e391786c60a","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0160-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q539429$6733DC40-7CD5-41BA-8BF8-16CF64ABD8F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"525c4eefc5c7674d2a6924e7f95ca6d213897593","datavalue":{"value":"W2058600430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539429$6FD39A4A-9237-4A6C-8055-C648E1875580","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d7d3ccc3684bd24073efc75ecbe050838f84f1","datavalue":{"value":{"entity-type":"item","numeric-id":5591930,"id":"Q5591930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539429$A6605614-3728-4C4A-A8CF-8C6F749A83E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539429$4BB4B465-57D9-4EE7-897D-91D5CD0B4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4f151d758563db82252d89520c2ad328b8c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539429$AF8B28F2-3229-4D19-AE4C-3FBBC2964E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539429$74A1B062-9F58-473E-8B3D-5CF6303247A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4487f21817c47e733791daa0dcc5dfd88b46f28","datavalue":{"value":"10.1007/S00165-010-0160-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539429$8B45C89D-83C6-49B3-BC36-98949C829AD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2440af5d03b9c65fd3eba50e7a58a570f7eeac","datavalue":{"value":{"amount":"+0.7587422728538513","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":"Q539429$BA8EB5AD-DFCA-45BE-91D0-FA58BE40C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c4de13273701c786fea45ad4f57635f36ffb34","datavalue":{"value":{"entity-type":"item","numeric-id":5111714,"id":"Q5111714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906c76c805e8d45ba0d7f733c9bffbf23b5a85e9","datavalue":{"value":{"amount":"+0.7387184500694275","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":"Q539429$DA7316A7-6D6F-40AC-9E36-0F53372EB08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fc4434a2e23cd3d7373be9e51ab2a0bb74c722","datavalue":{"value":{"amount":"+0.7242438793182373","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":"Q539429$92564CAF-D5AD-40C5-BDA7-F20FE05B0776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fc4434a2e23cd3d7373be9e51ab2a0bb74c722","datavalue":{"value":{"amount":"+0.7242438793182373","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":"Q539429$BC229F2A-1B6F-496D-939C-D2A0BF9E129B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfad2a8b272cbf8737d9e0b23c0c5ec9834babb","datavalue":{"value":{"amount":"+0.7195361852645874","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":"Q539429$F2F00ECB-2FDC-4DE8-B77F-13F48988D80E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking with bounded context switching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_with_bounded_context_switching"}}}}}