{"entities":{"Q2915670":{"pageid":2926390,"ns":120,"title":"Item:Q2915670","lastrevid":51556115,"modified":"2026-01-18T18:44:31Z","type":"item","id":"Q2915670","labels":{"en":{"language":"en","value":"Power-set functors and saturated trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083527"}},"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":"Q2915670$3B333D87-BE77-422C-B8F1-EED47FA98F8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be73718dc46d38bf4dc77de46815e173ea47c8da","datavalue":{"value":"1247.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915670$9E73C7FF-FF85-4DBF-A890-A88BB778C76D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915670$2489F0E4-CA5B-4846-A577-5FA5BF6DA6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915670$74E3F546-4EEF-4963-BC8D-3E855A64E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915670$2A2CDEAA-B8DE-4DF8-B409-9504131CFD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915670$DB9EDCD2-D4C5-41C9-8D50-4674BC4A1E8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915670$334E0684-86CB-4C76-BE73-63237EA08B1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9dc43cc234c1019d2f14725e7512dff4f1bd682","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_d1dd.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915670$54D5B971-6C22-48A4-B27E-FCFC45DD5085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915670$EC19CA83-E618-4D7B-A904-57DF44BD1580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915670$88127B6B-D3AC-45C6-8A02-7CB83C823A23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f8d385dbfed649ae6f9a09e2b4c8cd3b5540c96","datavalue":{"value":"6083527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915670$60651F45-C40E-41CE-AFCC-150E0A6712EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949ac4f73dd22dadc423901a64f2bbad8b78adcc","datavalue":{"value":"saturated tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915670$8BFB570E-83E8-468F-8D1D-92971D906B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0baa767fc4e7037961fd9585a6b9b770d3e93be2","datavalue":{"value":"extensional tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915670$14F4175E-5EF0-4C3C-8B15-1CF07226777D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915670$B4049419-EF5E-4EC6-A244-FB039C008D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0474fb3ece74f65d76f0d9ec0127fe771a725483","datavalue":{"value":"power-set functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915670$459C6684-28F9-4060-82C1-A7C68EDC5EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915670$E56FA8D6-744B-4C50-A27F-240B1A05029C","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":"Q2915670$965D19BB-C43B-4E05-9232-F58F527ED49E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e064f8071333e03d5a9d306322576a3f61f6d6b2","datavalue":{"value":"W2266052418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915670$7C7302BA-2A7E-4612-9AF6-5BAC4FB3771F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11836dba24f8873f7146ca51f420d87f80d25da0","datavalue":{"value":"10.4230/LIPICS.CSL.2011.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915670$3CBC2F9C-6F63-4F63-BC11-10232E0705A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1ae6dd5de35a7accc7877bb7c9721ec43211b6b","datavalue":{"value":{"text":"Power-set functors and saturated trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915670$054A997E-BF67-4B8E-A4F2-BDE957DF4D66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265aa210ac0380d1db8208b0936a79dfd27a3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":2516577,"id":"Q2516577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307df641a5c354a89e99c0a0ed3059b30e6229de","datavalue":{"value":{"amount":"+0.9573042392730712","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":"Q2915670$038C2464-75D7-42C8-BBB3-AF0911656494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970ea9cdd2f04b44cd763a66fa878d88f8057d8e","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4e37cc2bffd63f86506a27019d7be51682920a","datavalue":{"value":{"amount":"+0.7843491435050964","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":"Q2915670$156A3EAE-5068-497C-B0EF-744B1F5E29EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fa506ae4f6d037ec3c5ecb23ecb116de3aba37","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e8eb05e7c39b056875363beaa5e301a30e4ca5","datavalue":{"value":{"amount":"+0.776077151298523","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":"Q2915670$222A3455-0419-4B46-8B98-D1155DC840AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5df14dde303d572073e741a384aeab33eece7","datavalue":{"value":{"entity-type":"item","numeric-id":3056299,"id":"Q3056299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc0cc197da2d05213c2a3d0c4412e2f3aa3e2a8","datavalue":{"value":{"amount":"+0.7705352902412415","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":"Q2915670$7B1A848B-E55D-4C14-97C7-2D2FBF60980C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740a5db7112095af8ce6ae7a2d5fdf43f4fae373","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525ed776eb972500a9e4305aa7b99611b970fd15","datavalue":{"value":{"amount":"+0.7514054775238037","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":"Q2915670$F03E4B6F-5860-416D-A60C-A06E51DA9216","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915670"}}}}}