{"entities":{"Q4357323":{"pageid":6386922,"ns":120,"title":"Item:Q4357323","lastrevid":46946484,"modified":"2025-12-25T22:03:14Z","type":"item","id":"Q4357323","labels":{"en":{"language":"en","value":"Finite schematizable algebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1066122"}},"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":"Q4357323$51BC69B4-5609-4034-B618-2A735F345075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f572c503cb25e73436932d5ab2a3dbfc4eaffa75","datavalue":{"value":{"text":"Finite schematizable algebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4357323$84AE9AB2-F3DB-4BCC-AC82-496F893A679F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4121102f2dc830cdefd82a513dd2df1062a93a0d","datavalue":{"value":"0886.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357323$1CC3150D-AC69-43C2-8DDD-7C2259C62D65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357323$CD1D7A92-3385-4795-9F99-781CE2DCF693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0406b8774c06c31bf317dd5cf74c3b15a67f1612","datavalue":{"value":{"entity-type":"item","numeric-id":1389658,"id":"Q1389658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357323$8D148FDC-2268-4E40-BF66-8829EFA56CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f4fab970e9276b9cd29714c07e8216a980a2f0","datavalue":{"value":{"time":"+1997-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357323$BBCDEC9C-F9ED-4D2C-9F67-EE006D2DC26C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddf91de823970724449726a46d08dce40db3a190","datavalue":{"value":"https://semanticscholar.org/paper/09232ebd47897ef57c55d54d070a4ac48c774292","type":"string"},"datatype":"url"},"type":"statement","id":"Q4357323$0128D7AC-933B-4C98-95D2-D96FCEC16526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357323$0951D9D3-E625-4570-84E0-7CD5B0918232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357323$9F395307-7BD5-4FA0-86CE-09D0368BF6DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4b57964d02dc845bd987fa4024063f9ae504c4b","datavalue":{"value":"1066122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357323$6F893D3C-0987-48A0-9924-305CCA084167","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50c91f429fe5275df6e3a8f9cdf6ecdfbfc65f5","datavalue":{"value":"non-axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357323$6182088C-9D80-4003-BECA-5C104D7D4ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f8883916ce0d2cc61ab93e6b18e55500e14990","datavalue":{"value":"finite schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357323$A95180D9-8977-49B7-A062-B2340316384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420ef905585183d2b90331a87dc2c0342672afd6","datavalue":{"value":"representable cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357323$6268B0D0-8703-4B25-BCCF-A9535AF34371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60b1a33d26f4ba767bea48e9a9e1860f852180f","datavalue":{"value":"finite schema axiomatizable classes of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357323$D6F10B28-7104-4B2B-AF67-F73DE652FCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d44cf5cda7fe4bc98a8806ef2b441af523ba05a","datavalue":{"value":"representable quasi-polyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357323$0C0F9309-D2CA-4538-95DF-562BF472F7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f3ccb9e867b2f5017bf1fbd5ad6cca920ea534","datavalue":{"value":"finitary algebraization of first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357323$8717DB81-743A-4CCD-B7E5-BB3A11481215","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":"Q4357323$A4E3F0A8-BBF2-41C0-9103-FB87FE7B99C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dc8b2ee7252eeead7debe169803762b7bd769a4","datavalue":{"value":"W1970210230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357323$6EC0FD0C-D9CA-4302-AD33-B1FE35E94C2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71b15fd4d849b48a6554d7d732152e13ef79398d","datavalue":{"value":"10.1093/JIGPAL/5.5.699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357323$07CB5943-BDBB-4459-9A52-5D16C7FAAA12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357323$528CCF1A-8EB6-4588-8A5A-041F4A6B4109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a77e5cc957a99a4bbe7eed24ef73ba73f80bf6a","datavalue":{"value":{"amount":"+0.8459798693656921","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":"Q4357323$2BC418D2-9869-4816-9F05-E0CA84EA6B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99bcff2d214f3ac7fe818ed3a0c35e14aa19586","datavalue":{"value":{"entity-type":"item","numeric-id":4873976,"id":"Q4873976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46437dc3f029585c125b0d016d9bac749af02594","datavalue":{"value":{"amount":"+0.8185771703720093","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":"Q4357323$FB89B8AB-0208-4938-993D-8C43AF7671C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ca24976a66a546193b608273056b8b1fb494b1","datavalue":{"value":{"entity-type":"item","numeric-id":4011731,"id":"Q4011731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8791428fd239ca7f8cb010d7bfcec7f1e31da925","datavalue":{"value":{"amount":"+0.8099756836891174","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":"Q4357323$D31A1064-C31B-4A64-AED2-2D35F327320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece4e568ac51137ba6928ddc9075559f8b974995","datavalue":{"value":{"entity-type":"item","numeric-id":4305492,"id":"Q4305492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be4e3fa7b33ed7862c969c3983821d7c583756f","datavalue":{"value":{"amount":"+0.8094021081924438","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":"Q4357323$AC3490FE-DF7B-41E6-AB57-0F0DAC56E264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357323"}}}}}