{"entities":{"Q7007848":{"pageid":21550050,"ns":120,"title":"Item:Q7007848","lastrevid":82694816,"modified":"2026-05-06T21:35:35Z","type":"item","id":"Q7007848","labels":{"en":{"language":"en","value":"A modal logic analysis of the MUTEX variable coverage theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016026"}},"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":"Q7007848$1E3C8A86-198E-499E-95F7-B225D61DBC99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12f1659ae4d83fd7eabbdeeb8d0b926698a9f326","datavalue":{"value":{"text":"A modal logic analysis of the MUTEX variable coverage theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007848$28816B82-DD97-4D2E-9F68-AF5A5F8D9E41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25f9c9f3c6b6ae733f5463a0342bddfc79850dbe","datavalue":{"value":"1566.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007848$1FDA50C3-FB16-43D9-A91A-5C5DF9790D96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"600415a75fa07b2ac965481e8a89101b5acad893","datavalue":{"value":"10.1007/978-3-031-73887-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007848$CA18E5B1-1AFC-4116-B7C8-8BB80EC24AA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007848$8F488A45-CB4A-4BBE-84C2-6C421B367F8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-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":"Q7007848$3E698CE6-BC61-4979-94A3-2B8CBC1D5126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007848$1FC4ED70-7C2C-4343-8040-731A54E033D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007848$A62BEBF6-F858-4770-84F7-1477B187991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007848$9FCED51D-A8F8-4472-8D0F-118B17A12C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2deeee549ee0b048413d4884ebc105d20c37246","datavalue":{"value":"8016026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007848$4398A0B9-E160-4070-B59D-6DDF7A795DE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007848$898ABD0D-52DD-41A0-9A65-DA67DC91AD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16931cd91c8e135de73c482e34592b1426f2dbdb","datavalue":{"value":"read/write memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007848$4F035A01-8418-40B8-9E57-05D4962B9389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007848$1FC0406F-A7AB-4FCA-B54E-505C6F5E689B","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":"Q7007848$12F02051-539E-4E3C-B334-96F6E915E0C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"351d3ffcd8314274cbfd210166d175deef40ea56","datavalue":{"value":{"entity-type":"item","numeric-id":4789449,"id":"Q4789449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007848$3305C37D-BD9D-45B8-A7F4-371CF138925B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007848$30219EBC-CD89-44E6-95FB-3A4B7A2EC729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007848$E1D46527-C64A-4C33-BF02-C3E40D4A3B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007848$0D37A2A0-F970-42BC-B556-8B5767BCF9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007848$E04110E1-809E-45F7-877C-0C58A86AB8C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal logic analysis of the MUTEX variable coverage theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_logic_analysis_of_the_MUTEX_variable_coverage_theorem"}}}}}