{"entities":{"Q3795191":{"pageid":5825097,"ns":120,"title":"Item:Q3795191","lastrevid":52967366,"modified":"2026-01-23T22:32:34Z","type":"item","id":"Q3795191","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4060687"}},"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":"Q3795191$086198F8-3498-4EA9-9BB9-9431EB85D2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81bc14affd8bcfd8a2e11d1a4ae32be904b7d208","datavalue":{"value":"0649.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795191$CE49D84F-F897-49C8-B920-48AD699C83ED","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":"Q3795191$C4D54E13-A3B9-4182-9728-C203EE4D6637","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3795191$680ED5BF-4E38-4FA9-A593-D53963397BB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795191$CC11D8AF-752F-4627-ACC7-1E4F08602E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795191$A6C931FB-502E-48FE-9C1A-A18A9345FC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795191$7CC3ECFD-F8B1-419E-8A56-005A556780CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34e35db26c576f8118a90fd62d9b79f2dea47fdd","datavalue":{"value":"4060687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795191$24C7879C-9A01-4880-891A-5FB40B2D3AD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b00899a4a4d649a9e93bb48e993dc56e3c3e731","datavalue":{"value":"Guarded Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795191$9C2EAE30-D892-4409-B9DB-0393625107EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadda23f1157007381fb6e25ecc620abcd7b9727","datavalue":{"value":"parallel programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795191$1D153E09-CD80-4621-9F80-82BD77E29C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795191$17DD9F95-3F42-427C-ACB0-32345A6C1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795191$40C97A68-6642-47FA-B191-AA2E2DDA0305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795191$A0535DF3-B80F-4217-8E37-0BBB707A6242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0857347bddbd48ac066dda5398a0ff600048e36","datavalue":{"value":"control of nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795191$BC8C3429-EB0A-45FE-B0FA-0A5C8874D03E","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":"Q3795191$A988B253-8D7F-437E-A724-51B433C3B072","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d238704ee8a115cbf98cf38555f046fc82593b87","datavalue":{"value":{"entity-type":"item","numeric-id":3830519,"id":"Q3830519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0d54b04fe0f407a44f8d1c7d23273e60b2292b","datavalue":{"value":{"amount":"+0.8997001647949219","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":"Q3795191$763E32A0-6A88-483B-8F20-5DCA160BCCEB","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":"5617b306dfdb69f993ce189b3d646485123fae4b","datavalue":{"value":{"amount":"+0.8091647624969482","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":"Q3795191$C14441E1-CBD8-4459-8201-D40847219366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3217c90f283b374539fe74b872d27e729b0165f0","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77b21a1f4872d62eff8dad8fd7b97c171d24d87","datavalue":{"value":{"amount":"+0.7978852391242981","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":"Q3795191$865FED3A-8B29-423F-8D2A-DD6C6C995466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8511e9d7f2ca380b67160abca115a9c7f18a586f","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc46e839179c1c9fdb43a90fc11486b745c2f6a","datavalue":{"value":{"amount":"+0.7958647012710571","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":"Q3795191$584BEF8B-D1C9-4A4E-96CA-2DCB24E463C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623bef5fd20cb08240a7348419e8215edafbfc34","datavalue":{"value":{"entity-type":"item","numeric-id":5688891,"id":"Q5688891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830b4ff8aa0ce79284782a6c92f415dfefa3dd11","datavalue":{"value":{"amount":"+0.7637441158294678","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":"Q3795191$154C1A95-2584-448C-B6AD-87BFA1BFFFE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3795191"}}}}}