{"entities":{"Q3794154":{"pageid":5824060,"ns":120,"title":"Item:Q3794154","lastrevid":52901135,"modified":"2026-01-23T18:41:30Z","type":"item","id":"Q3794154","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059362"}},"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":"Q3794154$E0DBCFA0-2E20-4BE4-8BC8-3C4FF72A2B4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6615a8c3c16062100487477266f973c110dcc9d","datavalue":{"value":"0649.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794154$5763B2E3-8535-4922-8749-77AAD2E8B521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3794154$431896C2-B078-4633-BFCC-615C3CFE846C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794154$5D873A03-3006-4B4A-B31B-B7592EB3B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794154$44254253-76F0-4E2B-8476-58B6117D5F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794154$E65B902F-26E5-4425-84D4-32FE7B25B984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aa7d048c22130780ab3e89081a167f97646b0db","datavalue":{"value":"4059362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794154$B81C268A-98C7-48C5-824C-1281B827560D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab65fdb342dfb600d325df8bdaef17becc15f60a","datavalue":{"value":"liveness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$C41CBE88-898C-4DB6-A2F8-D97B166368CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"105b1320ea7adcc24780cb6607ad47a4b2c42fb7","datavalue":{"value":"safety logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$D355FEAA-60CB-43A9-8EA7-D42B21B213DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2e9f0248883510f207e82b4cf5c8f16de4fdd6","datavalue":{"value":"conjunctive nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$AEC918F7-6729-4F59-A1FA-3C26FB7DD5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ec34238a01de78337f40dee0498e089e43f592","datavalue":{"value":"indistinguishability by tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$A9D51835-4800-4D4F-A1CE-6B274AA668AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a102a650692e553f2a4b93006cf5c4d137db64","datavalue":{"value":"choice of combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$A9F9E910-C553-4655-95E3-E7F06480BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccff256d276d48ef8ef9f9e810768c6e942c7281","datavalue":{"value":"process description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$D74C1D04-B716-4BEF-9F73-4157A6B6CA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db0fa38517024cfea106bdf9340721b9d90568a","datavalue":{"value":"semantics of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794154$7236E7B3-F21B-473F-AB60-EAC9A9DB4E7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3794154$709618B3-BE74-42CE-9CC4-2A4697258C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3794154$D1EC894F-B05F-48AD-824E-4418038748C6","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":"Q3794154$5259DC72-30B8-4282-A243-BA0CF7CE3D28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1900d074ed56995c43540c206fdd53936ce6f72","datavalue":{"value":{"entity-type":"item","numeric-id":4268462,"id":"Q4268462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e5c84f942b2ad961c0b27c5913f250fe217add","datavalue":{"value":{"amount":"+0.7674378156661987","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":"Q3794154$7CD2FDD8-3F4B-4207-A220-FAB7F9EBCDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2746baae646ec07c0138802cd886209c1c5b447b","datavalue":{"value":{"entity-type":"item","numeric-id":4733383,"id":"Q4733383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b21d673d5d0f20bdfec2a04f9c763dfa9ce99f4","datavalue":{"value":{"amount":"+0.7262123823165894","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":"Q3794154$35178023-497B-48A4-9B2D-49F784EBD78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73deb6edc1747f5fb84f12770917470a23283ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3790632,"id":"Q3790632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115b24ec698aec5e2d39eb825cc6f46ced65bb20","datavalue":{"value":{"amount":"+0.7201866507530212","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":"Q3794154$228E3362-E662-4972-AA9F-91F9348C1863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58cdd3592df7e1631bda3c56179a324faae408d","datavalue":{"value":{"entity-type":"item","numeric-id":3026331,"id":"Q3026331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1af64334cd4b712b412421f3e2616ac0f9fde95","datavalue":{"value":{"amount":"+0.7162693738937378","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":"Q3794154$654ED646-7C55-4930-97F4-9351C6DC918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ab480aa5b1f468972b1a0c69813fa5d26cbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":1062047,"id":"Q1062047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb03246b02329116993057c139d644fcb4280df","datavalue":{"value":{"amount":"+0.7109479308128357","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":"Q3794154$3435DCD6-C11E-4150-B7FA-D004CD725FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3794154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3794154"}}}}}