{"entities":{"Q2563458":{"pageid":2574201,"ns":120,"title":"Item:Q2563458","lastrevid":46814745,"modified":"2025-12-25T15:49:47Z","type":"item","id":"Q2563458","labels":{"en":{"language":"en","value":"On maximal intermediate predicate constructive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957485"}},"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":"Q2563458$6DA8CEDD-B958-4366-BAAB-577F8E8240CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"818680a330be4841b118127bace396bca2ccaa9d","datavalue":{"value":{"text":"On maximal intermediate predicate constructive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563458$ABB3510F-851A-4007-B731-4330292CB7B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e154b4fb37ea278839749ca0a79a7040bb5fa9","datavalue":{"value":"0871.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563458$C3BC5914-9D97-4869-B547-04BBD641A4BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89d37843c455f4e9e25870ce09f70bcd4e657214","datavalue":{"value":"10.1007/BF00370841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563458$C4F44788-3C69-40D6-B55A-2F40F5CD68DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f71358bbdbd87e15f90c45b21f9769883d0dbe","datavalue":{"value":{"entity-type":"item","numeric-id":506822,"id":"Q506822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$B4114C25-F9A1-4926-B698-CFEEDB8E8B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$9225C959-6028-4271-AC29-07D01C12DB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e357ced0ca55ccca28256c0f71b0f9083746852b","datavalue":{"value":{"entity-type":"item","numeric-id":2563457,"id":"Q2563457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$42C4AE7D-B60E-4137-862C-825F1C6E7736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$2931A1DD-67F9-47BE-B83F-0DA4A5E331B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$2B43ABF0-A46B-4615-AC3A-19A468F7701A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5dcbf7af5fc9377bd6622f30bf4a1171e3fa4090","datavalue":{"value":{"time":"+1997-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563458$E913EAE1-9980-46CB-8E1D-42C1A9CE3549","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1537096f0e92a9d21ca19932c012eb04f658f5ec","datavalue":{"value":"A predicate logic is constructed which is a maximal intermediate logic with the disjunction property and the explicit definability property \\((\\exists x{\\mathcal A} (x) \\in\\psi\\) implies \\({\\mathcal A} (y)\\in \\psi)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563458$5DA54AC0-BF5B-461D-B2D2-BF2FFF9977A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eeec67f38e1d89854fb40771a8f249be9e614272","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$D8CBB256-AAF8-49E1-BD22-989859EB3B9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563458$E704249D-15A0-488B-99E0-9BAAFEB3B6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563458$D4192C90-2216-42DB-882C-D99D2981E08B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e6d847162d81cd655cc70c4f246b2b0882f38e4","datavalue":{"value":"957485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563458$6D28124D-8137-416C-96FB-9CE988FC2FA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563458$1820C508-A21B-480F-86AA-964A20890C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4592f381117d9f68c1634cde852bb53b19bae390","datavalue":{"value":"maximal intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563458$BD6746B8-963C-4553-B643-8F1DA54E97C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563458$C784D7E5-41F0-4A3B-B960-0E600CAC7941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b14323adcfa74b47684032100e252e5a38ffcde","datavalue":{"value":"explicit definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563458$3DA27315-8D8B-404F-AF6D-62671AC47501","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":"Q2563458$B09A2964-FC58-41D0-BB30-FEDEECE118D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e123cb5f005ec2c984fe8ce0580a9e75d8976db3","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$AE170FDC-AD7D-4423-8CEC-364A222C1CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$D7A8786F-3FFB-4E7D-A4DB-C3B9267912CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af63bd8d72051e1344252b9875b47c288e2438d","datavalue":{"value":{"entity-type":"item","numeric-id":1902974,"id":"Q1902974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$EBA070AA-6EED-4EF1-BF0E-620EB5A3F267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4f453c65e52d42ef97810e35dc2ca57eaa0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1902977,"id":"Q1902977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$7A103EC4-020D-4879-A716-85F918E3BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48f1b68aad73e06e77b38880e027ca0f791064","datavalue":{"value":{"entity-type":"item","numeric-id":4283073,"id":"Q4283073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$65EECF9C-9368-4AE8-8D2E-5A5DDFEF2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$468C3CBA-AF53-47D4-B574-B2B7D09B019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$8422A6A2-71E4-4021-83AE-EA72E554D17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca0d51854621bb08fb0858d69501b553d7e23b","datavalue":{"value":{"entity-type":"item","numeric-id":5339292,"id":"Q5339292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$73704CC7-9856-4852-B9B6-A56A5C7F5573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577776df3aa92f9f40afa80ef3e4a3f282cb55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5635427,"id":"Q5635427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$B8D3C46D-F8A1-4090-8B58-C8F792A03C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$C7AF192D-E778-49F6-9DFD-D7758E3842A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$BD4D8811-313B-49EE-9FB7-22CE990BE63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$0F45F1A3-A63A-41F2-86AE-04F2A7DE4C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$5B79958A-3D9A-40CE-A16E-6F3DD9C65C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db972d0965e3cfda04ab994238f75aa115b721b2","datavalue":{"value":{"entity-type":"item","numeric-id":3880811,"id":"Q3880811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$B515D5C7-3E07-40BE-BC15-4B74C84E1295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f803209c67528497565ed0fcd089fb74d3efa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$4B3AC360-4CE9-452F-96E5-131F52812AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc402bbc51bd315bef710e420652177c7efecbb4","datavalue":{"value":{"entity-type":"item","numeric-id":4774021,"id":"Q4774021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$C56D9E2C-6F7B-4176-9E65-49E6E6C49211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa4ece8cae4388ab5c7e0e3e50d0d2293249835","datavalue":{"value":{"entity-type":"item","numeric-id":1204112,"id":"Q1204112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$B066D44F-7E13-4602-9121-E4556E43DA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75348b180be770edd75c48cf73fbb9d363ba6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1117222,"id":"Q1117222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$74DD6D29-D4D3-4E3B-8433-285FFC639AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0c87cd8b8bc3e6cb7802c08419c8aacc23f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$591E52A8-3938-4625-9B62-9A4BF7D1CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35270007a8b5b5aab8e168d2707e8c4fcf0f52b","datavalue":{"value":{"entity-type":"item","numeric-id":1843560,"id":"Q1843560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$1ACD797C-7559-4BEB-8559-792E4AE4D878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf2593590aecca43a7f8a6e13cb4417cd5c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$85B0F240-C280-4A20-B2A0-2CB26C702219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$043B3D6B-E892-449C-BDA9-B641876D2297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bd3b3b932e2906f8850be14dad2c5749215613","datavalue":{"value":{"entity-type":"item","numeric-id":1140629,"id":"Q1140629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$8FC04CC8-823E-4E47-BB38-BC33C504CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563458$A1E6BF46-3C7F-400E-9F42-456668099E09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ec534e37564ff0db18ec1209852854293b5fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4283073,"id":"Q4283073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a87b288e7ed842986f0f3c437387dd667abfb9","datavalue":{"value":{"amount":"+0.8809692859649658","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":"Q2563458$C234C46D-675D-4D77-9CFB-5AD77E506CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0903965a9c0cfe11f2fc27ec1972889b50d9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025db81aefdb5a0e8fc4382c45ff1f24c90b9cf6","datavalue":{"value":{"amount":"+0.8084743022918701","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":"Q2563458$8330897E-A38A-462D-A474-3896A376A6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1dcb046ecbe546b36f74dd3f93b3da1323a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1902974,"id":"Q1902974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed6cf1209bcfc214fb6f1f944650aeb3a784694","datavalue":{"value":{"amount":"+0.7962071299552917","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":"Q2563458$DBAA67BA-706A-46BE-A3C3-C42361C53C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed083349616f2da5d7c34bf347441d9ef4c59bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3373195b096538d57c7b1168062c7c941e3563","datavalue":{"value":{"amount":"+0.7784338593482971","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":"Q2563458$D7838F44-8005-4490-A15D-EC080F2926F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b48cc1febfdd0de1d35c6fb41f37769bdfbeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1902977,"id":"Q1902977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9167959ae53f8c287cebf01e2bd4f013fa6c57d3","datavalue":{"value":{"amount":"+0.7772045135498047","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":"Q2563458$B21FD308-24A8-484A-A944-DE4A8407B75E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563458"}}}}}