{"entities":{"Q3138864":{"pageid":3149580,"ns":120,"title":"Item:Q3138864","lastrevid":47197015,"modified":"2025-12-31T23:42:55Z","type":"item","id":"Q3138864","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432737"}},"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":"Q3138864$178B2564-1634-474A-96DC-D3C8A2F74C26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716ba513c66d33979ad88edbceed80da48996601","datavalue":{"value":"0811.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138864$0EEA9922-286E-41A7-8483-938F20541D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1b2e99d22ebaadf2ff0a682f49925762ade7513","datavalue":{"value":{"entity-type":"item","numeric-id":797615,"id":"Q797615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138864$1528FEBB-0435-4CD8-BC8E-F69E6250FE5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f52e0a3be4dd473bd079644edf45fcf1153c2a","datavalue":{"value":{"time":"+1995-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138864$2C44D4B7-103C-491A-98AF-E5C89A2EA5D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138864$9E15C7BB-6F21-4605-9773-4788517AFF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c1baf3c0a1b693f4250b9f92c4762b4d5fb4073","datavalue":{"value":"06-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138864$D49B96CB-3DA9-4475-94F7-B12141E672BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138864$18E98565-62A4-4A91-ADF1-42594EB2AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138864$64DD430A-101A-4AE4-B5EF-DF695A6E3F31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5da294dc355845005175168782fd2c978fb6be6c","datavalue":{"value":"432737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138864$CE89055A-7FCC-4ABD-BFDC-D1EFA5FC558A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9945c4f9099acf0e910a599fc6e00b4fdf2067a8","datavalue":{"value":"Boolean algebra with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$7B13CB12-94C8-4E43-BEE7-55320564FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$BC156476-124C-43B7-9F2D-63E191E1D23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$F613F1F7-D99B-4EB5-B28C-F7114C19F503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$9312D3C2-1E9B-49FD-9892-3916315AC9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc82aacb72df593e9638fb7b015d44399baedc90","datavalue":{"value":"closure algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$375265BF-7003-4B35-AD47-FEA0F72312A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaec606b507cb0319a31ea65e09c00603eea923","datavalue":{"value":"monadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$7A46508B-B160-4180-ACFB-4DBF54D0724D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3cef3b418717ae6a91dd1df645790b37afa0e1","datavalue":{"value":"tense algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$FC466E56-54A7-4AD1-BDEA-984905F3C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c19a93987ccfa3536f5e7b30a8b548ee074147a","datavalue":{"value":"Boolean modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$962AE694-9262-45AE-AF40-CB05AC6EF0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$0DD28778-2EA2-4C21-A41E-C4C633A5A1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f5c344c1b5fc0accc0e45363ac9485b01af9ee","datavalue":{"value":"algebras of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138864$98DB187C-9CCF-49EC-90D6-BC092A148B92","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":"Q3138864$8CEBD709-39A8-4940-A36C-E9027A68C7C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f2bc8c9eb207cdc0a4564769d302336182f65a","datavalue":{"value":{"entity-type":"item","numeric-id":598303,"id":"Q598303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c9b8cd810d84e81a43f76152f82c6b16c9a79f","datavalue":{"value":{"amount":"+0.7797372937202454","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":"Q3138864$079CAC08-7D0B-46B1-BA37-D577FC4DC6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21679b0ddcf64d5685cfc011027757e63518d0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3151339,"id":"Q3151339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4ca9b50939b8c4dd0d442604ce79747117ad37","datavalue":{"value":{"amount":"+0.7768234610557556","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":"Q3138864$2E68DEFB-4D1C-448E-B676-39F29B21932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442c861a805b81e171c208c33dfb4a0ff9b15047","datavalue":{"value":{"entity-type":"item","numeric-id":1073056,"id":"Q1073056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78031b3f0bd5f5de2c91f449fa60ec13677ae204","datavalue":{"value":{"amount":"+0.7746202349662781","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":"Q3138864$A37358E4-9511-4091-BC7F-8BAE8DF36EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54e58e06de85e2d78105ced76ef281838037d94","datavalue":{"value":{"entity-type":"item","numeric-id":4465173,"id":"Q4465173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e0e28ee1e1be12d22f220145818106881941a8","datavalue":{"value":{"amount":"+0.7492733597755432","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":"Q3138864$7D06F2B7-BCCB-4138-9A81-EE0E64FCF55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0746a43efab6076903bb2335ba6425f0439a27","datavalue":{"value":{"entity-type":"item","numeric-id":3701421,"id":"Q3701421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9eb3056ce72124e07cc7a1d0b3812b3c14a6cd0","datavalue":{"value":{"amount":"+0.7478389143943787","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":"Q3138864$9F86D015-F282-43BC-A8CD-A54FEF95DC23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138864"}}}}}