{"entities":{"Q4250042":{"pageid":6279643,"ns":120,"title":"Item:Q4250042","lastrevid":46831011,"modified":"2025-12-25T16:36:53Z","type":"item","id":"Q4250042","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303433"}},"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":"Q4250042$5B221666-74D8-4B98-8813-BC82650415AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5097324d47f524a2c3fbbe6bd49d9b40ddadbf3","datavalue":{"value":"0924.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$86015E24-E4B0-4A57-ADAD-EE3F39447964","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250042$6847E8C2-B37C-4AF5-B1E9-429C1D76B71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250042$937291D3-4BC5-4BDC-9011-A5E60DC692DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6094f3d127c088853e8107203d6bdf198a3687af","datavalue":{"value":{"time":"+1999-07-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":"Q4250042$B6190D37-FC41-46EC-9359-8018F6529EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$A88DCEB2-0A59-49A3-82A2-D44A23B13D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$2F63AC1E-FB22-45FD-889B-EA306EDAD6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$28659D9C-224B-4081-87EB-E15126CC191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$9A5CFEAA-CC5A-4C16-9A8D-4E651807C68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$1851495E-3F14-4372-97E5-7B8ACC19CDDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41b43ad64861aac4bb603180c75364db902c814c","datavalue":{"value":"1303433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250042$60B434D3-5FEE-436F-A00D-473EE61ECD0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$2463ABE9-C5DE-4A5D-A888-94A4AC6BB00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feb0e78ff14d6d4434a60c928b776c73c2b5654","datavalue":{"value":"\\(n\\)-variable fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$401669C3-A907-4CF9-9F83-1FD28DEA7A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca6addfe8bee707903287ae5b3c8b3de7623da8","datavalue":{"value":"existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$A4F71A5F-6C2B-40C7-8290-00FCCB3E1CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc64c160898f41f9cc2ef65383abbcbe74fe5ca5","datavalue":{"value":"modal diamonds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$B090327F-E93D-42AB-8B8C-557051DFB0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$3AC604A3-42BB-45C5-842B-113AE38E390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4e4e1adb9c436b11f04a0906c480b95c47bd7e","datavalue":{"value":"generalized assignment frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$49CBA9BC-842B-4BE6-B15F-12CE0F461BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79563d5a6015577cd80ce1497eec4abbd9e5ae37","datavalue":{"value":"local cubes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250042$34193D76-F08B-4D6B-A944-061F2A5A3337","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":"Q4250042$3375933A-981D-4240-A14F-C2F5DF62622B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e360042de6a848d82fbe36105e6a6bc03ff4f68","datavalue":{"value":{"entity-type":"item","numeric-id":4318161,"id":"Q4318161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02960beb004c2aa11cdd427d12b176b00468626","datavalue":{"value":{"amount":"+0.8301746845245361","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":"Q4250042$19640AA6-2020-4640-84F0-43367C1BC71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b77bea443a002e318219e96f6b865f80f3bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":4873977,"id":"Q4873977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9605ef04fa7e8bdc88b0779caade043bda2042b4","datavalue":{"value":{"amount":"+0.8279874920845032","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":"Q4250042$F9221A6E-1F77-400A-A303-4671A97F8F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789533f0d21b6baa5a5f1a3b29c676f9bb3be91f","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87747a6360620ed56286c82d11ac4fb1aa986dd2","datavalue":{"value":{"amount":"+0.8021868467330933","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":"Q4250042$FCC63CFD-2447-4C6B-853B-EE932CF739E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3541bdc54273d257e700ed4d7d4954bcdc84cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a23cb144f001606398c494023ef993e840530a","datavalue":{"value":{"amount":"+0.7969129681587219","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":"Q4250042$C4D0E6B4-8546-40BE-8534-C8C9650A72D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250042"}}}}}