{"entities":{"Q3430283":{"pageid":3440986,"ns":120,"title":"Item:Q3430283","lastrevid":50056684,"modified":"2026-01-12T20:10:21Z","type":"item","id":"Q3430283","labels":{"en":{"language":"en","value":"Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5135937"}},"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":"Q3430283$D4DF5ACE-93D6-49AB-BF94-4A4D81537F42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f118aef42848e13eac740115dd4ed730ada6a3b","datavalue":{"value":{"text":"Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3430283$C2560B70-2A0C-4233-8B6D-22ABB4A2AC79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c737bc68f942b69f4fb37e131a34ec6aff52cf85","datavalue":{"value":"1110.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$AB50198D-1A43-43E5-8417-AACC98996982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de4c6643a238c9dbfc5d0b0f73cffe592c19e00f","datavalue":{"value":"10.1080/00927870601042118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$0FFABDF4-5B23-4A74-8214-6F8D2A48F608","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$FC53F196-B783-44C2-9880-A16029C78D43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"16d8b82490dec888c33b78fc39ab27b6597a4ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2707874,"id":"Q2707874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$2FA1D94A-5DAF-4526-8A6F-BBD01F4F860C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5efeddca6748c342a82da80143c68e21041df0bc","datavalue":{"value":{"time":"+2007-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3430283$C9BAF27F-E66E-4AF5-B84E-B260234C8C62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$BF425405-0963-491D-B241-19813566EF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$0DB61686-B24C-4F7A-A4A6-785DA065BB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$4D3A8FE3-4C2B-42EB-BC1A-0B599A1CA76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$2C847A97-5256-477C-9EB9-4CF7F6DEEE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$9C710F4D-5323-4EE2-81D1-C9C6A0B3C9C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae990ef79ff78fa5673bbfb7855e34ecc45355ca","datavalue":{"value":"5135937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$EE8324FE-A03E-4EDE-AC20-B6DD75D7959A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c076cbba3879ea62b1e41c3c4255e50a11f22bc5","datavalue":{"value":"algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$5895B7E4-5609-47A3-9582-A99C0FB065DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$7C312E93-DF91-4DA3-8906-CA6FAFA8AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$9AC17C07-5419-4713-A7EA-2B100CD5553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3032a14c46c935f1ff071d9c47d81b523cedae4e","datavalue":{"value":"order homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$E9A935FB-2101-4C8E-83F2-C2C5AB1DA0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e95546a6eed3ad1c3bf9462ab6ca1d15d0ae2a","datavalue":{"value":"order isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$D836032C-1E3C-48D5-817D-C5EB1A8FEB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e085a5b6fd17046af5897140adbcca66c9836f","datavalue":{"value":"order translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$6B7CA5EE-8B36-45B8-B317-29EC260B5955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8817c018386f6b9e55262cb47788c2526d2ea0c8","datavalue":{"value":"polarities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$B0C509E8-F9C7-433D-A73F-BC17D0EA0A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c442a05ddcf117bf0fbb9f8bad47c7c765a5df1","datavalue":{"value":"polarity translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$03F74B9D-E12D-47E7-8BAE-6FAAF6B01BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4369c902205579a7db62e77251b0df5cf2388b0e","datavalue":{"value":"protoalgebraic \\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$A6E3E81C-4CAF-49F7-900B-53EA127B316F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b7e5458a7a5ae7b348650458881262cb368999","datavalue":{"value":"protoalgebraic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$E5DFFD85-7ED2-47A4-A899-7C41AD630A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd753512fecb95445fc4480b0c8a09f9d42bad2","datavalue":{"value":"quasi-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$C90B1886-4BA2-4ACF-AAED-060D33B3FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b592d57d5b8f6c2ca256a200a84383662b18a1","datavalue":{"value":"subdirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$4BEB8EAC-1BD8-4376-974E-3ADC60497C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8926a9e7e26b5be40a82d7ba6075fdd604895b","datavalue":{"value":"subdirect representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$51A19765-3500-4ADF-96E8-591B724383E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430283$E9AC0968-DACA-4D7A-A45F-77D24F7009BA","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":"Q3430283$0CABCADC-B30F-4106-9592-F1DB0C198E09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f47b89e7f16571fdb81856c3b1592809d670671","datavalue":{"value":"https://doi.org/10.1080/00927870601042118","type":"string"},"datatype":"url"},"type":"statement","id":"Q3430283$5E067A43-8D2C-42D7-B6CD-B31DAD19C857","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf1c42096502fcbab312722d1addd2e949868a40","datavalue":{"value":"W1965995586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430283$D266D12D-8265-42F6-AFCC-4972EE1EBEDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$C6CBCA19-3112-4BD6-A8DF-A3FAAFC90597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$9DC03B28-CF12-44EA-8D3C-9CF9DEFB99BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$8F01A308-D86C-4B90-86B6-98842BC5E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8541fe9c38d3e64e35a91a87455e8787302155c","datavalue":{"value":{"entity-type":"item","numeric-id":4934882,"id":"Q4934882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$61E87480-5F21-4E84-A86C-63C9A78CF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$61EF337F-F686-4930-9137-1680B250CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb68fe32bb5fe8ec05e704faf061202d9fd82400","datavalue":{"value":{"entity-type":"item","numeric-id":1368911,"id":"Q1368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$F892D9A2-9FBF-4D4C-956E-78342621BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65171539ca38f169aa5b00da0054d0b7b7badecf","datavalue":{"value":{"entity-type":"item","numeric-id":1966161,"id":"Q1966161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$A76D408B-EF3C-430D-9DB8-C41F6AA4CDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$F3E7CA58-C48D-42B9-97D0-690FED874BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$4CEE8238-DBBA-47F2-ABFD-B986F10062F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$4CC112A8-8691-4EDA-8DF4-9A4CB04D30F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310156b624ce1cb95cef937bfe8d9d9753f1c428","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$AF736F23-5E50-4BF5-B436-E1D42A7CF4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78185e93b2b0b796bebb34393358a3a29625816c","datavalue":{"value":{"entity-type":"item","numeric-id":816651,"id":"Q816651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$FFEF5D29-A20B-409F-8D69-8BFA0F026082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810ce88e294ff1f7d929ef607c9d8ee623854cad","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$5A0F86E4-6BA6-4E08-8C07-B6075FA8016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7922e5aa0999a77ea13e80080f4e5f921b0a2cf","datavalue":{"value":{"entity-type":"item","numeric-id":5747514,"id":"Q5747514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430283$776519BE-9AF4-4359-8B3B-168B1EEB20AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b4bda467c2536d2201f240cf0dc5bc638610f6","datavalue":{"value":{"entity-type":"item","numeric-id":3582174,"id":"Q3582174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27713f570ffda080412ba93f5de611f9da057768","datavalue":{"value":{"amount":"+0.8706044554710388","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":"Q3430283$C9F32053-0B13-4929-8F69-BBB211657D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09b175bfbdf6020318f5e972670adb548aeaa90","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e555bb53b2b8ba7de6cd01c387a8f912a1ae3859","datavalue":{"value":{"amount":"+0.866216242313385","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":"Q3430283$365E825D-DF14-40A2-AE71-4F831189DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532f670057a5e3308ce4e67a4e97218f148e0661","datavalue":{"value":{"entity-type":"item","numeric-id":5505141,"id":"Q5505141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09fa9f5032195ffe34697548ed4caeac48d2add","datavalue":{"value":{"amount":"+0.8452947735786438","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":"Q3430283$11471DFB-9FF2-4229-B709-B88D07023C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53d132dc0a4ae33727c818a230ae522cc55c477","datavalue":{"value":{"entity-type":"item","numeric-id":5747514,"id":"Q5747514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5fd4e75ee090d004f34488ead278150868f960","datavalue":{"value":{"amount":"+0.8423956632614136","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":"Q3430283$1244240C-8C71-4535-80FF-BBBD1DB9473D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e53fbdb70df150ec457832d19e0a07a4bc16974","datavalue":{"value":{"entity-type":"item","numeric-id":878147,"id":"Q878147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329db1eaa224d55450bb287769a5fae5b76ba8f4","datavalue":{"value":{"amount":"+0.8366706371307373","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":"Q3430283$098D282B-AF20-4F3C-8400-790C93E1E423","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3430283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3430283"}}}}}