{"entities":{"Q1813969":{"pageid":1824711,"ns":120,"title":"Item:Q1813969","lastrevid":69028908,"modified":"2026-04-13T03:50:04Z","type":"item","id":"Q1813969","labels":{"en":{"language":"en","value":"A note on guarded theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5483"}},"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":"Q1813969$11DAF1E5-E09E-4248-8EF0-635256DC05D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aa643a08c9925c1ab54ab078723d7fb987e827f","datavalue":{"value":{"text":"A note on guarded theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813969$CB3D41FF-84EA-4E63-BD92-FBBDADF234DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3422d6e4276be1fa0c2df75c8c093af70e1bdc2b","datavalue":{"value":"0751.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813969$BF9EBDD9-FE50-446B-B14A-EF931B23A7D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1c23f18ac28dd2d14c1e2d54c9ff28084b04e1c","datavalue":{"value":"10.1016/0304-3975(90)90153-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813969$B59CEE0E-69E7-44BD-8A3D-C1842BB57D7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$FFFB689D-6AB7-4316-A350-6E516EED8FF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$EE8F78B8-9367-481A-8508-25F80A63CAF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q1813969$25FAA978-CF96-42D0-AD71-EEBF9A70BBE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3ed808f3fd1d47c433bb7b57650c8d24199de44","datavalue":{"value":"Let \\(T\\) be an algebraic theory in the sense of Lawvere (i.e., the objects of \\(T\\) are non-negative integers and the object \\(n\\) is a coproduct of \\(n\\) copies of 1). A guard family in \\(T\\) is a collection of morphisms \\(1\\to 2\\) containing the canonical injections and satisfying some additional conditions. The author divides algebraic theories into three classes according to the properties of their maximal guarded families and shows by instructive examples that each class is non-empty.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813969$DF6C4336-CA76-4875-BF41-AFF27D5DC4DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1a904bce13815648859e4a9e6c13b60d3d332bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1801303,"id":"Q1801303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$E6AB3A4B-A724-4D6B-99F9-CAC103F7E5D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813969$DA351237-36CA-46C2-8D0F-D5FD0EF7E39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813969$618D1564-0654-4F40-8579-1F6ECABD26A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b51d0e8d7ceb0adceebdec4baa22870b86f549b9","datavalue":{"value":"5483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813969$AB5DAC67-1093-41A3-A9DF-C80D68A24C77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e48cc00223f8dda9975e29ade8109a122a6dd16","datavalue":{"value":"guarded theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813969$78CC09C2-1A52-4BD6-B4D4-4FEA2301F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288c39ee23f4e4c286ef690e23fc099cade10760","datavalue":{"value":"iteration theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813969$40DD0DAB-69C9-4C28-9341-9588F96CF759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813969$FA781DFB-40F3-4698-814A-E9469424A79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3e09e72de2e03ac938e3b37e6d5d3263b8a0cf","datavalue":{"value":"guard family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813969$95AADF20-BD4B-4A1B-A324-350034AEE527","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":"Q1813969$8AEFD955-0BAD-4DBE-90C3-2AC2100BDC04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47ab5b8511988750fffbec7604a5c69449514297","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90153-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813969$D1F84630-249A-479B-AD42-F2FB294D7826","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b6d3396c32db8768d6516539072d9b22b7a1356","datavalue":{"value":"W2094505602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813969$76F23017-9269-4362-881B-A5AE43AE0E12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$C2F6E440-3B2D-4D8F-BF05-4E767E0B29E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74529332d52a3507b2b5b261bdf475682b3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$4F44505A-97B8-40C9-A2CF-F4DCA2D86C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$2387690F-F010-450A-B211-584C57D5A0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e913f626d3282cb9dab84639f2766db2804ed051","datavalue":{"value":{"entity-type":"item","numeric-id":1208419,"id":"Q1208419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$7D57DCFA-EAE1-4001-BA7E-19C2A5EBF6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccff99eea49c3a4442b0cf9a5be16354e1518d6","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$DE3B5E3F-00F5-47FB-888F-CC211A5801A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e425d0d4da32ef851db9d90195cf0dd24b8a6ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3835042,"id":"Q3835042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$DFA86D36-6DCF-4EE0-9D0E-62D7E9225882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813969$C6FC26E0-1492-4404-9870-5F7F26ACEAE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a6edff6a93d41c7e32fd29746cc391cbd86be2","datavalue":{"value":{"entity-type":"item","numeric-id":1771899,"id":"Q1771899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0259ad530bfef3d06090c0d12a4e55e8b2f57390","datavalue":{"value":{"amount":"+0.7166292071342468","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":"Q1813969$4E2BA9A5-18C8-41C1-9128-E446B07D7710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088c7fbf8cb34dd054c28902832ff1cdf5343501","datavalue":{"value":{"entity-type":"item","numeric-id":4542629,"id":"Q4542629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf737d82bb3a1e0512fa4f83d0379705fb0fbd8","datavalue":{"value":{"amount":"+0.7158366441726685","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":"Q1813969$62FA5165-AE21-4979-ADF0-0D80CD6082C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac30f39c009e97890c5390b8a384fa445d56a765","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee8d9763f36cf5de674538dadf3066b3c78938a","datavalue":{"value":{"amount":"+0.6991809010505676","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":"Q1813969$81BD2376-4A9B-48E9-88BB-5B31EB26949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07c751b504774d7c9be5bf94a1631eab22e875c","datavalue":{"value":{"entity-type":"item","numeric-id":2722024,"id":"Q2722024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043d6e04491e6a22b42970d2c95564ae91e75bde","datavalue":{"value":{"amount":"+0.6965268850326538","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":"Q1813969$158AA495-CB48-4ECD-B630-15DA15A900C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d78b07d74319f5838ee1b4b5d03a4cd9859517","datavalue":{"value":{"entity-type":"item","numeric-id":4589616,"id":"Q4589616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c63513b201122053132934201ffeb70cbcb2c3d","datavalue":{"value":{"amount":"+0.6884033679962158","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":"Q1813969$5B677F28-678F-4E8F-ABD2-E9D0777C1A1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on guarded theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_guarded_theories"}}}}}