{"entities":{"Q3323944":{"pageid":3334652,"ns":120,"title":"Item:Q3323944","lastrevid":48703057,"modified":"2026-01-05T16:12:32Z","type":"item","id":"Q3323944","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855096"}},"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":"Q3323944$9793E6AB-CCF0-4900-98D6-4C559D1515A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3f3137b41b588ecfef16cfe27959d2061d98b63","datavalue":{"value":"0538.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323944$6FBA2A1C-11C4-4A9B-A27E-1A307A59B555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4eb132cfb8be8a9d6025926210fd6f6e02e98f","datavalue":{"value":{"entity-type":"item","numeric-id":3323943,"id":"Q3323943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323944$B06EBD18-7227-401F-9DF1-C9BE83FA2AD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3323944$330ADA60-F45D-41FB-96C4-F68CCFCCF199","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323944$42DEF460-32F8-403C-B56E-6451F9A3E39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323944$083DF423-67E7-4FAD-BE25-82CD739A3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323944$0B9C407D-9637-41AD-A279-B80BCB813283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fb52ec8d89fddc0f6ed21934caed7b6624102f9","datavalue":{"value":"3855096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323944$F3BC49EF-B4EC-4D30-B7E0-71D5130A894C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$0DF105E2-0225-40CE-866B-30FF169D7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$363E6842-CCAA-496E-B12F-B7579E8A265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3336b0518162d61ed57d02a0de4e9d8d061f3981","datavalue":{"value":"witness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$1DC844E2-CFDB-47B9-8248-E197F20D7742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b4cf273936f53a5f22919ab507384d7395f828","datavalue":{"value":"logical morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$FC87759D-769A-44B0-A9D4-3DC87FA7CD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$0A7BD993-3AAB-47C3-9104-957D393171C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$02B9D449-4568-4F26-B91E-9A1258AA645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cca4ca7d3335c11541c4ac91a82c7f7a797d054d","datavalue":{"value":"propositional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$A766C52E-AEE6-4FB0-8570-D6EE12FA5150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$06309EBF-E038-4871-A08F-BAA862BE5AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9356f7d1597ca1770e6570130c6b18ff4c13da06","datavalue":{"value":"satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$505DABE6-362A-4C86-A2D7-7F229E39F129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c144b7788f371dc65184a91f559961085bf9b056","datavalue":{"value":"category of presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323944$F342F58A-25A4-4EE6-B2C9-DB314CB7A49B","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":"Q3323944$487BBBED-EC2E-4F00-82B7-A78D77448772","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13962265cd47f2bba0b2849b606f6643a7b59142","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb18e141643c1a7239de8f00a77746ff9b31a41","datavalue":{"value":{"amount":"+0.7277868390083313","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":"Q3323944$B9BD5568-9011-4DBE-BEC9-580205A40354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cb1ea1c6f60519f6fc679cd5fc42c10dc7120b","datavalue":{"value":{"entity-type":"item","numeric-id":2433103,"id":"Q2433103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6ba8fbfaed2f3c09e34144995ef49b3b73bdae","datavalue":{"value":{"amount":"+0.716218113899231","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":"Q3323944$8E184B76-631A-4F6F-A37D-45FD97429D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9463d4fbde65997d6564f8bb0be93c312d8aa097","datavalue":{"value":{"entity-type":"item","numeric-id":3067391,"id":"Q3067391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0103278959228c9841b9215e626c821318fd044","datavalue":{"value":{"amount":"+0.7125394940376282","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":"Q3323944$48ADB223-123B-4FD3-ABC7-51C3D2CD6647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3279c4a0159c821db35eb93538fb2107dbecbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2186691,"id":"Q2186691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b9b8b26a749c0244eeca6999ddb42e9f1e411a","datavalue":{"value":{"amount":"+0.703131914138794","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":"Q3323944$B46DF915-52B3-4E21-B276-3549C339BA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a7dead3c25a41859c2a337e489ca85d49b8bee","datavalue":{"value":{"entity-type":"item","numeric-id":3707996,"id":"Q3707996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d941b6fc0b85df8881bacd236d6959fce6af9e","datavalue":{"value":{"amount":"+0.7009832859039307","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":"Q3323944$FD4C3319-EAC5-4614-9DF9-46FD75203F41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3323944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3323944"}}}}}