{"entities":{"Q6963311":{"pageid":21283068,"ns":120,"title":"Item:Q6963311","lastrevid":84062738,"modified":"2026-05-09T03:48:51Z","type":"item","id":"Q6963311","labels":{"en":{"language":"en","value":"Comparing expressiveness of logics defined within different classes of models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8060275"}},"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":"Q6963311$1E774BA6-C195-4F14-A89D-F1748FE61D7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7895d4371fc5376e7095c03de39649d383b7494","datavalue":{"value":{"text":"Comparing expressiveness of logics defined within different classes of models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6963311$03898C15-6590-49AB-8590-5DFC21B36C9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9302d37f8cfb038a87b90d14482e190a320b58d0","datavalue":{"value":"1573.03319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963311$8C7CDA07-2085-49E3-8CE6-E068845B512D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eacde7ee1b422ebb3dc2ce0b8475e827b2235c6f","datavalue":{"value":"10.12775/LLP.2024.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963311$C1225868-75BE-4922-AB6F-D5856D4BCF7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c34bc5bc722636d7c0fb27cdc0ff8ad9aed572f","datavalue":{"value":{"entity-type":"item","numeric-id":6288310,"id":"Q6288310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$0075D318-C96A-498D-BE89-D21343BA3EAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$0A92851B-6496-40B5-BE5F-620376981243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4be21f7f28e97c9d3bacbf26d92b6b94dc6fcd0","datavalue":{"value":{"time":"+2025-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6963311$CB4640E7-27B0-4514-B27D-2A25626922A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963311$5B2E2F06-05D9-4444-B38E-67A5E2BA63B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963311$1B472AE1-284D-4943-8518-0E250589EAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963311$9E0BC5D4-CB59-432F-AA1A-A0FD06AA3157","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ffee691cd07000b59b3436ea809efaf45853c0f","datavalue":{"value":"8060275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963311$89DEBBBE-E81C-4E86-ADCE-88FFD95FB6A9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$72460B0A-03D1-43A5-B818-FCA95F5D5FAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a819de33a492ace6f01faf5654b033d05bbff1","datavalue":{"value":"model-theoretic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963311$6108EC4E-56B8-4DF1-AA1A-59184EA68D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d534e8485564732be374a454c76716bae96c3277","datavalue":{"value":"model-mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963311$68E71F21-7F86-4B69-B2A7-373F97C6DD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b707188f6070cca68fd2684c8daaebbc3b6804d","datavalue":{"value":"relative expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963311$91B0777F-CB74-4A50-930C-F7B1C0033F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5618fa6dd111673610a1f34f7512c45599b498ae","datavalue":{"value":"formal conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963311$3EAE752A-E24B-4879-8443-119BAADFB3BA","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":"Q6963311$7E371A8F-074B-4501-A881-463827F885EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04a6ab60852c633066262182f0b441446d94450","datavalue":{"value":{"entity-type":"item","numeric-id":2852085,"id":"Q2852085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$389CB181-745E-4292-9E27-65B3C7FA5EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5d1833096ff19864942022169918c470f44d3b","datavalue":{"value":{"entity-type":"item","numeric-id":3431962,"id":"Q3431962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$0238C5B4-2C98-43E5-A915-BF702A99D7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35709f5565d55269eda3bda5a19af8725032edc6","datavalue":{"value":{"entity-type":"item","numeric-id":3520836,"id":"Q3520836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$BBE7C8A4-9BE0-4F27-9A73-1D9271C00973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34ede55c5bb382f735465de28b94071e613df3e","datavalue":{"value":{"entity-type":"item","numeric-id":5688815,"id":"Q5688815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$486986F9-633F-4475-8067-16F6D2754D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$A861CD6F-5C12-4380-9E1A-B556A87CC18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb965e0717c17473e57066002b1b99dfe63116","datavalue":{"value":{"entity-type":"item","numeric-id":1931306,"id":"Q1931306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$46204FDE-4BED-478B-A460-C611950C6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d12f884115c67792867c9d4b4546eb0397f0f1","datavalue":{"value":{"entity-type":"item","numeric-id":4077978,"id":"Q4077978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963311$E003B71E-023E-478A-BC87-35FCFB29C3F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing expressiveness of logics defined within different classes of models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_expressiveness_of_logics_defined_within_different_classes_of_models"}}}}}