{"entities":{"Q915481":{"pageid":917329,"ns":120,"title":"Item:Q915481","lastrevid":49389154,"modified":"2026-01-07T02:05:53Z","type":"item","id":"Q915481","labels":{"en":{"language":"en","value":"A declarative semantics of flat guarded Horn clauses for programs with perpetual processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151845"}},"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":"Q915481$B667C5E1-9993-4738-B7B1-A67F872F243B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dfba3cc90b072072f6395d551d370b1becbcc06","datavalue":{"value":{"text":"A declarative semantics of flat guarded Horn clauses for programs with perpetual processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915481$0695B1D0-C71D-4B27-BFC2-4CA6EC568393","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bffa833782683108abda5f2b4a9edbe6bb143d63","datavalue":{"value":"0702.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$34DCD814-8EF9-450F-8AFE-3DB56CDF5E18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b317e5c54704a1a2354e6fc1d5278c09ccfdec29","datavalue":{"value":"10.1016/0304-3975(90)90062-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$F8FAC14D-7A56-4F60-8D51-883BA1D5A5EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"601aae48f2b4f843200a5c7053bf93b18ff0be21","datavalue":{"value":{"entity-type":"item","numeric-id":915480,"id":"Q915480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$E9FDBDB8-92AF-4619-8F3D-C28F097F7EDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$61EC2D81-2A57-4DA7-A358-9053E8313090","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915481$D053C506-7C97-4DF1-B6DF-D0253C81A9F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$C01D1B99-B026-4876-BCB2-8185AFECC543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$520B5294-3492-45F7-A589-D35BC620EBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$D3FF3301-9602-468E-91DD-EC527FF4D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$A8110194-B882-4F3B-8F07-F81923D3A0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$F58034FF-EE48-435A-9B3B-F1CEBB0C2A0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b444433dec80ad1105e94a5cf29c46fe28ce3e7","datavalue":{"value":"4151845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915481$7D7E3129-1A44-468B-9D19-F00C6B399CF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q915481$A4C3DD3D-E087-4D45-9F07-522D23F931A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q915481$7002A0BC-EFBA-40F0-A31C-A231DEB10CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e179fe7aa0754839df9df29edff8cfef37506298","datavalue":{"value":"concurrent programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q915481$ED1C9A3E-40F3-497F-A324-40D0CB811A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q915481$8A711F36-B2A8-44C4-9C9C-DFC343913DE4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$6D7CD3BD-727A-41AE-878B-98CEDA171D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$7E8EE5B5-C0D6-4150-B66B-DAAA19D71E8E","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":"Q915481$34A1F403-BD18-4308-8CBD-D29340F36870","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$3CDDF979-1C50-42C6-A9E0-44C019D26A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$F41733C1-B512-4E7F-A7A1-F9CDF8983B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$CC939153-4667-4CD1-A211-5F7B35FE0FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$0FFFA291-1CBF-4408-B7DA-1536EE15362E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$FB8FD414-1BAE-4758-AE4C-B5FDEE3C3BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4204417ad504fef585f875bc1e60ec80d1f51184","datavalue":{"value":{"entity-type":"item","numeric-id":3721800,"id":"Q3721800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$CEE08D01-34ED-4DB7-9998-EAF25654305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$F05BBC74-79AF-4612-8B90-B0D9ADF78F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292125d4bb61c4f70427dd0476cc2e72e9bb11e","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915481$FC156710-4715-408D-AEE7-A0FDB5B13FD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2681185cc09cf5682276dba49b4e16e0b19535df","datavalue":{"value":{"entity-type":"item","numeric-id":3975139,"id":"Q3975139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dcda4c31bf569f907276352b7fe54e2938a4a2","datavalue":{"value":{"amount":"+0.7865193486213684","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":"Q915481$8FDDE645-792E-4510-82D5-A486257A2A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69440a53939614cdc1a5369521369b0d075f9812","datavalue":{"value":{"entity-type":"item","numeric-id":1113661,"id":"Q1113661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dcda4c31bf569f907276352b7fe54e2938a4a2","datavalue":{"value":{"amount":"+0.7865193486213684","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":"Q915481$34CAACA9-F563-4055-971B-B612F1EE2B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b46c8d38a6f07d894cc47342f506e273022ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4205425,"id":"Q4205425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ade4f4c33ba72009600cd5b476d9e7ddd246be","datavalue":{"value":{"amount":"+0.7820715308189392","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":"Q915481$6CB81717-FD36-459E-824D-5C521A7D68AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d073681be4ed06071cb09f9a0364e9db802121c3","datavalue":{"value":{"entity-type":"item","numeric-id":3358219,"id":"Q3358219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03ab9df6e045fc869f829ce8a75def0afd1b9e1","datavalue":{"value":{"amount":"+0.77890545129776","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":"Q915481$5935E414-2171-4719-A37D-189727E66D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e5aa5e30e1ad98b6d713a1e2b4aa9dcf46e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3805880,"id":"Q3805880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898ab105f4b14a7e7e61cacf26a2308177106afd","datavalue":{"value":{"amount":"+0.7736561894416809","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":"Q915481$BD9E19CA-E06A-42A6-9957-7E78F03B6161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915481"}}}}}