{"entities":{"Q5697709":{"pageid":7727269,"ns":120,"title":"Item:Q5697709","lastrevid":55885648,"modified":"2026-02-20T20:23:13Z","type":"item","id":"Q5697709","labels":{"en":{"language":"en","value":"Finiteness spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215409"}},"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":"Q5697709$DE403BC0-6E60-4D29-9559-68E9761DAC68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dec19a52951ffc158babb719fb4271c40343771","datavalue":{"value":{"text":"Finiteness spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5697709$AB0AF46F-E499-4170-958F-7A31A1F8B7D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13fce5d1eb104356553d9d8a31ea58f7c88f5da5","datavalue":{"value":"1084.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697709$DB1030CA-D0D0-4A42-BFC7-303E919B08B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d020b56b8121b55127ac5d6535dba509081d675","datavalue":{"value":"10.1017/S0960129504004645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697709$1C983CC9-9502-40EB-B133-9B033BE4AB22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697709$37BE02D1-0172-4C1B-B105-1407B9919F18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5697709$DB30357E-2864-4D8D-9707-8563889D790F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-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":"Q5697709$9FCD5850-EBFE-4F07-AE87-644BC155FBD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697709$E40ECB20-C3BE-49D2-898F-FA1C27552008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697709$49A695DF-8D82-44CA-8B5D-4A52D363D2F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13baefc7cc83142788eefdec5466efd5f09ae9b8","datavalue":{"value":"2215409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697709$2B588DD4-4457-445B-BE83-E41A9D527F87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608626254cf6b46c9527e4b59888e402a07015df","datavalue":{"value":"denotational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697709$47A17E56-D002-4D8A-8B22-E2F049E96343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697709$DAFF859F-6293-401E-AEA7-9E02E9495674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53c055bf8c24a41ded2aa2ad8235915d691cb015","datavalue":{"value":"finiteness space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697709$4B06A991-322B-448A-A33C-A1F09F9949A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8024485a50b15f02a8b78e533bc1052917e826d","datavalue":{"value":"linear topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697709$B27E29D1-6FC9-4566-8A24-93D71FF2EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad6d49f2182ebcc1bd131270b8e4da89bcd1f6","datavalue":{"value":"differential lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5697709$5E9908CD-C1E3-41AB-A795-FFBD201754D2","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":"Q5697709$67C8885F-B735-4A2A-B899-4A84C139C056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"060c7d9f3733d5ee596d7fb0677f9214341d6957","datavalue":{"value":"https://doi.org/10.1017/s0960129504004645","type":"string"},"datatype":"url"},"type":"statement","id":"Q5697709$FC03E067-F767-4D56-8860-374836B84294","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30a742ff6c3da8fdb8ba210e81964e3db2912f03","datavalue":{"value":"W2911874855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5697709$4D19C6BB-2D47-4AB8-9826-977084E5BA6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3981ddbb98ed63391025af451e709cfc0eea1003","datavalue":{"value":{"entity-type":"item","numeric-id":4606699,"id":"Q4606699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fde6d23e8d7f412513b3ed669c64d204c72903c","datavalue":{"value":{"amount":"+0.782975971698761","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":"Q5697709$A204253D-AD48-4C7E-BA5A-DE7D6CCC3A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc4322f0d3d7a31754ce854108e83ca645a14468","datavalue":{"value":{"entity-type":"item","numeric-id":2938180,"id":"Q2938180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac443adedeeffae6c4e4fe17ed4dd2122902ec6f","datavalue":{"value":{"amount":"+0.7816480994224548","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":"Q5697709$2E6518BC-9018-4B37-9081-765A33C4FBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0872cf362d79f77ace1d69dca9643a0e3ae5f6b3","datavalue":{"value":{"entity-type":"item","numeric-id":3224681,"id":"Q3224681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aaf55358cd93ea44218c8053f1f53e786d2ad54","datavalue":{"value":{"amount":"+0.7815155982971191","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":"Q5697709$C179138F-41B4-4F75-A298-BAD5EFF5D41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7146a23578a0a7e5a41ccdd21ed0113668098ce5","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef12cc0e05cd2c43696677c5a178e762dbc523d6","datavalue":{"value":{"amount":"+0.7710850238800049","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":"Q5697709$CC18C7AD-EB59-4755-9EC4-895B4746AA59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5697709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5697709"}}}}}