{"entities":{"Q3956375":{"pageid":5986280,"ns":120,"title":"Item:Q3956375","lastrevid":55099282,"modified":"2026-02-03T16:26:22Z","type":"item","id":"Q3956375","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3776836"}},"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":"Q3956375$D3FDF43F-13BE-46D6-8870-27B85A26B8C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a07fc116bf1e0d6007af2029b368bc65525da2","datavalue":{"value":"0493.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956375$E0FD6426-A6F1-4501-B733-6D5ED75BD676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3956375$EB748023-F55B-4443-AE3C-8EC1E7AE66CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956375$08A2DC65-D933-4DAD-B96B-4D9031118E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956375$75264756-6084-422A-8467-F5B0E0BF5F40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3929f25498b8a406c3b36f6544661c1102928276","datavalue":{"value":"3776836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956375$C6649D04-6004-4A37-81F4-7D8AA7959B2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$057FC5CF-119B-4C7C-B387-F59FD4DEE42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93362e023553648aaab72414e1716c418e057aae","datavalue":{"value":"Hoare-style proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$1DE08E80-A976-48A1-83C3-C9C948060C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$23A87303-AD48-4DD7-B4F6-A5C49BAD9B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$69A9F7FE-2074-443F-8463-143B14EE34E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0be5acfa234721e6d55da924a5e56ca419df97","datavalue":{"value":"cooperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$FFB1AC57-CDCA-4382-9A10-330B097AE682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1bb70cafd22eb4bc03caa953aecec8634e8b9a4","datavalue":{"value":"interference freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$D43D03E7-9E2C-4B25-8419-068D89CC45F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd115b14e79fa30654b00aae451c1c0e5ac9b1f","datavalue":{"value":"monitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$C61D376D-01EB-4992-B094-F3C345D28891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c4cebfff6ec3ba4cb953191fdbfa5e39e7389e","datavalue":{"value":"ADA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$C75823D5-E934-4BA0-977C-95A4DB46741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab89c59706e8320ad29b8dba597cd2e4ebe8a8a","datavalue":{"value":"linear-time priority scheduling algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$2429F0E1-FF23-4F35-91DD-D820DB623872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e772678ab5196f34364867459559399796974d02","datavalue":{"value":"distributed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956375$E28C1038-56B9-4B37-83C5-3986CA523E49","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":"Q3956375$85F6C7C1-D62D-4041-914F-3DE29B09FBA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3956375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3956375"}}}}}