{"entities":{"Q6992920":{"pageid":21460515,"ns":120,"title":"Item:Q6992920","lastrevid":76387491,"modified":"2026-04-23T22:03:37Z","type":"item","id":"Q6992920","labels":{"en":{"language":"en","value":"A library in CoCoA for implementing railway interlocking systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8031350"}},"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":"Q6992920$B281C319-0677-4823-A0D1-D24362091FC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d766a2e5840e2cae2261b3e19696bba33a1bafc","datavalue":{"value":{"text":"A library in CoCoA for implementing railway interlocking systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6992920$38F325EB-CEEC-4418-8498-56CCE5CE6F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f2df94aa6cbe52557f68702062d1f195219a5ad","datavalue":{"value":"1560.90003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$22EE1D1E-2D2C-4016-91CB-25E437FEB8CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"135dcb26e8053be45b315eed18e1b731058b2170","datavalue":{"value":"10.1016/J.CAM.2025.116594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$4A6085D1-5072-41B7-BD88-2BBABF629402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab1394d5eac7a8124f8ed5312ecee0b69edda73","datavalue":{"value":{"entity-type":"item","numeric-id":417947,"id":"Q417947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992920$A2A3BB2E-0841-4C0D-B26C-9B820C8FFB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ce18b7b366c178bb4027cca896a92ee807b234d","datavalue":{"value":{"entity-type":"item","numeric-id":669780,"id":"Q669780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992920$C3CE7853-0F6D-40FA-A516-8B30B875C52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698a86fbaa0fbaa8c165c7fe6e814a6d31f7cea2","datavalue":{"value":{"entity-type":"item","numeric-id":2020546,"id":"Q2020546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992920$61B5E0BE-C0F3-40B2-84BE-FE7A2AF913FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87c98b54f46ede282ffa46fe5ba40bbb4fd80ddc","datavalue":{"value":{"entity-type":"item","numeric-id":2020545,"id":"Q2020545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992920$E5561415-95D2-49B4-8B70-C259E330784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"175e1867270d4c13bb5f65f329aaf1190c0572cc","datavalue":{"value":{"entity-type":"item","numeric-id":669781,"id":"Q669781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992920$12CB62B0-56E3-4A15-BD08-D39AAE63E9D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9291c21615d62497aa2bb6404791ba4d7844695d","datavalue":{"value":{"entity-type":"item","numeric-id":61355,"id":"Q61355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6992920$70C388C2-2411-4A6A-B103-79A698F4E4FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6992920$0A652CB7-2C78-4205-9957-AF507DE99860","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1f929cf999ef42d4a67de7dc9f9eb2d1d7d5eb5","datavalue":{"value":"90-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$D28C472B-DF34-4D22-98F0-2FCF245FC19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5adb849ecb2203541270370c9265ac70cda6203c","datavalue":{"value":"13P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$844C26AE-8812-46B9-98D0-AF7EC01FD083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$91285CF8-0E08-451D-8819-44A790BC2AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$C136A3C1-C4B5-4999-BE6A-1CD3EA555876","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5edbfd7b1f02dbbc11418eca4b44f6999262b01f","datavalue":{"value":"8031350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6992920$24B86B6E-A7F5-4582-8898-DA1D363B9017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a27cca76e704c9721b5d9398ae204a5a20222ad","datavalue":{"value":"railway interlocking system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992920$7FE6B678-AEC5-445D-92BE-198A98FA7467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992920$597D71DB-EBCD-4860-83E7-1CAD67B36673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d6011562d26ec5d185f4459b8edce4d84c1ccfd","datavalue":{"value":"decision making","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992920$AE4AAEA2-4967-4B84-B14A-2FF732E8F99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83454d0c86234fee35e193c37d2bc1489188c44","datavalue":{"value":"commutative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6992920$32BB3D1E-9CB2-4F3E-915D-F9457B22C2A3","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":"Q6992920$9139B9A9-3526-41C3-A8D8-474F63C13393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A library in CoCoA for implementing railway interlocking systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_library_in_CoCoA_for_implementing_railway_interlocking_systems"}}}}}