{"entities":{"Q4306528":{"pageid":6336129,"ns":120,"title":"Item:Q4306528","lastrevid":40699033,"modified":"2025-04-04T09:52:51Z","type":"item","id":"Q4306528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 640717"}},"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":"Q4306528$D6309325-24B2-4571-9825-FE6C8C5E73EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69b80f0c22028568b56373083f45891af3edf235","datavalue":{"value":"0824.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306528$9727FB03-8B24-4725-A01D-B6973685E6DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3d49fc628039016517421e1b9ac5fdd658f7147","datavalue":{"value":{"entity-type":"item","numeric-id":416298,"id":"Q416298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4306528$6F627688-E78C-4194-9598-097729CB1E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4306528$B2CA0D3F-8785-4EBD-9991-B69E96627F72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fdf6f29b96a04631a659c8c1788e19972a53c59","datavalue":{"value":{"time":"+1994-09-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":"Q4306528$B8392CC0-1E24-41E4-B3D5-15C5FE078CA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306528$5E5F246B-941A-4732-9FF0-C8DBD9C50CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306528$7B92F74F-BD4E-4978-9418-E76B7E227F0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8f22ef807328cc36b1d6fff18bb08ef43a53116","datavalue":{"value":"640717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306528$037099AD-11B8-47C7-A952-CF7A3BC0AC88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5615b5e5ce3ec4675b0bc4f5ed46a27decdac","datavalue":{"value":"lattice-valued propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306528$A41C64C0-C382-4C23-9C9B-9BD335BBD3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306528$5FB139ED-D881-462F-9D1E-9DF0D279A499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306528$BBD8E9D9-66F8-42BA-BEEB-79B34DCF1E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96c444b8f82ce76537115f0e89ae2565da900a8","datavalue":{"value":"adequacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306528$94FD0C3F-C2FE-4A7A-B3C9-FEF885ED7B37","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":"Q4306528$07E2105A-EA7C-48B7-89E2-A3EA8F558923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde646b768f118274cbd111a7dda631b5873e5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4311753,"id":"Q4311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416497906163f7b685a132a2d2485cb2fe9686a9","datavalue":{"value":{"amount":"+0.97178704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$F53C7D15-D2C2-4D84-AC56-C403FAF98867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae9944f6bc36685a3f25a6f440812c166afee6","datavalue":{"value":{"entity-type":"item","numeric-id":2793337,"id":"Q2793337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1b9305c0231cf48143188734141e185369a252","datavalue":{"value":{"amount":"+0.9486236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$DB8926D4-B1DF-4E0B-B4C0-97349C040CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4186468ca3e1dc5ff295bc04b72b91cff6f386","datavalue":{"value":{"entity-type":"item","numeric-id":543066,"id":"Q543066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407b172d64188fce3b89e16e9cebb2cebb57cc13","datavalue":{"value":{"amount":"+0.91468644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$AC74A39C-063A-43A1-A109-E0EAE9CF4CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2c3a306870d99cbf97cda82a284e4bbe57b344","datavalue":{"value":{"entity-type":"item","numeric-id":4405711,"id":"Q4405711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d548172086b85df378b873772a604c2ce933cf","datavalue":{"value":{"amount":"+0.9139817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$D7A9564A-C699-4B04-A01D-8A776415CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5759c43b480b5b8aa84ff6df1498d5e53cc0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2440191,"id":"Q2440191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d166456a52f8aa65875dddaba7fefe140c4d3bf4","datavalue":{"value":{"amount":"+0.90861535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$B921A1D1-4FF9-4DF9-B4EA-DE6C0CF2F0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0012ffe91d969b8569ab8c08169eba24dcee0115","datavalue":{"value":{"entity-type":"item","numeric-id":4384760,"id":"Q4384760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3a4936e03232cbb30325dc5abaf610c3d984a6","datavalue":{"value":{"amount":"+0.90801024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$A2963D87-0BB6-4D2C-8960-54B8DFE5A9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3fca69b6d6bd0eb65ee35ef665bb103f6f0811","datavalue":{"value":{"entity-type":"item","numeric-id":3370766,"id":"Q3370766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734803950b2e48d7981f7dbb6b1dc993cc25f3d9","datavalue":{"value":{"amount":"+0.90648496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$E3229594-1F90-410E-BC72-A25BEE6056CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cef76bfa327997bb00e110d10dbe2855dd1019","datavalue":{"value":{"entity-type":"item","numeric-id":4458020,"id":"Q4458020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7146d42b555ce7ed2e55ddbc53ed3cf9005b422c","datavalue":{"value":{"amount":"+0.9032513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$C8A702AA-AC35-42A1-9E0A-196E4F36E491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86fd6d85d094a649acef790ec26a9257358fc14","datavalue":{"value":{"entity-type":"item","numeric-id":1818981,"id":"Q1818981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0873167f05aa4c6e974d9d3b252e733ad93ebae","datavalue":{"value":{"amount":"+0.8968218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4306528$C24DA5FF-8C17-4EE4-9A4F-BB48A1141B9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4306528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4306528"}}}}}