{"entities":{"Q406442":{"pageid":408209,"ns":120,"title":"Item:Q406442","lastrevid":52084688,"modified":"2026-01-20T21:59:07Z","type":"item","id":"Q406442","labels":{"en":{"language":"en","value":"Exploring modal worlds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341207"}},"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":"Q406442$4E656979-4586-409D-9D60-17C3C898E4F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b16e45801f6466be9361d2c0f45cb17b357637bd","datavalue":{"value":{"text":"Exploring modal worlds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q406442$02F6BF90-F320-4A3C-AC27-536C4E9EE68D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f27bda53e8a62e15d15ce25f4a2fc056742929d","datavalue":{"value":"1434.03146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$00122D44-0BA1-424D-95D7-5182487C324D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"787149007cde9cab1d2caf2001ab6cf4632dcffa","datavalue":{"value":{"entity-type":"item","numeric-id":406438,"id":"Q406438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$FDEED984-D7F8-4BE9-9F27-40F36345D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6603d5a122c81c71a14e46850256e2bf242289da","datavalue":{"value":{"entity-type":"item","numeric-id":406439,"id":"Q406439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$2CA5252C-2610-4D75-B391-EBBE60E5CDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$246F9806-2D1B-44BB-87D1-9A970D0C2772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5994d4d8289bacfd63e1df1605b1f22bccaf141f","datavalue":{"value":{"entity-type":"item","numeric-id":406440,"id":"Q406440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$65B899CA-BC45-4824-8E85-CF391F87F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cab507c8eb6f0f4bf199f3d159fa5c09e2319b66","datavalue":{"value":{"entity-type":"item","numeric-id":406441,"id":"Q406441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$B61B454E-DA74-4F37-9953-825F56FCD042","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$D0860AB8-3B46-4C94-992A-D43D06EB47D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q406442$A1BE6302-95CB-4CF1-8FAC-CA7C3C1ACCD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$06E4F455-775C-4F0F-BD39-8AA6C8116AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$E94D142A-44CF-42EF-AB5E-D0F336632A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$6C2A6E7B-B785-45DF-8EDA-E837EE975230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$3B53F5B9-8D92-45A1-BD7C-DF62A495CBBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78cc5f5ea9d2241e3764b55ef7584b8935086df6","datavalue":{"value":"6341207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$82B7DC3D-3E6D-427F-BA17-5964DCEE75D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q406442$B0C11463-343A-4F2A-95F7-F305416EA622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356e366d6c8b96790c960b2cb3520c79f5b43485","datavalue":{"value":"formal concept analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q406442$DBFE566E-E946-4C71-AC4E-1D289CBDF123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0f4aa15aeecb96faa48bd992aefa9756a806b2d","datavalue":{"value":"Pareto front","type":"string"},"datatype":"string"},"type":"statement","id":"Q406442$F1C3CDA8-DBBC-42C2-A761-458DEBA6CA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d96e3d74138447af545d0cb2d3866006bca24c","datavalue":{"value":"rectangles","type":"string"},"datatype":"string"},"type":"statement","id":"Q406442$1C03D3F9-C883-47D9-96D3-3B1959230CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q406442$A65287CB-021A-4D44-8847-46B4F80C8707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69968bd2d5a56855e83104f1e2127079267eecb0","datavalue":{"value":"software product lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q406442$D259D851-F87F-45BF-8A5C-1C52B7DC1A30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fc060d479d76011f4774afbc26df55e303b6f640","datavalue":{"value":"Q62039036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$6447B904-F4D1-40E6-91C2-8A392163CF7B","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":"Q406442$A6D977EF-176E-4F1C-A126-A7534BF7B606","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e91258d45d2823585688d5e0a558f80c0023638f","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2014.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q406442$AD6D9567-113A-4284-97A7-2D3D780F1024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e29c7adce081650d143d8cd232263ef748c8481d","datavalue":{"value":"W1970594971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$D915BF36-9090-49B7-AFBC-4B3BDF43D022","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab1e2b1d00559219dbb7e95ff196f5547ed0556","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$45226D63-EDFD-40CE-8780-91A01FA8C848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392c85c594868584ee6befb76b9d884b1a45a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3651513,"id":"Q3651513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$58962D60-69DC-4027-9CD2-A7244584FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f710fbf4740ee4e9c4e100a18b69282e795733f","datavalue":{"value":{"entity-type":"item","numeric-id":2908570,"id":"Q2908570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$166AA729-24E1-4B2A-A5E3-E135120D16AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$90AA9890-1F5E-419F-8128-E39EE71E145E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd7875a3e438e4ed33c8fa5a116cda1b69814dd","datavalue":{"value":{"entity-type":"item","numeric-id":3060335,"id":"Q3060335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$2768A814-B8FD-44FB-9AAD-1B0313A17087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f06c3146f318eddd4170419dc0d4f0982f29ab6","datavalue":{"value":{"entity-type":"item","numeric-id":800396,"id":"Q800396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$E4053687-D6C0-4403-A0E5-9BC37C269239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$E89D6697-C895-4D96-BBCB-FC926C523396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5689bb4f1fb11b854f6bc5dad05099e1dbff5","datavalue":{"value":{"entity-type":"item","numeric-id":4316881,"id":"Q4316881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$3AC8BC38-164C-43B1-A5E0-C55A1AECCEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$CE440087-3FAA-41D5-89B5-FFEC4D4F77F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$07D4AC24-6F04-4433-8B82-8BF5D996D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eabf3b065fe28773b21352239ee1cca367e40b6","datavalue":{"value":{"entity-type":"item","numeric-id":3498426,"id":"Q3498426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$3E0E49EA-B769-4603-902D-A0E0A8477A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227ddaf880f5468b6c6fdc53c26430645073e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":2915149,"id":"Q2915149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$12B9C21E-2021-455F-84C0-FBB153447703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d8fafa4a80ddea7d9f0a706bee40125557549c","datavalue":{"value":{"entity-type":"item","numeric-id":2915151,"id":"Q2915151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$653A35BA-D1FB-4939-9488-5A182A5F5ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57afda732695dbde8eeab5cccd90f8007b08633","datavalue":{"value":{"entity-type":"item","numeric-id":2908566,"id":"Q2908566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$9EDAB12F-2579-4A21-A6EE-E1940F298EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$6F029EB6-8BA1-4B83-AB89-8B355316499A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dcc48949c7ec26e3fa15eb7b528fb3469aea8be","datavalue":{"value":{"entity-type":"item","numeric-id":4444750,"id":"Q4444750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$CBEF6C08-42EE-41C2-9007-7D4A89A0819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406442$D89414E7-6837-4870-BCC1-6A4C39D5916E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"985d3dec51d8d13d7fd2fd5eb4283311e104fcca","datavalue":{"value":"10.1016/J.JLAP.2014.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406442$BA9BB9B0-CD5E-4999-B138-9C32C7AAE199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b796a81e43403d15b61c9fefc0ff5c6a1e95d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acee1b7aea49d32e9c874b18b6a3967a0d1e7d3e","datavalue":{"value":{"amount":"+0.798281729221344","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":"Q406442$3B318493-2784-4BE9-860F-D7DF744A553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f66ca65d17d07d5a728fcbdf93767bef77049a","datavalue":{"value":{"entity-type":"item","numeric-id":4675765,"id":"Q4675765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28255171f5f36fa462bf2fa0e3fdf83c1fa9bfa4","datavalue":{"value":{"amount":"+0.7693222761154175","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":"Q406442$6402CFCB-D265-4122-A16C-58F05827F142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35caf33e7a25148cbe8a2bc4f1dd8009ef853939","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e27cc9861beb0526c6c1415b914e0a66714c99","datavalue":{"value":{"amount":"+0.7351576685905457","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":"Q406442$0646A809-C314-4E18-BF1F-F2AA47E35FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22d4f80fd17d907cbc52e40b5803e94c5a72d00","datavalue":{"value":{"entity-type":"item","numeric-id":3118240,"id":"Q3118240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c7e0d3f7ccc50f043160240541c96ddd74fa60","datavalue":{"value":{"amount":"+0.7316203117370605","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":"Q406442$83F7F0D4-9659-4525-837A-BDFB467CFE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50593cceef09b1b684b903820b6efc8f67cbce74","datavalue":{"value":{"entity-type":"item","numeric-id":3112579,"id":"Q3112579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034eb336118309a3c84bcdf3717ce7886a207631","datavalue":{"value":{"amount":"+0.7311021089553833","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":"Q406442$63E50CFD-0CE3-4600-AFB6-B91F62826143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:406442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:406442"}}}}}