{"entities":{"Q7010069":{"pageid":21563358,"ns":120,"title":"Item:Q7010069","lastrevid":81646574,"modified":"2026-05-06T19:00:57Z","type":"item","id":"Q7010069","labels":{"en":{"language":"en","value":"Modular model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013882"}},"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":"Q7010069$663BEFA7-42C8-4A71-ACCC-A450130F5457","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"325f14a2efdb179d312f3d3e10a9dbabb58e5c56","datavalue":{"value":{"text":"Modular model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010069$C6865CDD-85B2-4718-999A-5CD3E4833E93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2958db191eb7854ca283466452fba6421c353c05","datavalue":{"value":"1566.6809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010069$FC913B74-588B-4C2E-BB89-A8D808ECBF0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49353fdd7dc35df0e2f3bc1b711e1b38575d40fd","datavalue":{"value":"10.1007/3-540-49213-5_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010069$36DB1830-2FEC-455D-9091-604F237BF43A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$2F0CE487-C8D2-4480-A1AD-9EF1E1F8056E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$A3B7CB80-8A71-4801-AE4F-E36E28B18C99","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":"Q7010069$774A58F2-DDDE-40F9-96D6-8A9A3B25620B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010069$DAEC1C98-BF67-43F5-8637-65DC4F39E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010069$10A766E6-77B5-49B1-A9D4-AAE33F05879C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85f53020619eaa74d2e2ecaf3f703ac70301c081","datavalue":{"value":"8013882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010069$0BCD69E0-9087-4D9D-93D3-9B1D91D0C15B","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":"Q7010069$278A24D3-13E9-45E3-B42D-B7BF9CE532A4","rank":"normal"}],"P223":[{"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":"Q7010069$BE575726-8DCF-4C76-A16D-5D92935A592A","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":"Q7010069$2B09B7D9-ABF3-40ED-ADE8-F02847A8F2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$3160E650-7C88-4076-95AB-13EE484FD6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$90C44217-10B6-447A-B8F6-88428BB63BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$66A92C9A-6C35-4FE0-92BD-140180174941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ae2e3c80b35233bea9c20d8e9c69445f93b091","datavalue":{"value":{"entity-type":"item","numeric-id":3761688,"id":"Q3761688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$6832D9E4-ED56-496E-8E6B-A5E1D3414195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf35dd3119eca1e25e7278bb976057076de285","datavalue":{"value":{"entity-type":"item","numeric-id":5096736,"id":"Q5096736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$BB4A14CF-E4FB-49F4-A456-529ABD9C51E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$1419BCB5-7D9E-4DB1-80CB-3B2E05E0D6B8","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":"Q7010069$DB5D981D-440C-4324-8A93-6BAB5ECC2149","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":"Q7010069$674F43CF-132A-4F27-B1F8-81782C793FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$DD62941F-04C3-46EF-8360-CC4F36CE689D","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":"Q7010069$D59654BF-D2E7-42F7-95A7-7FD4F877912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$DE73DAC8-3702-4D42-90F2-2B1B8067FA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$3D7A7CC7-18D4-461F-AE10-F50113DFEE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010069$ACFE485E-D4B7-4077-B409-4A00903A896C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_model_checking"}}}}}