{"entities":{"Q383784":{"pageid":385551,"ns":120,"title":"Item:Q383784","lastrevid":61430148,"modified":"2026-04-10T23:19:26Z","type":"item","id":"Q383784","labels":{"en":{"language":"en","value":"Free inductive \\(K\\)-semialgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236055"}},"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":"Q383784$22DA664A-B9F0-4907-8D50-C648CB18C3B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d73cd16089b4cad8eb70a71178fa2fa0baf1cecd","datavalue":{"value":{"text":"Free inductive \\(K\\)-semialgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383784$E625625D-11B9-4A59-9B83-DE02966DCBDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e67092c9b6492fc16e532edaccbacdf6dee60e37","datavalue":{"value":"1286.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$495096E7-9D06-4E3A-880E-A486DBD461E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$6591CAC4-EE6C-439C-9203-35EDEFFB07A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce11f4b3a69e8357fb668d5048be9658c17e247","datavalue":{"value":{"entity-type":"item","numeric-id":672828,"id":"Q672828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$914B3D67-BFA3-4692-A717-9D2369D3EE6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$EB82B386-1681-427A-9C9A-3C5B0C663674","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383784$6B3A993C-B565-4C7A-BD98-9A14D8026C1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0681408641cb11ab68f793517d4c1aa28d003f8f","datavalue":{"value":"https://arxiv.org/abs/1009.4820","type":"string"},"datatype":"url"},"type":"statement","id":"Q383784$99A41CA9-5F9C-42B4-8DF5-0CEC77212A56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$4786FCE6-A537-4738-BA74-742DE30F99D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$F0E0E44F-3296-45C6-939C-1E5ACA2583C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$C8636411-77DA-4415-9844-813A8288FF0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49451f25849d882b86a7e5b9eea78a337bb11123","datavalue":{"value":"6236055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$E4DDD010-7B4A-4C74-992D-B1F85200452F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1431ab4352a55d8b7f6bf11b2ff0e48a984d42","datavalue":{"value":"rational power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q383784$689FD3DE-6FF6-4FCF-9159-3A0222C27753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q383784$27809FE7-65F0-43FD-905F-523B5FB876EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68034c2f46e7532ec29bb7493525b9c43dc798a","datavalue":{"value":"fixed point induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q383784$FC990BA4-9378-4676-87B6-035275C84DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586dac6c81154617bb77938715761088c476f3a2","datavalue":{"value":"inductive semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q383784$3C864C1A-BF95-4D31-9A33-3303931E0449","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":"Q383784$271991F7-638B-44CB-9472-A8883A3D4182","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53010a9d96c01ad72cebb1534e23f3742aee0fdf","datavalue":{"value":"W1748837224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$D7AAAC96-9E7D-4B12-8134-87D4AE29B8D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32948d3ff372c19a8bcb951a15d46cff7f662184","datavalue":{"value":{"entity-type":"item","numeric-id":5716792,"id":"Q5716792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$09DD1D82-8242-4954-8352-F18DFD319296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ddf410bd8bbe965ffc31aea58a5407e7f6f9a9","datavalue":{"value":{"entity-type":"item","numeric-id":3434682,"id":"Q3434682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$95DC18D1-BDCD-4F22-8F3A-69AA3ECADD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$73237990-5A31-4B81-96AA-E8F2DFEECA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3157dfd682e106a7748d683af9a34aaf811e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2389332,"id":"Q2389332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$728CAB4B-6256-48F4-A953-3D7E94627A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6802d82655e278b484a9d306dee8d435b453532b","datavalue":{"value":{"entity-type":"item","numeric-id":5506336,"id":"Q5506336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$5012D900-8E0A-4696-91DA-73ED60517B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$BB32D9B2-3FC2-4969-82E1-AC6E30D44159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$A4797AD1-D3F3-4E2C-8129-C75F8C6039A1","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":"Q383784$A2983982-4830-4982-81AF-E3B4C8C13645","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":"Q383784$73AF31A9-474C-45A7-9F14-59762CDF21C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$A4254B5C-EB87-4DF5-B6DC-618B03860A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bef3c0584ceb9f04a6129d6f9630f4115572e11","datavalue":{"value":{"entity-type":"item","numeric-id":3532996,"id":"Q3532996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$14A6859D-44D1-472B-944B-853345765D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ee78ca29e24a803ef6c263b643ea87f81dd7c2","datavalue":{"value":{"entity-type":"item","numeric-id":5053726,"id":"Q5053726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$FD6CBFFD-4883-4854-AD91-B2AE52BCFA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169bdfa07d453f80501baef4c53aa6c8c03c066d","datavalue":{"value":{"entity-type":"item","numeric-id":1882911,"id":"Q1882911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$D3330A83-D09C-4DCB-829A-AED63FF3BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5712a1aa57ca66bc717d1235509e619f5e1f126","datavalue":{"value":{"entity-type":"item","numeric-id":5072545,"id":"Q5072545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$52FF37F0-67BB-422D-8794-E260BEE1C0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e5cdf63506df6651b875b368c87f36bb609bb8","datavalue":{"value":{"entity-type":"item","numeric-id":412016,"id":"Q412016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$48817F25-4965-4CFD-97F5-DC5C27CB4577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbfb5b1a9eb9d6e1f0194cb3faba8a912f8e813","datavalue":{"value":{"entity-type":"item","numeric-id":4433737,"id":"Q4433737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$B04DB320-CCF5-444D-8AFD-C3DA18BB8191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fc8077db89d38bafb9838b3acb2fe6f6af564e","datavalue":{"value":{"entity-type":"item","numeric-id":4229053,"id":"Q4229053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$60F1BF7D-946A-441F-A963-B56A68B725B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$BE1AEB93-0CC4-4801-A701-52917E783C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$0A7181B0-B09B-48F0-B19C-01BC4E315650","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":"Q383784$593F0DB9-8508-4CF6-AF99-749D9D76B7D6","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":"Q383784$80A5E45D-F1A4-417A-8295-1ED2D29C1F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$65D0F0FD-6546-44AA-B65F-940DB4543156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e41e727256a841004087d7e7c7c1a89c7aa839","datavalue":{"value":{"entity-type":"item","numeric-id":5596827,"id":"Q5596827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$DFD28FE4-3CB6-4898-96CB-042427D95D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$54D4905F-E9D3-4DE4-85A6-F99D0559DEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383784$6458EBFE-8014-4DA5-B56E-51F6451A1017","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"263af4ed748b20be83ae3ffbeb30db11bd566a51","datavalue":{"value":"10.1016/J.JLAP.2013.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383784$B750FC0D-714A-4094-B88B-0BEB25BF91ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e4101168e11ca8105e95d7cca84ef3e5d763bd","datavalue":{"value":{"entity-type":"item","numeric-id":412016,"id":"Q412016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f4c695ad166678e32c0119da97e8042af9167b","datavalue":{"value":{"amount":"+0.8779664039611816","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":"Q383784$CFCD140B-F692-4C03-B5C8-B30EAB08C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3efaf25ab05ee0ada1e934b848ff02631b91f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":1613543,"id":"Q1613543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e3aaf580bdf2ccb47e1ab4aadc9275657ed396","datavalue":{"value":{"amount":"+0.8584810495376587","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":"Q383784$95C6FD07-34FB-4778-AB35-0482BE19296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be39e4daf60dd4eea3707e696a389e75b9b4128","datavalue":{"value":{"entity-type":"item","numeric-id":5053726,"id":"Q5053726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7205f7ef3ae36e85042122ba663462615d822a94","datavalue":{"value":{"amount":"+0.8572893738746643","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":"Q383784$689A69AB-0AFA-4FA4-A710-FAD8CA0791D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae979ff1fbd289147cd2cd17515675f380f718a","datavalue":{"value":{"entity-type":"item","numeric-id":2389332,"id":"Q2389332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d8868240f8174ce9c5a45cd20f8c2d896c41fb","datavalue":{"value":{"amount":"+0.8356271386146545","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":"Q383784$D54206BF-59D7-4129-905C-35F35979F3E8","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":"84db1e8cc4fd438bdb2becb4d1d37463297f03b6","datavalue":{"value":{"amount":"+0.7905076742172241","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":"Q383784$8E96A125-1EF6-458B-875E-856755F64C51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free inductive \\(K\\)-semialgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_inductive_%5C(K%5C)-semialgebras"}}}}}