{"entities":{"Q6940473":{"pageid":21146445,"ns":120,"title":"Item:Q6940473","lastrevid":84102620,"modified":"2026-05-10T03:13:17Z","type":"item","id":"Q6940473","labels":{"en":{"language":"en","value":"Adelfa: a system for reasoning about LF specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082566"}},"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":"Q6940473$3B13050C-BBCE-4481-9D38-701ED06D7646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3d1d7321eea0fd99c1e98e65e545d8d99b11172","datavalue":{"value":{"text":"Adelfa: a system for reasoning about LF specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940473$8C5FEA0C-35D1-4698-9E63-0BC945A5265A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819634f92ac0a84cacf4741396958d4c56ef0647","datavalue":{"value":"1570.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940473$70F38B7C-E63A-4A37-8F1F-763F27955ACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"353ef3da8801722bf02630eb99217923e7c796ae","datavalue":{"value":"10.4204/EPTCS.337.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940473$F0778AA7-07D8-4A3C-96D1-5A1B8579C551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4474b738f9ad4814dadf7c061d82c612d0bf614f","datavalue":{"value":{"entity-type":"item","numeric-id":2978544,"id":"Q2978544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$DFE4CA92-71D5-4CCA-B637-6CC7BCFA6D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$1D851AA5-BA46-47F3-BB8A-46556C70C3B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940473$61A3CE49-5DCB-4445-8027-6E0D6B72F2D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940473$7CC59E64-0D1D-43C4-9EBC-D097BE61F38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940473$339F634B-385A-4FC2-B464-117BC9039184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15719c2be1aea36479090faadb2fd22a427526b","datavalue":{"value":"8082566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940473$B54CBE22-5A1C-4E9E-B362-F4D73D6E23D9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$E3E3E387-6312-4EDF-9C4F-6AB321A5B991","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":"Q6940473$1357015F-98E4-4E63-B648-B8885C43AA16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$A5F7953F-0472-445A-B6E5-4FA51B147BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$DEA6E656-DDE8-48C1-BBA4-7778A1CA8EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1ddaf98f8b97a1ba13c21f0f2993ec78ec6ede","datavalue":{"value":{"entity-type":"item","numeric-id":6488533,"id":"Q6488533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$FEA4233D-E583-4AC2-8842-958010144655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$4D3B0CCF-D61F-445B-9518-4471B73476ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$86CD3473-1C1B-4170-BDAE-100D8BBC91E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$D20B4BF9-306B-4C86-BE10-217BE51EC2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$0C6D7D9A-AE99-4333-9737-DB24C14890E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$BAC8E4B1-1F55-44BE-BEFF-158B1B45E0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372177d12a59ae7cf72663a0a316ea03e2ff4d31","datavalue":{"value":{"entity-type":"item","numeric-id":5475791,"id":"Q5475791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$CF971061-D8BB-4991-AFC0-CCC61D64A8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$40DC7A78-0694-4640-9174-9B7D9C0598B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$67CDE8E2-490B-48C9-AA6C-FB18F66325FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16fb97ce339e5b54e9910824e1d57b6aabaa0032","datavalue":{"value":{"entity-type":"item","numeric-id":2978545,"id":"Q2978545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$3A569692-5F85-4534-90BA-620EB237C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a25d0974c4a14532cf07d54fb4d393c25f726f","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940473$F71165BB-662C-488B-8E78-41F0A13D1633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adelfa: a system for reasoning about LF specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adelfa:_a_system_for_reasoning_about_LF_specifications"}}}}}