{"entities":{"Q3128959":{"pageid":3139675,"ns":120,"title":"Item:Q3128959","lastrevid":46731159,"modified":"2025-12-25T11:55:23Z","type":"item","id":"Q3128959","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1003731"}},"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":"Q3128959$74936038-ED70-460E-879A-423EEB016F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9051890269f56838a2410bcffb941d1cc0a8b7ad","datavalue":{"value":"0871.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128959$B497073B-4E0D-4696-93E6-5573A9D6843A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a3b5a9efe7c2b0af45014150315aa177e1f6d5f","datavalue":{"value":{"time":"+1997-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3128959$8FC5603B-233F-4B44-AC63-2D41AADB053B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128959$EBE2F82A-806C-4CA3-8F5E-56DB4FA3FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128959$A094F55D-BAC6-4050-B7D7-46A7B61AA582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128959$57EF593B-DAE1-4A5F-A778-48764ECFCFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128959$98BD7190-1C45-40E4-93F5-D82F50BC96EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4413fc40bdd9f6f4b46b8f55f331a77a4bd08a0","datavalue":{"value":"1003731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128959$3F5897D2-10A9-43D6-9D80-5DEF34BB5CD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$D0EDCFC1-D67B-43C7-A4B0-88FB9F3D719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$B00F191D-A669-4391-B6AB-30BF34FFA6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$A4BC0A1A-FEE5-4CDF-856C-751EC6383E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$85C5C9D7-BA7D-4CA4-9B2B-6804A701178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$D48E1AD3-244D-4F22-9616-6353510D723B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66565212894f617d9e135f451b753f6472725ee9","datavalue":{"value":"algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$7AE30735-802C-464F-8F6E-A3AC8671BDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$22E52EC4-1B0B-4960-B91E-CFAEAD51DF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$B0C09DF9-1A01-435A-8C6D-DEB554F1C62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$FC07330C-561A-4479-BC4A-EF4C8F1A65ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$645E6333-FF75-4527-9EEA-79236A74A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f2386a7323d09ae34b1c7bdaa42e4483658ef9","datavalue":{"value":"finite approximability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$9314C0AD-2665-457F-8E3E-465F16CAF28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$97D4BBD8-B547-4A60-9E81-EB3D6A49C96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"877baa1d069b423d4f0d97b167815bb581d08a42","datavalue":{"value":"pseudo-Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$ACFFB703-3EFA-4462-B4A2-08B9B662E1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5f4b362ac670040d01985b5bb04f8548e4403b","datavalue":{"value":"algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$38FFC431-79B7-4CE8-83F1-0A8A9D49F2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128959$ACC91E67-3B11-4E35-9E3A-D6EF58F8BDD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128959$1950F664-5ECA-45E9-BCB8-0F35B15C9C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128959$A5EC2915-BF00-481E-9F49-1F863E3AE170","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":"Q3128959$5A756A36-5677-436F-AFF0-7B6FA49E4F71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df6366239cd4c7151b4c9115c8634af913a4e43","datavalue":{"value":{"amount":"+0.8772623538970947","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":"Q3128959$C4CCBF9C-A4A6-4770-BB27-5DEA1304B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144fe35e33d119661b0c4e0476aebb71d0640864","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f467967113f56c94918a916618b111e94f707b","datavalue":{"value":{"amount":"+0.8466785550117493","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":"Q3128959$CEAB62FE-1B7E-48DD-86C3-4F815DDE0482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d64e01b9eed7f26d06c4aeb6ff1a45e88713e31","datavalue":{"value":{"entity-type":"item","numeric-id":4303543,"id":"Q4303543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990a567cb97d7fbee3c684d9dd29675be3a7d586","datavalue":{"value":{"amount":"+0.8378556966781616","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":"Q3128959$A6326481-E40C-4FBF-B938-E2260A0CEB2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3128959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3128959"}}}}}