{"entities":{"Q5862301":{"pageid":7891852,"ns":120,"title":"Item:Q5862301","lastrevid":54242105,"modified":"2026-01-26T13:04:38Z","type":"item","id":"Q5862301","labels":{"en":{"language":"en","value":"A formal semantics for SPKI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485477"}},"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":"Q5862301$E1626676-0A82-4D1B-8A60-4E1126942B53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2522f728d9cc7dd6ee096975957e651c6f546e3","datavalue":{"value":{"text":"A Formal Semantics for SPKI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862301$816FDE2C-6617-4D35-91AC-B7CE9C3901E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f93c2a75ed758cbdebcd600fb6e4919026a2b3","datavalue":{"value":"1487.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$29D4BA84-2CE3-43B8-ACBE-7BAFF594A88B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5eafed0342f8914a80acf262cbcb9a95a0b6a42","datavalue":{"value":"10.1007/10722599_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$F814AD0C-C7D3-476C-90B8-F9EB631BBDFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eac34995b24af60488d58ef6c013523ab876496","datavalue":{"value":{"entity-type":"item","numeric-id":5862300,"id":"Q5862300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862301$F0D591FE-A023-408B-9971-2C61808849BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91519da9ba8418d95dfdd0a5221b140664b08317","datavalue":{"value":{"entity-type":"item","numeric-id":948042,"id":"Q948042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862301$12128B65-A01F-4243-8A4B-D7D9A456BB80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862301$4DA4BF18-1DBD-4913-89CF-8A75718113AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5783a1d8b5962f0874bec2519202727b162b8e9","datavalue":{"value":{"time":"+2022-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5862301$50951D41-F133-486D-BD8F-7026A3B89034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$B5517201-CA69-4D23-AFCF-F334E89AAEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$6AAEE4ED-FE56-4D54-A350-3062C1F2ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$E1DB0F02-9833-4E22-90B2-AA9AFDB358DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$4034628C-33AE-475C-8B73-A0352826CADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"441db67f0ee4918acc520c6aa39593da9eb0c292","datavalue":{"value":"7485477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$E775633A-4535-4DA0-B0E6-69080DD18207","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862301$607FC2B5-D4C6-4E50-B542-C1EA74C82983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862301$E2633427-C7A1-498D-928B-8E873726D138","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":"Q5862301$B6392273-78BF-4C2F-8A9B-1EC2D8EFB5ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9363b2631f096bac665988c742b8069a4ffa5620","datavalue":{"value":"https://doi.org/10.1007/10722599_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862301$84D25E30-D465-4651-BF80-043D061E26ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4374a7d60e0900f1b3801223a8ab0487aa3f4bf4","datavalue":{"value":"W2123440474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862301$6BDB8B15-9A6C-436C-BE1F-06F8DDA6F91E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862301$0527A07A-5BC4-434F-B99F-2A0E64EAFF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862301$DCB98BD0-56BA-48C4-AA85-0A1AE0C264F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96e5594dabc20f17e6f920447f4f8494f8b890e","datavalue":{"value":{"entity-type":"item","numeric-id":5862296,"id":"Q5862296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fedc07dc84347a64cc8b877f26f5b70f2ce274f","datavalue":{"value":{"amount":"+0.7374468445777893","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":"Q5862301$C7CC4126-7D48-4E09-B5B9-DB9D80372956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e699d67b47672d0a1f27120bfbd4170d273912a","datavalue":{"value":{"entity-type":"item","numeric-id":3046839,"id":"Q3046839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e57256570262f9f562daba625227613bee76f23","datavalue":{"value":{"amount":"+0.7176291942596436","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":"Q5862301$586EEE10-6771-4EB9-8141-DDAC3248FFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa90897b77db9fbf8f7c1ff268e1f15ab1cfb58","datavalue":{"value":{"entity-type":"item","numeric-id":5096417,"id":"Q5096417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3375a9ec12380b31999e3800914456488231b2","datavalue":{"value":{"amount":"+0.7095314860343933","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":"Q5862301$15197C86-A6D5-483B-A00F-53FDE68CC6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e8405a9a8f532999984d3e771554c86d234a89","datavalue":{"value":{"entity-type":"item","numeric-id":5473550,"id":"Q5473550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463c455f0c79b5c05b18b9032fab82dca59e6eec","datavalue":{"value":{"amount":"+0.7070562839508057","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":"Q5862301$0AACC6EA-6CB0-4F36-8B93-A2A9878138B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2af3386762c248f57d06893de62720e96d42e98","datavalue":{"value":{"entity-type":"item","numeric-id":4473641,"id":"Q4473641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c5f3c6e8348ac0063acb387b5d3811f49417ba","datavalue":{"value":{"amount":"+0.7064912915229797","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":"Q5862301$8700A71E-911B-48AB-B6B1-23A20F8026B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862301"}}}}}