{"entities":{"Q1183285":{"pageid":1194034,"ns":120,"title":"Item:Q1183285","lastrevid":69839316,"modified":"2026-04-13T10:41:37Z","type":"item","id":"Q1183285","labels":{"en":{"language":"en","value":"On generalizing Stallings' pregroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33038"}},"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":"Q1183285$D95261EE-5BB8-4177-950F-064CCAE5E2C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce9612dcba9899abecfacaee18bde2e500afbcc1","datavalue":{"value":{"text":"On generalizing Stallings' pregroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183285$87ABE423-DADC-40E1-84F9-A8EEF39A0463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46fe3e83eaedfc0e614e19ec46d83b1f561d083d","datavalue":{"value":"0749.20007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183285$ED54ABCE-054B-43E2-B937-F311FF192B8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1d7048d6a7a46c79e183a7c979477981eabfad4","datavalue":{"value":"10.1016/0021-8693(92)90179-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183285$1562E90D-E627-48E3-9B2C-289BE8F6EBF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$F7D17E99-5ED8-4B65-B6A6-6F1715A5EF6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183285$36419C53-B811-403A-9AAA-3F72E9E227DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"965e4d6a5cc2b460564d0e4f6c1826d60d2947f7","datavalue":{"value":"The aim of this paper is to prove that for a pregroup \\(P\\) the axioms \\(P_ 1\\) to \\(P_ 4\\) together with the axiom \\([Q_ 5]\\) are sufficient to prove a normal form theorem (we recall the axiom \\([Q_ 5]\\): If \\(ab\\), \\(bc\\), \\(cd\\), and \\(de\\) are defined then at least one of \\(abc\\), \\(bcd\\), and \\(cde\\) is defined).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183285$02DC39DF-D893-4B48-8650-9B5D4C6F44C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183285$F2B376AA-BD64-4570-AB6C-BF034805ACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183285$5796B210-6F7D-4E79-B554-ED2467728936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04be0019a7b6c7b349c785be979f866ca0289936","datavalue":{"value":"33038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183285$3ACDC2BB-366C-4C2B-B29E-702B042BA4EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc7ac9c1e9aff32b029d8fca4008efe0b87e4c9","datavalue":{"value":"pregroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183285$BD98F24F-F97B-4791-9CE7-9A126C4F0453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183285$DC047160-1024-4375-A0DF-13918DB0A96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183285$D2C1B53D-A46E-4134-A3E6-BBD51C192919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cf5588b0dc3660421db81ee4201b5f5407c6016","datavalue":{"value":{"entity-type":"item","numeric-id":2547958,"id":"Q2547958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$4AC97460-2705-4F6B-BD6F-81B80E89832C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$C0B0F8A5-0314-4516-9276-6C872FC9306C","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":"Q1183285$44DE6719-D0BB-44AC-BFED-F4CD646B8E54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe0aeebf63c6136aba462de97d8f834f84d177a","datavalue":{"value":{"entity-type":"item","numeric-id":1112173,"id":"Q1112173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$AC141FE2-8B6E-45E4-A5AC-796692F2DBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33981a66b8b7a5cca3172727829979fb7887a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3819226,"id":"Q3819226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$35FEAC37-8556-4409-B7D0-1F64EF7088FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c725ecef692ed4bbc0ac6c1f3c66d6ebd64555","datavalue":{"value":{"entity-type":"item","numeric-id":3770705,"id":"Q3770705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$48C7A9B9-517C-44DE-95A0-B27350AE5CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a83a1ca4d4fde49a64a4b02cfd93f8a6844ca3","datavalue":{"value":{"entity-type":"item","numeric-id":5651924,"id":"Q5651924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183285$C7BBD8D3-9781-4C28-BB63-58DBD58991DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"041282b06be3fdc3ba20d41810000de283518142","datavalue":{"value":"https://doi.org/10.1016/0021-8693(92)90179-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183285$4ACD2C77-2017-48B4-8045-AE4657FA3EDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22ab5d45f2a3fdd20e8a2a220a7b918ff746b688","datavalue":{"value":"W1992588977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183285$6FD8B7D0-DD80-4A3B-BA81-6549CD933852","rank":"normal"}],"P1643":[{"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":"d0f57b5e88789523be7266f06b246b2547005cd2","datavalue":{"value":{"amount":"+0.8450379967689514","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":"Q1183285$83951305-BC3C-46CB-83BE-6600217B6DA1","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":"b89ff73447734250c6c9db98f1751b674c87f5ca","datavalue":{"value":{"amount":"+0.8384301662445068","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":"Q1183285$1088C8BC-75AF-4CC8-B286-F9E3D916E116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f87ea5bc2e8d678cf4ebee21db2cf25d507fbc40","datavalue":{"value":{"entity-type":"item","numeric-id":1112173,"id":"Q1112173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057f82cef45df3a1cbba678cedce80f1fa59a341","datavalue":{"value":{"amount":"+0.8073885440826416","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":"Q1183285$ECF9F049-173C-4461-88DC-658BB1087261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af1060a1617b806cb32015c5ac5ffc2f5c345b5","datavalue":{"value":{"entity-type":"item","numeric-id":3027223,"id":"Q3027223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fe98e98a084c7e6d7d80e5b4e6d81a340fa89c","datavalue":{"value":{"amount":"+0.799245297908783","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":"Q1183285$2B176D9C-6E6C-4BB0-A987-C2B3EC799C4C","rank":"normal"},{"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":"cc3ad72c89435db4f3b3af21b0908bed510c6540","datavalue":{"value":{"amount":"+0.7752864360809326","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":"Q1183285$20791EB9-CBC6-4FC7-8F38-A3564DD0818E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On generalizing Stallings' pregroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_generalizing_Stallings%27_pregroup"}}}}}