{"entities":{"Q5209845":{"pageid":7239416,"ns":120,"title":"Item:Q5209845","lastrevid":53643134,"modified":"2026-01-25T11:56:59Z","type":"item","id":"Q5209845","labels":{"en":{"language":"en","value":"Strong hyper deductive systems in hyper equality algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7156275"}},"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":"Q5209845$8B31E62E-5180-4FB5-9640-252D1967FD60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcbac0302bba75a295cf9257d99a6968ef0eec4e","datavalue":{"value":"1449.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209845$66231467-C6E8-412F-8A9C-D1E447DB3B04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbc02a493ff2910d5c8d13b3360ac69c6e0319bd","datavalue":{"value":{"entity-type":"item","numeric-id":270300,"id":"Q270300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209845$A67FFBB7-0F81-433F-B49E-8F5ADAEA605F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c9086a34e294f039d3d71ff476b2ea6aac804b","datavalue":{"value":{"entity-type":"item","numeric-id":317725,"id":"Q317725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209845$FBCD9697-2754-4D92-B1B9-A1810D983E40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5209845$5D59382C-9650-4FAC-BFE8-E21B6A5F57F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209845$61E31D30-F9DB-4E9C-B521-41047542366E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f835b2cf0a8ee9df2cb7bcf097602729403cbe51","datavalue":{"value":"7156275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209845$E6B6FBD3-2CB7-43B6-BCFF-04B0BC7BD60B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9976786475e2538fe2a7a293a179ec941175e25","datavalue":{"value":"hyper equality algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209845$12DF9888-93F8-4295-BE5B-E73973E0DAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9137d3cb5fc92d96106989ce7d04ff0d4d6833e8","datavalue":{"value":"strong hyper deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209845$F4FF1D5B-8932-4AC4-BCA7-F8E3C9F362EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcba5016587233cc0142d371e93848453fe7b98d","datavalue":{"value":"implicative strong deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209845$BC3E2DFF-9593-41D5-9B60-E151E9839025","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":"Q5209845$3ECED7A5-9A95-4D51-96A8-696C0A5FD245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"054cf318a8f70280844700b8d5be3f6143cd9eb4","datavalue":{"value":"10.6040/J.ISSN.1671-9352.0.2018.587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209845$D435D43D-34C8-4882-8080-57A9CA710796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930d24896d51b7247bc4cc9e7f03a2ce4cf0f1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5368316,"id":"Q5368316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38d6a61060003e162ccbdf75cac7cf3d26b394e","datavalue":{"value":{"amount":"+0.9165552854537964","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":"Q5209845$82986203-8CBB-4D5F-87BA-09CB04B98B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7eda61431192bc5d3bb557268f77925fbcaa33","datavalue":{"value":{"entity-type":"item","numeric-id":5160381,"id":"Q5160381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d491adcaef60e091696d045d5ea51ea75fdf084b","datavalue":{"value":{"amount":"+0.8434504866600037","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":"Q5209845$7D0238E5-6B2E-4C21-9B87-857CEB960CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1cd048510579fd3ff83e1b976efec9f790dfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3083555,"id":"Q3083555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae537a2b943040c7214419e90e165cb482361f5","datavalue":{"value":{"amount":"+0.8351894617080688","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":"Q5209845$1C411F6D-2D4C-428C-9802-5BEDEFAC932D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00969c23cf05ee0c18d81e990c6d7e93bcb012a","datavalue":{"value":{"entity-type":"item","numeric-id":3583803,"id":"Q3583803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615abf3b27fab8ec5b11a037e54a0c193dab009a","datavalue":{"value":{"amount":"+0.8305364847183228","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":"Q5209845$8EAFF1E3-1FDE-4EEB-B22F-0644A4EB292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c55871d0a15eeddd6928a7fcedd07dfbc7504f","datavalue":{"value":{"entity-type":"item","numeric-id":3640068,"id":"Q3640068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab746f106580100368af1bae98468b37eed665d","datavalue":{"value":{"amount":"+0.822666347026825","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":"Q5209845$81846659-908D-49EF-84E5-9CC33647909A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5209845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5209845"}}}}}