{"entities":{"Q4018791":{"pageid":6048571,"ns":120,"title":"Item:Q4018791","lastrevid":55200370,"modified":"2026-02-04T17:42:29Z","type":"item","id":"Q4018791","labels":{"en":{"language":"en","value":"The Class of all S-Pregroups is not Finitely Axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 90616"}},"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":"Q4018791$34FAA629-7D11-4DC9-A898-BBB57C1776A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c91da8802c9308aa1a538dba0c8ec808c501d2f1","datavalue":{"value":{"text":"The Class of all S-Pregroups is not Finitely Axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4018791$7BE7F3DF-CE43-48EE-8C44-753200BA4EB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b98c63e652429e087b0b7836ba07d04df0c06e6","datavalue":{"value":"0790.20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$AFB3344B-CE78-498B-8D79-3BA3984FFF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6d496c0d826a8e1890c492576a8d06982f5bcdb","datavalue":{"value":"10.2307/2159331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$E88A9235-97ED-4601-8D69-02427AE64E9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6382fd8378ec9b145bfcbc962b850004ed2bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1175719,"id":"Q1175719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018791$D9068A0E-D9B4-4466-BB07-2CEE7F8F41E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018791$C79207B7-8916-403B-9058-E19908423A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4018791$ED3B9C7E-2569-4674-ADAF-8432E64A1ABF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$43FBD851-0847-491C-A48A-E9CB55727E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$C61DA1C2-276E-46BF-B1F2-0DB252A4CE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$3B15A713-D889-4942-BA09-719302BB2C15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12c13d901a8d80d9cb3a41c3d58c8d79aaa46143","datavalue":{"value":"90616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$8FA356A7-3135-49F6-9904-9A8064B77DAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a8dde5685d14e26bbda497595d18f6616c6a5f","datavalue":{"value":"amalgamated free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018791$4BB86239-D75E-4F7B-A981-3EABF0CE7924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018791$E10E4503-9CAC-4767-B152-667F2D9378D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024354cc497bf23f633d885fdf11c3d5a74e1a0f","datavalue":{"value":"axioms for \\(S\\)- pregroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018791$861DCC2E-705B-42E8-A22D-23837C6A269A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"540f91e81c875cc719b9711c1333b2a1505154d6","datavalue":{"value":"finite set of elementary axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018791$BF431399-118A-4B27-B6A4-05CF4C1C62BA","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":"Q4018791$BBD0593D-C85C-4F6A-809F-C4E5C7A1AA89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7668748b055e5908e076fa3554e1e8104150db45","datavalue":{"value":"https://doi.org/10.2307/2159331","type":"string"},"datatype":"url"},"type":"statement","id":"Q4018791$8DFC21FE-4962-4707-B3BB-E79041FDC49C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7552abaef505d6e9d5d03571c7f3f56f448727d","datavalue":{"value":"W4245815473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018791$03383282-9451-4DC8-9A1D-3D709EB0A6C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5237bc4a23e1f787267cd197cbe0bb101920593","datavalue":{"value":{"entity-type":"item","numeric-id":1272229,"id":"Q1272229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8292a3bb21cc0e7b968ddc16a786982a19e3cb21","datavalue":{"value":{"amount":"+0.8227970600128174","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":"Q4018791$3AEBB1C0-C6CC-4F56-B848-A93EE8249EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a107ee3aa71bd4caadbfb7985d6cde8fb324a4d9","datavalue":{"value":{"entity-type":"item","numeric-id":4315632,"id":"Q4315632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45008290f08cf7ed4e67c958599ba51b35f1bc19","datavalue":{"value":{"amount":"+0.8165679574012756","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":"Q4018791$765150C6-B5E1-4099-A649-DD33CE5E3B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83906d2acfc7214e486a66c10dac7b9c176c7ea","datavalue":{"value":{"entity-type":"item","numeric-id":2944015,"id":"Q2944015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed29b77e9cd0a525ab9af0ddac1813faf504b228","datavalue":{"value":{"amount":"+0.7958294153213501","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":"Q4018791$278D3166-22AF-4EB1-BF87-5F7C02B2C40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad32080f5c893edaf626b7bc9b2410797227dcab","datavalue":{"value":{"entity-type":"item","numeric-id":4527219,"id":"Q4527219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece3da26b5b6bb454ef0907dde6092944ab29f3b","datavalue":{"value":{"amount":"+0.7859421372413635","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":"Q4018791$E84AB558-01C5-4F4E-82D7-4E751AA9D0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be495d9d6f21058f5c3ab11cad218fea46e963a","datavalue":{"value":{"entity-type":"item","numeric-id":4898455,"id":"Q4898455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced566fb08a9ed2966ceb23a34d1baf2b0ffcac6","datavalue":{"value":{"amount":"+0.7836048007011414","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":"Q4018791$31193ED3-D821-4548-8E85-8CD6031C8910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4018791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4018791"}}}}}