{"entities":{"Q7010080":{"pageid":21563424,"ns":120,"title":"Item:Q7010080","lastrevid":81644678,"modified":"2026-05-06T19:00:39Z","type":"item","id":"Q7010080","labels":{"en":{"language":"en","value":"Compositional reasoning in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013872"}},"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":"Q7010080$B7457B2B-83CA-4D25-808E-D27C009BFE9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8c5c7d24a45a7b2c91eda31738b76f7483fa729","datavalue":{"value":{"text":"Compositional reasoning in model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010080$D63DC350-5FFE-4F93-B134-5DB581D4ED3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc468a5a70b9483869ab4bc31a67239f5a27265d","datavalue":{"value":"1566.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010080$A9D04113-4A89-4A1E-AC85-7328BA1C4813","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a957f4318aa384ef9c37854272b9c6ef72dd6008","datavalue":{"value":"10.1007/3-540-49213-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010080$0A1411E7-678E-4CDD-876F-EC5907CCFD1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25c3a4767749f37a23027539770bcbf2d10ff5fd","datavalue":{"value":{"entity-type":"item","numeric-id":7010079,"id":"Q7010079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$811B093D-FAC4-4B82-B593-D967A1F7696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb47f6abab9fb6696f03e8324ba80865eb13814f","datavalue":{"value":{"entity-type":"item","numeric-id":1589588,"id":"Q1589588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$9EE3EE5D-5B13-4DDD-A5E3-2D87458EDCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$C00E50D8-51D0-44D9-8C1F-A822736B7ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010080$AA3C98D9-5EE9-4352-AB10-A78F5E2BE1BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010080$D29D02D0-0329-4364-8B4A-BA6FE44CC209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6ce88bf4ff395caba37b203123bca7d13774d6e","datavalue":{"value":"8013872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010080$BD3CA1C5-9AD3-4D72-81A1-569C772F027C","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":"Q7010080$A6BAD595-B870-44A1-A90F-BF95A103BED1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$1AFBACC5-AA41-4DDA-A018-4F07365F686B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$7D616F56-45A9-4292-982D-8C4AC03934A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$2A460A59-A815-4FA5-A920-AAE93300D963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$D539CB57-2809-4750-A4A2-7A26C9DB6142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159f4b003483b30c5a9d5f669321d8083f5570bd","datavalue":{"value":{"entity-type":"item","numeric-id":6044123,"id":"Q6044123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$1390883D-876E-441B-A630-6910152CF5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$2A261773-6E6E-45D4-876C-5B747DA2C36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$403D552B-872E-4297-B744-98EA13A93FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$6DE1265C-5561-41E5-B544-C4A5528B4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010080$90F34005-7B09-4951-B924-64EF32A68C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional reasoning in model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_reasoning_in_model_checking"}}}}}