{"entities":{"Q2503401":{"pageid":2514144,"ns":120,"title":"Item:Q2503401","lastrevid":44228094,"modified":"2025-11-21T01:38:18Z","type":"item","id":"Q2503401","labels":{"en":{"language":"en","value":"Computing coproducts of finitely presented G\u00f6del algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054383"}},"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":"Q2503401$8C706369-1CDB-4FFE-B0E8-09C774F88DE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"272984e2210dfb255387104c284b9f9440ee7468","datavalue":{"value":{"text":"Computing coproducts of finitely presented G\u00f6del algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503401$33E91FA5-BE01-4D19-A235-FCEFA130FD73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88f7867e78245e1f31e6b04ec991f30964a83905","datavalue":{"value":"1099.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503401$F0659176-D285-4EB8-8821-B9652FCB5E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d5cb24d8cb35cdc4abd2e7a28bc5b4163204d11","datavalue":{"value":{"entity-type":"item","numeric-id":279325,"id":"Q279325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$9E86B106-AFFD-4F48-B9E2-76498D6471F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$0EEDE9DF-A25E-4E5D-8F80-E17710430DFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$357CB7FD-266F-49D6-A633-FB2B0261403A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503401$75964BE2-459E-455A-9849-FC7A13958941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503401$BAE191C5-EB6F-492E-AAA5-2ABAC69D6E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"669b0e19914ca870e400e8a003459784773a2683","datavalue":{"value":"5054383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503401$24CD6DB2-9A8D-4AC9-841D-BE71CE5F0D47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$B15BA1F1-FC36-4141-B3A3-0E39B83C9A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d333bec9fcb980bd4f276c1e38ed7badca083f4","datavalue":{"value":"G\u00f6del algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$672F928D-8762-4B54-A5A7-4E748A973942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bdfaa358cd5ea108528dcdf691c8731b6f08c","datavalue":{"value":"coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$DB92B563-A898-409F-B0B4-0FBC7073BE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$12125125-7653-41BD-944E-F929FC0A1CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$1E509767-4020-459D-B4A3-54691B61E71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b2d33963dc85c015ba353e197645da8b8601d","datavalue":{"value":"forests","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$53478245-4FC0-41C9-BFED-EF44F675B003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee17464e3d78f8192238850395c750c59230406","datavalue":{"value":"ordered partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503401$1FBC7765-B9A2-4300-A904-C602C66F1ACE","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":"Q2503401$972C6FC2-CDC6-4BE6-9346-B8C81FE3A583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0ec45c0b3f01cb22c605214223cafaaf48dd629","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.12.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503401$58F6A71E-F546-4BF8-A8CC-C090881F1AC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9638332419cc2068e79e6b8edea11798740853c0","datavalue":{"value":"W2026315522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503401$18C6912D-7877-4997-BB70-01FBFA640785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$5CA55128-EA4D-4692-B87F-06DCE94F1C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91dd72da9b1cabb581c68cfd54aeac6803a5c3a1","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$234C50F8-04B6-4081-9E13-9666008E17B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79205307b2e374114a851fdf52f3d5af953392ec","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$51D1921F-831F-4475-97D1-6E74284B42E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$46EBB30A-F518-497B-B7F8-A870B5932851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$843D2714-BE5B-45C5-8D7F-EE7952BA4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ade6ac64be06a2b78795ee4bef71a43924c99fc","datavalue":{"value":{"entity-type":"item","numeric-id":5571687,"id":"Q5571687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$4C336523-679B-4BA0-9DE9-05490367AA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$2E079E57-FB19-442E-A23D-6F89D33C6DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcc58aacef44752da8a1405a4ea1aba4372337","datavalue":{"value":{"entity-type":"item","numeric-id":3137743,"id":"Q3137743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$0DF3CA0F-A883-4195-8723-A29A51AE9375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503401$B885FB86-9986-4610-A150-5E42928D90E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a422aa493104e9def0a5aa5e652aa0816d3c6ad","datavalue":{"value":"10.1016/J.APAL.2005.12.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503401$D3A4BE64-2376-4523-9B33-168B547415B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fde1f544fce62a105905886d52c3a58c6c072f2","datavalue":{"value":{"entity-type":"item","numeric-id":2303590,"id":"Q2303590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e1dd49ab1936f8ef10ee52e344d02a3c59b8a2","datavalue":{"value":{"amount":"+0.87702805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$2185DEC3-65C9-4934-83D1-A050F300C2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf12dea13b43bdc5eaac6a903d35521a2552843","datavalue":{"value":{"entity-type":"item","numeric-id":4984865,"id":"Q4984865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce7f638ebef8d76fe528d159d45cfc631613fba","datavalue":{"value":{"amount":"+0.87258637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$DFB49830-FDC0-4A95-AA7B-211A713F04E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47134f3aedec20db89cf73cb17844d225dc2b548","datavalue":{"value":{"entity-type":"item","numeric-id":952491,"id":"Q952491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa0ed83cb270af0429a642052db30140c6bdecb","datavalue":{"value":{"amount":"+0.8715403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$AB5D6C54-F2F9-49CB-A80B-038B27FB7A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c5cff6bd9aa18119ffc933d2dd4f4618540224","datavalue":{"value":{"entity-type":"item","numeric-id":1750753,"id":"Q1750753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c88f4bda18108c730ce959dac505c100a1dac24","datavalue":{"value":{"amount":"+0.8653362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$A0D6308F-3C98-4C74-9BBA-989F98230FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c496a6f43e67ff066faf45ce7d6fa2084e6c69b3","datavalue":{"value":{"entity-type":"item","numeric-id":4637219,"id":"Q4637219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4300e81136df310838535514dec88e6d47f68b8d","datavalue":{"value":{"amount":"+0.8649683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$B8703F84-F5FD-41B0-A366-E61FE0476179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9024065e917be1fbb26e1b517dbe3abc42a245","datavalue":{"value":{"entity-type":"item","numeric-id":5876742,"id":"Q5876742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8af8ea8a3119c563d69c2f4275f2bb30d921142","datavalue":{"value":{"amount":"+0.8631122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$6F4C9F55-F081-4E59-A17F-15FE044EFF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922d8c14bd486263638848e55d674acf8723e6be","datavalue":{"value":{"entity-type":"item","numeric-id":6117138,"id":"Q6117138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b4317f65a09b6c01381eb318d21a45b43464b7","datavalue":{"value":{"amount":"+0.86116767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$2F500911-3C6C-4103-B882-A01A365551E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987037391d6a96bcd26b64c95d878148e4c89b54","datavalue":{"value":{"entity-type":"item","numeric-id":1421526,"id":"Q1421526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f964ebf26a6c0ea44433ef0e06122fb2d4bfa28a","datavalue":{"value":{"amount":"+0.85998636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$A5FF1D40-3DDA-4021-8E46-C65A063197AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16461d437e263daf995ab78d470c490220a8fdbe","datavalue":{"value":{"entity-type":"item","numeric-id":3980817,"id":"Q3980817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bde3207708d0f6def2582b92338f3f047b3a8f0","datavalue":{"value":{"amount":"+0.85993874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503401$1444D22B-CBED-46B5-B2E4-D8E1B3096420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2503401"}}}}}