{"entities":{"Q5116455":{"pageid":7146029,"ns":120,"title":"Item:Q5116455","lastrevid":53804837,"modified":"2026-01-25T18:13:53Z","type":"item","id":"Q5116455","labels":{"en":{"language":"en","value":"Logics of programs as a fuelling force for semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7238944"}},"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":"Q5116455$EC443E91-C705-4942-BD21-6F159F664684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bfa5c72869a21779d6f18f18984ff1e1582b64b","datavalue":{"value":"1440.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5116455$09C3D799-CB2A-488D-8D2C-C788D84E1057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"accb1f0221ea6b057b90fd9423bbb12b2a94d5d8","datavalue":{"value":{"entity-type":"item","numeric-id":2011629,"id":"Q2011629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5116455$D74B3DAC-858F-4D7C-B3CF-20BB22535EC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-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":"Q5116455$B27C5089-BDEA-4890-AC3C-C4C650FC75A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5116455$61E1F6F8-1B2C-4D57-9C71-BF3FA1712854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5116455$0E90DA62-440F-446C-B735-88B3C5585123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d8c1cb9aa48c1e115cae457cb5a534afe53e4d7","datavalue":{"value":"7238944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5116455$0B5BDE9A-17F6-4CF6-9196-793AC396728C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5116455$27AE3506-B9C2-4B94-9F29-96A1D9D311FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5116455$9746326C-215B-48EC-BD03-10E504107E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8fd7aec3e6db59143409d66fd7aa8e7e3754ba","datavalue":{"value":"domain theory in logical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5116455$EAC3F015-5986-4B10-B736-92916A9CA74C","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":"Q5116455$675ED794-0DD7-4FA2-A142-24110435AE5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9000bfaa13360a59018860b46e9277f9cf6750d","datavalue":{"value":{"entity-type":"item","numeric-id":2994226,"id":"Q2994226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24050238666eafc1eb8f9ddaac86fbe9ea30a075","datavalue":{"value":{"amount":"+0.6730610132217407","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":"Q5116455$5C8EE35E-5287-4FF1-85A8-D553C85AEA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fc63b065aa5ea402fb7a25c350dc80bdb5e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4944895,"id":"Q4944895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0b6de1ba59a247f5b5f8c3ebb4e1ad0d82c800","datavalue":{"value":{"amount":"+0.6503929495811462","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":"Q5116455$929EC8DB-5310-4808-85AE-AFEDE1E0E9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8759a0b25154cea6a16a45914033e5b69f2bbf35","datavalue":{"value":{"entity-type":"item","numeric-id":3557674,"id":"Q3557674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c154122b4482749333d2967cf27cfa63206c52","datavalue":{"value":{"amount":"+0.6473744511604309","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":"Q5116455$E59C3296-061E-4BE4-AB21-3500CF26B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4c6fbc4af1b5dfe08cd3b23912fbce71a1f317","datavalue":{"value":{"entity-type":"item","numeric-id":4332415,"id":"Q4332415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4e83e818355a81140ba772d7f1912cda2de9b0","datavalue":{"value":{"amount":"+0.6421923637390137","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":"Q5116455$D2B2321C-D486-46B2-BFA7-BC446279E0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1369a38a4016fd8a9b3687c54c2d02c5477f25b6","datavalue":{"value":{"entity-type":"item","numeric-id":3782747,"id":"Q3782747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c237fd2343a326684b6d34bf517fcd0f9086d6f6","datavalue":{"value":{"amount":"+0.6411781311035156","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":"Q5116455$CD4FC6AF-310A-44BD-87EC-9864E41689EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5116455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5116455"}}}}}