{"entities":{"Q1201883":{"pageid":1212632,"ns":120,"title":"Item:Q1201883","lastrevid":69874533,"modified":"2026-04-13T10:55:40Z","type":"item","id":"Q1201883","labels":{"en":{"language":"en","value":"Models of a \\(K\\)-rational identity system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 98623"}},"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":"Q1201883$C318FD50-F73F-4E30-BDA5-B6E4FE93D199","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"685ebdcbe2aa4cff551c6af63ecfa8a4fb51b9d3","datavalue":{"value":{"text":"Models of a \\(K\\)-rational identity system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201883$62B637CA-1570-4FC7-9954-8500CB46552B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb9c2c23ee56581a96fca1506d0de2be0c469e76","datavalue":{"value":"0762.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201883$F3507737-4E81-4A37-9AEF-2657F56D236C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be8a77f420c419efbc8895b31f2cd2b426c279e9","datavalue":{"value":"10.1016/0022-0000(92)90033-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201883$7FAE01E4-58D7-4D46-871A-FD0448A93888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"735ee5984b9b62ee30fa6c117eb197a65dd5cb17","datavalue":{"value":{"entity-type":"item","numeric-id":216237,"id":"Q216237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$15116521-EA63-4002-B319-EF07AB7838A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$F16D5428-BADB-4A2D-95B9-8294D65D7128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201883$727B8A00-F8B4-4C2A-B0BE-C84BF08B16EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4e5149f1f632cbdc975af7c35422a7269e017db","datavalue":{"value":"The author studies the algebra of rational expressions over a positive semiring. Interpretation and substitution are defined. Using the concept of model, he is able to show that every complete system of \\(K\\)-rational identities must be infinite, extending a result of Conway for \\(K\\) = the boolean semiring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201883$62C3820C-3BAA-42E9-9974-3153A3F6BB26","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cdb5d51a2bda6cf4c2922285188fc67ca4b14abc","datavalue":{"value":{"entity-type":"item","numeric-id":213124,"id":"Q213124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$3377F41C-D187-4243-9DDA-6301A3348C7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201883$B6872D84-8326-42E5-BD18-B4E1BC5EBEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201883$740553F1-0355-4A3E-A1B6-DF9009591610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b8b9631f73d74c210a505d7da1d3765802f172e","datavalue":{"value":"98623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201883$AAAE0527-1723-4DAF-9A05-EF34B32D43FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa7c2109ea257b408a76ffcc37ba7e4e7d4f089","datavalue":{"value":"rational expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201883$1D23BFA9-0E4E-494E-9CD1-382E2D8D53D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef38cdcef1a3961d61dcabc2675d2a8b932f548","datavalue":{"value":"positive semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201883$8B40A0CF-A2ED-4F42-9CE7-AE56DD21B51F","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":"Q1201883$ABCD7FE0-8959-4725-BBDE-B717874F26D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df9fd51b529b6aa5d75918488673c4fa854e398","datavalue":{"value":{"entity-type":"item","numeric-id":3691074,"id":"Q3691074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$C8FAA17B-3FE9-4BCB-8574-DEC1C094F08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711ea02cd71d24175fc5989e1692fa2297ffb056","datavalue":{"value":{"entity-type":"item","numeric-id":5611784,"id":"Q5611784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$875A39FB-4E0C-4132-B01A-E5B7880C7997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5d64d1845e04f80ca2a97cbbd0e809cdc4f53a","datavalue":{"value":{"entity-type":"item","numeric-id":3338360,"id":"Q3338360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$3097BEE8-2D4F-466E-9C79-AEBE4ADEC616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$F79F4C95-5BD2-4CFA-8384-A7182EF20957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$D8FE9A4E-9913-49D0-B354-CB6DAEB83219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$81CCF0B0-82D6-42DD-89CC-20A45B9B6BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a400bd87bf6a6ff978518d22bccfe9c5f8b77f","datavalue":{"value":{"entity-type":"item","numeric-id":3027187,"id":"Q3027187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$F1E00EF2-5B9E-44D4-AFB4-40BB33991D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$BA13AD16-EB89-4C9E-8BCD-D5FBEBC8D33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9752f15c7a4cc2b9b61240afe79128664852c4","datavalue":{"value":{"entity-type":"item","numeric-id":1097946,"id":"Q1097946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$99B8256D-3C65-4707-A67E-ACD1BF320098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd722de1a0e870591f474be9d90ba6031b5a8395","datavalue":{"value":{"entity-type":"item","numeric-id":3975995,"id":"Q3975995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$1D57454B-3D48-4B75-AF77-B9E54EE3BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$65A1CCF8-9386-48B2-91A1-D7B544A54C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02758e12210f35d6d977dae2481411b0632a0768","datavalue":{"value":{"entity-type":"item","numeric-id":4113791,"id":"Q4113791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201883$D57EC993-A107-4423-A5AA-7BB3B603CE8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42de7e7ea6f9c49f031df2b61e1079af7390d5c9","datavalue":{"value":"https://doi.org/10.1016/0022-0000(92)90033-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201883$123263C0-E91A-4C3C-B38C-99489CC35072","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7e1eb7e4111d8a63b3b044c594518d95e081ff0","datavalue":{"value":"W2008482270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201883$5DFB6E53-52DA-48C7-AE03-BDF440A23234","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94eae0630ca1ac0c3c76895a749b60c1dc4e2cbf","datavalue":{"value":{"entity-type":"item","numeric-id":3975995,"id":"Q3975995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1deb130840fb6fdf4300724a127ec6fc04c01f99","datavalue":{"value":{"amount":"+0.8255570530891418","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":"Q1201883$EBF3383F-63F1-4ECE-864F-F66642315AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e95aa1ebafbd8c956044d63f91342fae35da7c","datavalue":{"value":{"entity-type":"item","numeric-id":3991297,"id":"Q3991297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1deb130840fb6fdf4300724a127ec6fc04c01f99","datavalue":{"value":{"amount":"+0.8255570530891418","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":"Q1201883$78827200-239C-498A-AD7E-088A9A6F7A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326b5dba4ebed5faff6af8438bf0facb53878785","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efcedcffc5946eaef7a6e6f584eb126b745ae724","datavalue":{"value":{"amount":"+0.7806503772735596","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":"Q1201883$A37FFFE4-4D0E-421B-B8FB-7E0BC0307427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0ae907edae1225738a2ee30b4a8f220ad2e70e","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af5e87d6e8e39d51576d56673665c2c991c0d2e","datavalue":{"value":{"amount":"+0.7794566750526428","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":"Q1201883$63E87BD6-70AA-42EA-A32C-1A053F185182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4091a6bce08f0acd41904ad0095cff8b316a448","datavalue":{"value":{"entity-type":"item","numeric-id":4024645,"id":"Q4024645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832d8e3813f3b7e101b78068507592baa782469e","datavalue":{"value":{"amount":"+0.7751424908638","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":"Q1201883$57892E33-33DC-4089-BBE5-74B44B807378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of a \\(K\\)-rational identity system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_of_a_%5C(K%5C)-rational_identity_system"}}}}}